「コンパイラ・スクリプトエンジン」相談室6

「コンパイラ・スクリプトエンジン」相談室6 at TECH

270:デフォルトの名無しさん
05/05/21 15:25:18
>>261は最初から「全自動では無理」と言ってるんだが…
理論上無理とか言ってるやつは
proof assistantというものが存在することすら知らんのだろうな。
いずれにせよ>>262の言うとおりスレ違いだろう。