今見たらエントリーが増えている。すいません本当ならばキッチリとご返答差し上げるところなのですが、自ら変な縛りを設けているためにorz 個人的に大変興味深いので禁を犯してトラバつけてしまいました。そしてまた。嗚呼。
なるほど。割にimaginaryなものなんですかね。「契約による設計」のイメージをより膨らませつつ、formalな検証系を入れられるマージンを少し確保した、というようなものだと思えばいいのかな。
あと、「エクソシストゲーム」は確かに教育には面白そう&効果ありそう。ネーミングもいいですし。