(λx.xx)(λx.xx)な人生

で3日間秋保に行ってきました．自分は2日目のデモに参加させてもらったんですが，ちゃんと答えられない質問もあって勉強不足を改めて感じさせられましたーー；懇親会でも普段合わないような方々とお話が出来て楽しかったです．ただ，自分の知識不足でテクニカルな話がぜんぜん出来なかったのが残念；；# PPLなのにプログラミングの話じゃなくって構成的数学の話は聞いてきた(懇親会で)．追記：川合史朗さんの招待講演を楽しみにし...

昨日（日付は一昨日）通研で発表をしてきました．発表はとても満足できるものじゃありませんでしたが，終わって一安心と言ったところ．発表25分，質疑応答20分だったのですが，同じ大学の先生に結構突っ込まれました．特に，アルゴリズムの完全性の証明がされていないことを気にしていたようで，やっぱりいろいろと証明を書き下すことになりました．というのも，その先生は卒論の審査にも加わるので，今のままだと卒論の審査でも突...

APLAS2007のポスターセッションに申し込んだ．http://www.kb.ecei.tohoku.ac.jp/~sumii/aplas2007/他の人のアブスト見たら，自分のアブスト手抜きすぎなことに気付いた(笑)...