>>681
>>679には＞研究してない
と書いてあるようだが？
もしかして計算機による定理の証明の話には、
それを専門に研究している工学者しか話をしちゃいけないのか？