2010-07-05から1日間の記事一覧

■

ゲーデル-ライプニッツ共同研究のミーティングとそのための準備．相方はてっきり存在論的証明の方向でやるんだろうと思ってたけど，自分のやりたい方向，というか，ポスドクの研究計画で提出したそのままのテーマに決まって，うれしい．あとは，自分に課せ…