プロシン三日目

最中限で午前四時までハッスルとか。風呂入り逃して寝てから朝風呂。その裏で女湯に侵入した人物が一名・・・。

プロシン初座長。眠いけど寝られない。寝落ちしたらごめんなさい。

垂直分割型調査と水平分業型調査。

有名なTypical Project Lifeの絵は、もともとは上段左の4つと最後の1つだけだった。

Bleichenbacherという、OpenSSLの脆弱性をよく見つける人がいる。

暗号屋さんは実装ができない。実装屋さんは暗号が分からない。協力しないとセキュリティ向上しない。

ペンローズの三角形世界観。

「故フォン・ノイマンは人間だった、人間は死ぬ、故にフォン・ノイマンは死んだ」「フォン・ノイマンはなぜ死んだ?人間はフォン・ノイマンではない」

並行論理型プログラミング言語。Overlay GHC

人間は機械語の幽霊。

越後湯沢から

シンポジウム期間中の雨続きが一転していい天気。

越後湯沢駅東側の中野屋でへぎそば。四人前盛り。でかい。


車移動組と分かれた後、越後湯沢駅のぽんしゅ館で酒風呂。あまりお酒お酒した雰囲気やにおいはない。シャンプーのひのきのにおいの方が強い。

高崎経由の新幹線ルートで長野。さすがに土合散策や湯檜曽のループはなしにしておく。あそこは一日かけて巡るところだ。