984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

■ このスレッドは過去ログ倉庫に格納されています

0495１３２人目の素数さん

2015/01/20(火) 01:12:56.96ID:/Q1/WnS/

ひょっとして、帰納法無しで検証プログラムの正しさを確かめられるとでも思ってるのかよ

■ このスレッドは過去ログ倉庫に格納されています