本日の懇親会で。某大手製造業の人と雑談していて出た話。最近、ヨーロッパを中心に、ソフトウェアの安全性と品質の保証ため、形式的手法による検証が実際のシステム設計現場などでも使われつつあります。では、なぜ日本ではそれが定着しないのか。 日本の「…

天気は晴れ、少し暖かい。起床は9時、出勤して論文の続き。Tさんから前半部分について意見をいただく。午後は会議と講演会、ツールを使おうとして苦労する話。終了後懇親会。帰宅は22時半。