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

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