今考えている問題は、あーだこーだとこねくりまわすのがすごく楽しい。研究と名の付く物に関わり始めてからこっち、こんなに楽しいのは初めてだ。こんな楽しいことばっかりだったら研究者はたぶんすごく楽しい職業なんだろうけど、こういう「研究のおもしろ…

Haskell（というか、一般的な関数型言語）で使われている型推論のアルゴリズムはHindley-Milner type inference algorithmと言い、単純型つきラムダ計算の方で発明されたアルゴリズムらしい。参考：Wikipediaの型推論のページ ラムダ計算は実際に手を動かし…

理由はよくわからないのだが、妙に肩が痛い。その上、首が後ろに曲がらない。（曲げようとすると痛い。）寝違い？

家にいるとなにもやる気になれないので、日曜だというのに研究室に来ている。どうも、今日は学祭だったみたいで、いろんな模擬店とかが出ていた。いいなー、楽しそうだなー、と羨ましく思いつつ、私は研究室に御籠りである。こちらは全然楽しくない。

グラフのソースを手書きするのはめんどくさい。GUIのサポートが必要なのではないだろうか。というところで、矛盾を引き起こして停止してしまっているのだが、そろそろなんらかの決着を付けなければならない。という結論に達して早数ヵ月。忙しかったりなんだ…

Echo2というのはweb開発用のフレームワークで、Javaで実装して、それをJavaScript+HTMLにコンパイルするみたいだ。デモサイトがちょっとすごい。 wema（へんなもの）に感動していたのはほんの1,2年前の気がするのだが、いやはやまったく、技術の進歩のスピー…

JavaScriptへコンパイル（？）するというコンセプトのプログラミング言語は既に珍しくないようだ。 Google Web Toolkitもそうだし、Links（これはWeb関連のプログラミングを全てこれ一つで賄うらしい。ちょっと見にはすごい魅力的な気がするが、結局は知らな…