2010-02-01から1ヶ月間の記事一覧
最近、論文はつまみ食いばかりで一本丸々読みきる時間がなく、ご無沙汰しておりました。徐々にまた紹介記事を書いていきたいと思います。 Studia Logica誌の online first 論文、こちらから入手可能。数学的に興味深いというよりは、矛盾許容論理上で包括原…
比較的暖かい日。出勤してプレゼン準備の続き、他に飛び込みの用事色々。帰宅して夕食、マグロトロロ丼。
朝は暖かいが、夕方から冷たい雨が降る。出勤して、一日中プレゼン原稿と書類書き。なんとかドラフト第一版が完成する。 帰宅して夕食、白菜とチキンのトマトスープのリゾーニ入り。