ソフトウェア科学会二日目

わりとさぼってましたが、JSSSTxFTD (TEDx みたいなもの) は一通り見ました。折り紙とか。超凖解析を使った Hoare logic とか。TEDx でも良かったかなとも思うけど、いろいろ大変なんでしょうね。TEDx は英語だし。

お昼は、安田講堂の下の中央食堂を使って見ました。東京にいないと食べられないものというリクエストだったので。ご飯がまともなのは良いな。いちょうの方が少し良いはずだけど。入り口忘れてました。浅野キャンパスだったので、中央食堂はあまり使わなかった。

明日は、「故本田耕平氏を偲んで」という時間があります。