2006-09-30から1日間の記事一覧

講演「『証明/命題』から『相互作用/関数空間』へ」(岡本賢吾氏)

(調整中)

科哲コロキアムに行く

起床は10時。大学に行って某書類の作成。12時にCと阪急駅で待ち合わせ、某書類の発想をお願いする。私はそのまま阪急線で京都へ。行楽シーズンでバスも道も混んでいて、遅刻寸線で京大会館へ到着。