関数が想定している入力であることが証明されているものしか関数の入力に取ることができない、か。確かにミスは減らせそうだ

YaSuYuKiYaSuYuKi のブックマーク 2013/12/06 15:25

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

プログラムに証明が付く日 | RANDMAX

    この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってた...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう