教授会・談話会

・着任お祝いメール多数．感謝．
・3月中の出張日程確定．フットワークは軽く．
・教授会．挨拶あり．
・談話会．大須賀教授の講演．アルゴリズム⇔プログラムの関係と数学の証明との等価性に着目した自動証明ソフト（？）とかエージェント志向とか．JAWS 2008 行ってみたい．
・懇親会．土木分野の人とは会話の内容がまるで違うのが面白い．