今週はソフトウェア科学会です。サマースクールは、
高階モデル検証
検証する性質の方ではなく、モデルの方を無限木に拡張して、型付きλ計算からの変換を容易にするみたいな話でした。工学部2号館は、前にもソフトウェア科学会あった気がする。
東大は久しぶり。と言っても、それなりに来てはいるので、古いビルと新しいビルが混じっているのも、それほどびっくりというわけでもなく。お昼は、
* 根津のひのき
というとんかつ屋さんへ。学生の頃からあったので、そろそろ30年か。あっさりした普通のとんかつですけどね。フレンディーの方はなくなってしまったみたい。でも、お店自体は、いろんなものが増えてますね。
P.S. フレンディーはありました。すみません。
No comments:
Post a Comment