有界モデル検証(cbmc)というC C++のテスト方法があるらしいのだが、ほとんどが英語情報のためか、普及していない。 すくなくとも自分のみのまわりの開発者はつかっていない。もったいない。 ちょっと使ってみて、こういう検証方法だと理解したことを書いてお…

不安感と不安の違いについて話していたら、 森博嗣の作品で、犀川先生が責任感と責任の違いをきくシーンを思いだした。 責任感は他者からおしつけれられるものという話しだったはずだ。 不安感と不安の違いはなんだろう、そこに共通点があるはずだ。そうか、…