よく晴れた日、暖かい。起床は9時半、マンションの火災報知器の検査音で叩き起こされる。 出勤して雑用、テクニカル・レポートの発行手続きなど。帰宅は21時半、夕食は昨日の残りのシチュー。

晴れてはいるが寒い日、起床は9時半。 出勤して会議。その後再コーディングの続き、なんとか当初の目的を達成。21時15分に退所。小雨が降り始める中、22時45分に帰宅。夕食は蕪のホワイトシチューとマカロニ。

19時半より22時15分まで、私が遅刻したせいで開始が遅れる。参加者は4人、p.24第2パラグラフ-p.25まで。 分析性を「規約によって真」と見なす考え方について。特に深刻なのはクワインの "Truth by convention" における批判であろう。 "... definitions are …

晴れているが寒い日。日中は雪が舞う。 起床は9時、出勤して出張の事後処理。コードを見直し、関連してKtさんにいろいろ質問する。証明支援系上の変数間の同一性は、（構文論上の同一性ということもあり）タイプ同一性の典型的な一例ということでいかがでし…

起床は8時半、眠い。大学へは10時に到着、10時半からOn先生の最終講義に出席する。とても多くの人が聞きに来ていました。午後は院生の発表を聞き、15時半のサンダーバードで大阪に帰る。大阪でCと待ち合わせ、中華料理店で夕食、22時に帰宅。 北陸鉄道の車窓…

業務研究の内容（Agdaで知識様相論理の体系を実装する）について発表しました。発表の出来はそれなり、会場の受けは一応好評でした。要旨は以下の通りです。 目的: 知識様相論理の意味論を証明支援系に実装 二つの問題点 多変数述語を持つ型のデータ型の定義…

曇り、時々雪が降る。起床は10時、早めに出発。昼前には大学に到着。13時からワークショップ、17時半まで。その後Og先生の車で4人で金沢市内の温泉へ行き、それから片町の中華料理店「幸's」で懇親会（エビがおいしい）。その後、ノドグロとフキノトウの天ぷ…

内容紹介は3月8日のエントリーで。

暖かい日。起床は11時、Cと梅田のサンドイッチ屋で昼食。15時の雷鳥で金沢へ向かう。金沢→西金沢→野町経由でホテルへ。香林坊の本屋に行き、その後片町の王将で夕食（ラーメン餃子セット）。発表練習をして24時に寝る。 北陸鉄道新西金沢駅。

金沢に出張し、ワークショップで発表します。次回の更新は、火曜日以降になる可能性があります。ご了承ください。

曇り空、花粉はそれなり。起床は11時半。昼食はミートソース。休養と発表準備。 また、水曜日と金曜日のエントリーを追加しました。