プログラムが必ず終了するか？ 無限ループにならないか？ の証明。 これであってるのかな？ 例題：階乗。言語はVDMで。 階乗: nat +> nat 階乗(n) == if n=0 then 1 else n*階乗(n-1); n=0のとき 停止するか？：階乗(0) 停止するか？：if 0=0 then 1 else 0*…

ときどき、NETというゲームで遊んでいます。 なかなか良くできたゲームです。 今日、13x11のWrappingで 1021854 というスコアを出しました。 TURNS:103 Minimum required:103 TIME:0:04:00 http://www.jurjans.lv/stuff/net/FreeNet.htm

棚からバター餅。 そのココロは？