情報処理学会 第68回プログラミング研究会（＠日本IBM東京基礎研究所）で、上記の題で発表をすることになりました。3月17日（月）14:15-15:00の予定です。内容は業務研究の成果報告で、知識様相論理の充足関数を証明支援系に実装するさいの問題点を解決した…

東京に出張し、情報処理学会と某大学のセミナーで発表します。次回の更新は、3月23日以降になる可能性があります。ご了承ください。

起床は11時半、洗濯日和。洗濯と掃除をする。 気分転換に、録画した「朝日のような夕日をつれて '87」を見る。なつかしい。現実そっくりのネットゲームの中で自分の人生をやり直して再出発しようという話。「神をなくした現代人は、ビデオゲームの中で神とな…