2008-03-27から1日間の記事一覧

「再帰的定義を可能にする、述語論理のAgdaへの実装について」

談話会で発表、参加者8名、16:00-16:45。情報処理学会での発表の内容増補版、タイトルに「、」が増えている点がその増補っぷりを物語る(寒)。 (内容は後で追加します) これで、地獄の発表シーズンもやっと幕。この6週間の間に、論文締め切り1、3カ所に出…

発表シーズンやっと終了

暖かい日、湿度も高め。起床は9時半、出勤して発表準備。午後は会議と発表。帰宅は22時、Cが会社の送別会のためパスタを250gゆで、牛筋トマトソースで食べる。食後、録画をためていた「俗・絶望先生」を見る。