正しさの証明、近似度の証明、処理速度の証明・・・どれもこれも必要な概念それぞれに名前をつけてその関係を言葉にして、順序を整えるという作業なのかも知れません。とか言いながら、最近この手のことやってないなあだんだんアホになって行きそうな気がする
アルゴリズムの証明 More ログイン