昨日自分のデスクトップPCを漁ってたら、昔作ったテストプログラムが出てきたので載せてみる。 一風変わったサンプルになってると思います。

プログラムを安全性を高める手法の一つに契約による設計（Design By Contract）というものがある。