type system の輪講に参加。プログラミングにとって型は重要な概念です。それにしても、分かっている人にきっちり教えてもらうのもいいですが、みんなで和気藹々と議論するのもそれはそれでまた楽しいものですね。
今日は型付きラムダ計算の型理論のあたりでした。
単位は足りているはずなのですが、時間も空いているし講義に出てみました。らんだまいずどあるごりずむ、だそうで。こういうアプローチもあるんだな、ということは心にとめておくのがいいかもしれません。
研究室のセミナーですが、今日はうちの教授にＤ論の主査をしてもらう方が発表練習代わりに喋っていかれました。今をときめく坂村せんせーの研究室の方なのですが。
アトミックに（分裂したり消滅したりせず）世界の中で動いていくデータとそのためのフレームワークという話で、テーマ的には面白いんですが、いかんせん話の組み立てがうまくなくて内容が拡散してしまっていました。
ＩＣカードにいろんな種類の電子チケットをいれたりとかできるそうです。いろいろアドバイスを受けていらっしゃったので、本番までにはずっと良くなっていることでしょう。
研究室の歓迎会が御徒町付近でありました。飲み食べ放題で４０００円でした。結構料理もおいしかったのでいいお店かも。
テーブルには分散な人が固まっていたので、食事中も GRID とは何か、とか、分散の今後のトレンドは、とか、そんな話ばっかりしていましたが（＾＾；５月に CCGrid という分散の国際学会が日本であるようなのでちょっと聞きに行ってみようかなぁ、などとも思ったり。
次が最終面接でしょうか？初の内定獲得を目指してがんばろぅ。