「インフォーマルな記述や伝達は許しましょうね」と言いました。そうでないと、たいてい破綻します。そのことは踏まえた上で、なるべくフォーマルに書くことを引き続き考えます。例は、カウンターのインクリメント。inc()が実際にインクリメントであることを…

昨日、仕様の話をしたのだけど、もう少し書いておこうかと。この話題になると長くなりがちですね、ヤッパリ。昨日より： とまー、こういう仕様の計算が自由にできたらいいな、と思っているのです。 けれども、 まー、難しいですね、イロイロと。 なんです。…