22/04/30 21:35:43.75 .net
>>829
＞玉川先生など、IUTの検証は終わったと言っている
＞（これを正当と認めるか否かの議論は別として）
別とするのが卑怯卑劣なネトウヨｗ
そもそも検証なんか全然してないのに査読しました
とかいうことが不当だといってるわけ
日本人は卑怯卑劣嘘つきだと馬鹿にされてるわけ
ニホンザルのネトウヨ 下げマスは
「卑怯卑劣で何が悪い 嘘でもなんでも勝てば官軍！」
と野蛮なこといってるわけ 実に不快なわけ 分かる？ｗ
＞”論文読めない”という人多数。つまり、「可読性悪い」と。
それ、卑怯卑劣なネトウヨの嘘ｗ
「可読性悪い」ではなく「検証できない」といってるわけ
つまり「そもそもプログラムになってない」といってるわけ
なんかサブルーチンの名前はあるけど、
実態となるステートメントが全然ないものがある
といってるわけ はっきりいうと詐欺証明だといってるわけ
わかる？
＞対して、望月側は、
＞「新しいプログラム言語を使っているので、それを勉強しろ、準備論文にある」
＞という
それ望月新一の嘘
プログラム言語になってないわけ
つまり謎のサブルーチンの事前条件、事後条件が定義されてないわけ
それじゃ証明できないわけ わかる？
＞3）ショルツェ氏登場。
＞「おれ、読んだつもり。Cor3.12にバグあるので、プログラム機能してない」
＞という
「Cor3.12にバグあるので、」はアホの下げマスの誤読
正しくは
「Cor3.12の証明の中に謎のサブルーチンがある
どういうステートメントになってるか書いてないから
プログラムとして機能しない」
といってるわけ
＞対して、望月氏は「新しいプログラム言語を、誤読しているだけじゃの？」と
望月新一は
「いや、プログラムは完璧と書かれている
貴様のコンパイラがオカシイんだろ？」
とわめきちらしながら、自分のコンパイラは提供しない
要するにそんなものはないんだろうけどな
嘘つきもここまでくるとミットモナイ
日本人の恥 こんなヤツを庇うカトブンも日本人の恥