数学の証明みたいにコードが書けるようなやつ
コードを書いた時点である条件下で
バグが無い事が証明されてるようなソフトになるような開発環境