ゼミが今日は東工大の方であったため、大岡山キャンパスまで行ってきました。「おおおかやま」と「おやまだい」って違う駅なんですね……（遠い目）
東工大は建物が新しくて綺麗で素晴らしかったです。あんなガラス張りのミーティングルームはうちでは考えられません……。
東工大の方の卒論生が自分の論文の内容を説明してくれたのですが、その中にWebアプリケーションのフレームワークを作ったというものがあって、思わずいろいろつっこみまくってしまいました。ゼミの本来の内容である言語関係ではほとんど発言せずに、そういうところでばかり反応しているようでは駄目ですなぁ。型理論の輪講に混ぜてもらって勉強し直そうかしらん。
その後、大学に戻って今度は研究室の全体のセミナーが。こっちは Coq 上でのπ計算のお話。いつも疑問に思っているのですが、π計算ってどのくらいの記述力があるのかしらん。というか、何に使うの・・・？π計算で定式化すると何が検証可能になるんだろう。う〜む。時間ができたら論文でも読もう・・・
今日は研究室の送別会がありました。上野のイタリアンなお店でやったのですが、食べ放題・飲み放題で３０００円を切るお値段と、にわかには信じがたいプライスのお店でございました。料理もバリエーションに富んでいてそれぞれがおいしくいただけました。カルボナーラも手抜きのないおいしいモノで大満足。
そして、久しぶりに研究室でお泊まりなのでした（爆）。