bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

と思ったら

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

あと、「エクソシストゲーム」は確かに教育には面白そう&効果ありそう。ネーミングもいいですし。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。