18時から懇親会。またM氏から論文をもらう。K氏と缶コーヒーを飲んでから21時半に部屋に帰る。24時に寝る。

私の発表は10:30-11:15、内容はAML論文の結果の紹介。一人だけ算術の話だから浮くかもと恐れていたが、すんなりと興味を持ってもらえた様子。楽しんで頂けたのではないかと思っております。 pdfファイルを大学のサイトにおいてあります。興味のある方はどう…

本日は講演者が私を含めて6人、論文で名前を聞いたことがあるがお会いするのは初めてな方が多い。話題はバラエティに富んでいたが、強いて言えば証明論的性質に関する代数的な特徴付けの話が多かったか。私はこの辺の話に（限らず）全くの初心者なのですが、…

起床は7時半、朝食を取り同宿のT氏と待ち合わせてJAISTへ。