九州大学

伊都キャンパスのガイ∙ ダニエルと話してきました

プレゼンする見たいな話は、じゃかんすれ違いがあってなかったことに。まぁ、あんまりやりたくなかったのかも

実際あってみると「日本語は簡単なものだけ」ってことで、英語で話すことに

いや、日本人の奥さんなのに? まぁ、問題はない

関数型言語 Maude の話とか、その上の定理証明系の話をするんだが、Curry Howard 対応じゃないのか

どうも彼がいうには

　代数的プログラミングと、論理系(Curry Howard対応)は異なる

って話でさ。ふーん。いや、それは関係ないだろって僕は思ったが

なんか、モデルベースのForcingもやってるんだが、そんなこんなでずれがあって。まぁ、それが面白い

ZF/ZFC の話もしたんだけど、割とずれてたみたい

もともと JAISTの学生だったのね。まぁ、いろいろ楽しかった

まだ、しばらくは博多にいます