ソフトウェア科学会 サマースクール

今週はソフトウェア科学会です。サマースクールは、

　　高階モデル検証

検証する性質の方ではなく、モデルの方を無限木に拡張して、型付きλ計算からの変換を容易にするみたいな話でした。工学部2号館は、前にもソフトウェア科学会あった気がする。

東大は久しぶり。と言っても、それなりに来てはいるので、古いビルと新しいビルが混じっているのも、それほどびっくりというわけでもなく。お昼は、

＊　根津のひのき

というとんかつ屋さんへ。学生の頃からあったので、そろそろ30年か。あっさりした普通のとんかつですけどね。フレンディーの方はなくなってしまったみたい。でも、お店自体は、いろんなものが増えてますね。 P.S. フレンディーはありました。すみません。