山口人生 〜著者へのコメント:特になし〜 Part23
■ このスレッドは過去ログ倉庫に格納されています
0001FIT
2005/07/11(月) 12:54:58http://www.int2.info/news1.htm
前スレ:山口人生 〜その人生、行き先指定不要〜 Part22
http://science3.2ch.net/test/read.cgi/math/1117532057/
過去スレ、関連スレは>>2-5あたりで。
0002FIT
2005/07/11(月) 12:56:12P=NP証明さる
http://cheese.2ch.net/math/kako/998/998634603.html
P=NP証明猿 Part2
http://cheese.2ch.net/math/kako/1007/10076/1007622427.html
猿でも分かるP=NP講座 Part3
http://natto.2ch.net/math/kako/1009/10090/1009059365.html
http://makimo.to/2ch/science_math/1009/1009059365.html
山口ワールドの論理的P=NPart4
http://makimo.to/2ch/science_math/1022/1022834914.html
大天才神帝山口教授の論理的P=NP Part5
http://makimo.to/2ch/science_math/1027/1027656573.html
【祝】山口超教授の超論理的P=NPart6 【自費出版】
http://makimo.to/2ch/science_math/1034/1034782298.html
【祝】山口元教授の超論理的P=NPart7【卒業】
http://makimo.to/2ch/science_math/1042/1042857294.html
「【祝】山口元教授の超論理的P=NPart8【神
http://makimo.to/2ch/science_math/1047/1047099309.html
神・山口人生様の超々論理的P=NPart9
http://makimo.to/2ch/science_math/1052/1052130132.html
髪・山口人生様が「P=NP」で賞金ゲットか? Part10
http://makimo.to/2ch/science_math/1055/1055433704.html
0003FIT
2005/07/11(月) 12:56:32http://makimo.to/2ch/science_math/1057/1057025533.html
山口的p=np part12
http://makimo.to/2ch/science_math/1058/1058924965.html
山口人生13
http://makimo.to/2ch/science_math/1062/1062898493.html
ヤマジン14
http://makimo.to/2ch/science2_math/1065/1065701918.html
人生失敗15
http://makimo.to/2ch/science2_math/1072/1072966661.html
人生の抵抗はここまでか Part16
http://makimo.to/2ch/science3_math/1080/1080409558.html
【リジェクト】ヤマジンの情報脳内大戦17【上等】
http://makimo.to/2ch/science3_math/1086/1086333865.html
山口人生〜超天才、大教授、CEO会長〜 Part18
http://makimo.to/2ch/science3_math/1092/1092986183.html
山口人生の「オラ、上が開いてるぞ、1.5猿」Part19
http://makimo.to/2ch/science3_math/1106/1106688863.html
山口人生 〜超無職、失意の実家帰り〜 Part20
http://makimo.to/2ch/science3_math/1113/1113806284.html
山口人生〜ストリートダンスの連中に絡まれるの巻 Part21
http://makimo.to/2ch/science3_math/1115/1115753763.html
0004矢魔愚痴珍性
2005/07/11(月) 12:57:42今に思い知らせてやろう
0005FIT
2005/07/11(月) 12:58:05山口人生 Part14(ヲチ板)
http://ex.2ch.net/test/read.cgi/net/1065580863/
もの凄いニューカマーが現る!
http://piza.2ch.net/jisaku/kako/980/980022690.html
どうです、サラリーマンの皆さん。
http://kaba.2ch.net/net/kako/1004/10048/1004813514.html
スーパーエリートP=NP
http://kaba.2ch.net/net/kako/1007/10074/1007479222.html
これは目に余る!
http://ton.2ch.net/rights/kako/1004/10048/1004805400.html
「人生教」立教
http://life.2ch.net/psy/kako/1007/10070/1007044303.html
ブーリアンテスト
http://yasai.2ch.net/win/kako/980/980151901.html
御尊顔
ttp://www.info.kanagawa-u.ac.jp/intro-info/Yamaguchi.html
宣伝
ttp://bbs1.otd.co.jp/13045/bbs_plain?base=316&range=1
0006132人目の素数さん
2005/07/11(月) 13:08:103年経っても、2chの電波餓鬼はPもNPも理解できない。
永遠に進歩できない糞塵アホ馬鹿間抜け餓鬼の群れ。
こいつらが日本を潰す。
遠慮なく下げてやれ。
上流が平均値を上げる。
0007132人目の素数さん
2005/07/11(月) 13:12:45勧誘を超えて、迷惑メール。
一日に50から100来るらしいぞ。
警察に届けたらしい。
これで警察が何も手を打たなければ、警察の責任問題。
0008132人目の素数さん
2005/07/11(月) 13:27:36抵抗は、それまでか?
0009132人目の素数さん
2005/07/11(月) 13:34:11山口人生様が神奈川大学をクビになった。
山口人生様が裁判で負けた。
どうだ、文句あるか!
0010132人目の素数さん
2005/07/11(月) 13:38:23私は木に例えるのは好きではないのですが、山口先生が何時も木と枝と葉の比
喩を使うので、やや不本意ながら木の比喩を使います。
TM の開始状態を「根」と呼び、計算結果 accept と reject を「葉」と呼びま
す。非決定性命令を「枝」と呼びましょうか。
ここで、どのような TM にも、多項式時間経過後に強制 reject する機能を簡
単に実装できるので、そのような TM に置き換えると、多項式時間で必ず、葉
(accept, reject) に到達する非決定性 TM が作れますよね?それは了解事項。
以下はその前提で書きます。
w∈L の場合、根から、枝をあてずっぽうに進んだとき、多項式時間で accept葉
に到達する可能性があること。あてがはずれた場合は、多項式時間で reject葉
にたどりつく。
w∈L でない場合、どのような枝をたどろうとも、多項式時間で reject葉にたど
り着くこと。accept にたどり着く枝はあってはならない。
L が NP に属するとは上記の TM が存在することを言うわけですが、普通のNP
と山口NP では時間の計り方が異なるようです。
世間の NP (=CookのNP =懸賞金の NP) では、不正解の場合も正解の場合も根か
ら「任意の」葉までの距離が多項式時間と定義されています。
山口NP では、正解の場合、accept の葉にたどり着くまでの時間が多項式時間、
不正解の場合、全部の葉の reject を確かめるまでの合計時間が多項式時間。
このように間違えているから、Cook還元の論文も読めないのです。
かわいそうに。
0011132人目の素数さん
2005/07/11(月) 13:41:39なのです。正解入力か不正解入力か考える必要も無く、
根から accept 葉までの道を還元すると、還元先でも accept であること。
根から reject 葉までの道を還元すると、還元先でも reject であること。
が守られていれば良く、一本の道が多項式時間で還元できれば十分なのです。
先生のように、木の全体を還元操作する必要はありません。
山口先生は、根から1本のreject までの道を確かめただけでは、「不正解入力」
であることの証明になっていない、と主張していますね?
全部の枝が不正解であると確かめない限り、不正解入力であることは確認でき
ないはずだ、と言いたいのでしょう。先生の間違いはそこにあります。
不正解入力であることを、多項式時間で確かめろとは、誰も求めていないから
です。不正解入力では、全部の枝が reject であればよいのであって、それを
証明者が証明すれば十分なのです。
TM が多項式時間で立証する必要はありません。
山口先生は、還元操作の定義を誤読し、不正解の場合、確認に必要な全部のreject
葉を還元操作しなければならないと、頑なに思い込んでいます。
それができないと、Cookの成果は不十分であると言い出す始末です。
山口先生のように、木全体を写そうとする操作はまったく不要です。
0012山口人生
2005/07/11(月) 13:46:00誰がそんな馬鹿な定義を採用したって?
何処にそんなことを書いている、オラ。
ここのキチガイ餓鬼が勝手に想定しているだけ。
多項式時間は枝別rejectに決まっているだろうが。
0013132人目の素数さん
2005/07/11(月) 13:48:570014山口人生
2005/07/11(月) 13:49:00やっと、餓鬼の間違い箇所に辿り着いたな。
木全体を移すなんて誰も一言も言ってないぞ。
枝一本の話だ。
「acceptでない=reject」
が成立しないと言ってる。
0015132人目の素数さん
2005/07/11(月) 13:49:03山口先生の主張のような定義を採用している、変な教科書や
論文が、山口先生の論文や教科書を除いて、
何処にあるのか教えてください。
もちろん、英語でも日本語でもかまいません。
ロシア語やフランス語やドイツ語はちょっと困りますが。
0016132人目の素数さん
2005/07/11(月) 13:50:44「acceptでない=reject」
が成立しないのは、以前から周知でしょう?
Cookも世間もみなその通り。
だから何?
0017山口人生
2005/07/11(月) 13:51:41NPの場合、枝一本の話をしている点も了解事項。
違いはだ、
「acceptでない=reject」
と思っているかどうかだ。
私は、そうはならないと主張している。
ここの餓鬼、いや、世界中の腰弁=悪魔同盟は、そうなると錯覚している。
0018山口人生
2005/07/11(月) 13:53:22ポイントは、
「acceptでない=reject」
と思うかどうか。
コレに尽きる。
ここが、唯一、両陣営で違う。
0019山口人生
2005/07/11(月) 13:54:19何か言ってみろ。
世界中の晒し者になったのは、FITの方。
0020山口人生
2005/07/11(月) 13:55:56結論だけ言う。
私が「P=NP?」問題を解決した。
私がCookの間違いを発見した。
文句あるか?
0021132人目の素数さん
2005/07/11(月) 13:56:320022132人目の素数さん
2005/07/11(月) 13:57:020023132人目の素数さん
2005/07/11(月) 13:59:46スレタイに噴いた。研究室の中だったからなんとか咳で誤魔化したが、
危うく大爆笑するところだったぞ。
しかし、今年の人生超無職の講演は是非ビデオにとってどこかで
公開してほしいな。たとえば一度流れたら取り返しのつかない
Winnyあたりでw
0024132人目の素数さん
2005/07/11(月) 14:02:39相変わらず理解できておられないのでしょう・・・。
0025132人目の素数さん
2005/07/11(月) 14:04:06問題はまさにそこですね。
非決定性機械の reject は、それだけでは入力が不正解であることを
意味しないんですよ。先生の言うとおり。先生万歳。そこまでは。
実は、全部の枝が reject しない限り、不正解入力であると本当に知
ることはできないのですね。
だから、あてずっぽうに枝を進んで、accept にたどり着いたら w は
L の元だと誰もが自信を持っていえる。けれども、reject にたどり着
いた場合は 正解入力なのに当てが外れたのか、不正解入力だったのか
誰にもわからないんですよね。
山口先生の主張は、それじゃ不味いから何とかしようと言うことなんだ
よね?
でも、世間のNP は、「それでいいのだ」なんですよ。
山口先生が主張する、不正解も何とか確認すべきというのは、NP の
定義から外れるんです。だから皆、山口NP を独自概念として区別して
るんです。
不正解入力の場合、accept してはいけないというのは、アルゴリズム
設計者が、アルゴリズムを発表するときに証明をつけておけばいいだけ
です。
アルゴリズムに入力が与えられたあと、TM が多項式時間で不正解入力
と判定するなどということを、誰も求めていないのですよ。
ときどき、餓鬼の中に山口NPは定義が違うから無意味と主張するのがい
るけど、私はそうは思わない。P≠山口NP も、NP≠山口NP も、実は
証明に成功すればそれなりに重要な意味がある。
残念なことに、その間違った定義から出発した先生の証明は、さらにそ
の先でまた間違っているので、結論から言うとやっぱり無意味なんだけ
ど。
0026132人目の素数さん
2005/07/11(月) 14:05:10そんなことを問題にしているはずがない。
「acceptでない=reject」
これが成立するかどうかが争点。
何がrejectは枝総てだ、アホ餓鬼。
0027132人目の素数さん
2005/07/11(月) 14:06:36>>25 へコメントお願いします。
0028132人目の素数さん
2005/07/11(月) 14:08:03っつうの。全然、争点にも何にもなってないですよ。
0029132人目の素数さん
2005/07/11(月) 14:09:56未だに論点が理解できてない。
定義は同一。
「acceptでない=reject」
の意味はだ、
「枝別acceptでない=枝別reject」
かどうかだ。
つまり、神のは、
「枝別acceptでないには、枝別reject以外の状態もある」
という主張だ。
出直して来い。
0030132人目の素数さん
2005/07/11(月) 14:10:460031132人目の素数さん
2005/07/11(月) 14:11:51何故、これが問題になるかというと、Cook還元とは知識表現問題だから。
0032132人目の素数さん
2005/07/11(月) 14:12:33TMそのものを理解できていないのだと思われ。
0033132人目の素数さん
2005/07/11(月) 14:15:17いくらでも相手にするぞ。
チューリング賞の権威が懸かっている。
いや、日本の学界の存亡を賭けるぞ、ここまで騒いだら。
Cookは間違い。
知識表現レベルで間違い。
0034山口人生
2005/07/11(月) 14:16:30西欧文明とキリスト教を賭けてもらう。
0035山口人生
2005/07/11(月) 14:18:09誰も、枝全部なんて言ってないぞ。
知識表現問題だ。
枝別acceptでない=枝別rejectか?
0036山口人生
2005/07/11(月) 14:18:430037山口人生
2005/07/11(月) 14:19:20抵抗は、それまでか?
0038132人目の素数さん
2005/07/11(月) 14:20:04連中は、それでいいと言ってる。
オラ、これが日本の労務者の正体だ。
遠慮なく収入を下げてやれ。
こういう連中が一人前の気分で生きていると、国の迷惑だ。
0039132人目の素数さん
2005/07/11(月) 14:28:48違うと主張されるなら、山口用語でいうところの、「accept でない」と
「reject」 の定義をそれぞれ述べてもらえますか?
0040132人目の素数さん
2005/07/11(月) 14:42:41仮に、状態数が10あるとする。
そして、状態1がaccept終了だとする。
すると、各時点k毎に、10個の異なる状態表現が生成される。
よって、
「k時点でacceptでない=k時点で状態2∨・・・∨k時点で状態10」
だ。
0041132人目の素数さん
2005/07/11(月) 14:44:53山口人生様の定義=世界標準定義=Cookの定義。
しかし、Cookは証明を間違えた。
自分達のアホを誤魔化すな。
計算量以外の分野が見ているぞ。
0042132人目の素数さん
2005/07/11(月) 14:47:09抵抗は、それまでか?
悪魔に加担して、生きていこうと言う姿勢が許されないんだよ。
0043132人目の素数さん
2005/07/11(月) 14:50:34Cookの定理をネットで調べてみろ。
山口人生様がFITで取り上げた別の表現法が百科事典(ウイニーペグとか何とか)に出ている。
0044132人目の素数さん
2005/07/11(月) 14:51:400045132人目の素数さん
2005/07/11(月) 14:54:40餓鬼集団が神に勝てると思うのが、思い上がりだ。
0046132人目の素数さん
2005/07/11(月) 14:54:43コメントは、特にありません。
0047132人目の素数さん
2005/07/11(月) 14:57:12文句あるか!
0048132人目の素数さん
2005/07/11(月) 14:58:30山口人生さまは accept されなかった。
accept されないは、reject です。
文句あるか!
0049132人目の素数さん
2005/07/11(月) 14:59:210050132人目の素数さん
2005/07/11(月) 15:00:41山口人生様が神奈川大学をクビになった。
山口人生様が裁判で負けた。
どうだ、文句あるか!
0051132人目の素数さん
2005/07/11(月) 15:09:590052132人目の素数さん
2005/07/11(月) 15:24:1340を見てから物を言え。
総てが脳内短縮だ。
一事が万事。
0053132人目の素数さん
2005/07/11(月) 15:24:49と主張している。
>>40 は、終了状態でない状態があるといっている。
根から移動して葉にたどり着くまでは、終了状態でないのは
あたりまえ。葉(終了状態)にたどりついたときはaccept か
reject なので、accept でないは reject を意味する。
>>39 も >>40 もどちらも当たり前のことを主張している。
ただ、>>39 の返答としての、>>40 は意味不明。
おそらく、終了状態の集合に限った話か、状態全体の集合の
話か、双方の範囲が誤解されていると思われる。
0054132人目の素数さん
2005/07/11(月) 15:25:37決定性チューリングマシンの場合と非決定性チューリングマシンの場合、ですよね
0055132人目の素数さん
2005/07/11(月) 15:25:41こういう餓鬼が多いから、素朴計算量理論も公理化可能と錯覚するんだよ。
状況依存性が理解できない脳内ショート。
0056132人目の素数さん
2005/07/11(月) 15:26:24NPの定義を理解してないとは・・・
0057132人目の素数さん
2005/07/11(月) 15:26:34猿餓鬼の勝手な妄想。
0058132人目の素数さん
2005/07/11(月) 15:27:36餓鬼レベルでは神に勝てるはずがない。
山口人生様が「P=NP?」問題を消滅で解いた。
0059132人目の素数さん
2005/07/11(月) 15:29:00少なくとも、キリストを潰した。
0060132人目の素数さん
2005/07/11(月) 15:30:09acceptでないかどうかの判断が停止しない場合があるので
rejectは一般には行われないんですよ
0061132人目の素数さん
2005/07/11(月) 15:33:43よって
acceptでない = reject または not halt
0062132人目の素数さん
2005/07/11(月) 15:35:48acceptでない=rejectされた または 査読結果が返ってこない
0063132人目の素数さん
2005/07/11(月) 15:57:012:査読の結果、不受理でコメントつき
3:査読で不受理でコメントも無し
確かに3状態あるね。
山口先生は、そんなことを強調したかったのか。確かに深い。
0064132人目の素数さん
2005/07/11(月) 16:12:08苦しい言い逃れしてるんじゃない今更。
計算量理論は、こういう餓鬼の群れ。
0065132人目の素数さん
2005/07/11(月) 16:16:12状態の全体集合に決まっているだろう。
終了状態と、どうやって限定するんだ?
NPもPも糞もない。
脳内短縮餓鬼が悪い。
0066132人目の素数さん
2005/07/11(月) 16:17:59勝手に終了状態と想定しても、どうにもならないんだよ現実は。
知識表現の能力が欠如してるんだ、アルゴリズム系は。
0067132人目の素数さん
2005/07/11(月) 16:19:28これじゃ、山口人生様が「P=NP?」問題を消滅で解決したと理解できまい。
人類の恥、FIT猿。
西洋文明の敵、日本猿。
0068132人目の素数さん
2005/07/11(月) 16:21:06それを、FITの餓鬼と2chの餓鬼が邪魔した構図。
0069132人目の素数さん
2005/07/11(月) 16:21:20acceptでない=reject
でいいんですけどね
0070132人目の素数さん
2005/07/11(月) 16:22:42ヤマジンが桧舞台に立てることにはならんわけだが・・・
0071132人目の素数さん
2005/07/11(月) 16:27:09上で、一同、rejectストップに意思統一したぞ。
よって、acceptでない=rejectかどうかが問題。
葉も糞もなんいんだよ。
葉がp(n)で揃うわけないだろう。
正直に言えば、それ以前にacceptされているんだ。
これが、山口人生様の指摘した中流議論。
0072132人目の素数さん
2005/07/11(月) 16:30:25ヤマジンのアプローチはあながち間違いとも言えない
内容は全くの無価値だけどな
0073132人目の素数さん
2005/07/11(月) 16:30:54何を負け惜しみホザイテいるんだ。
山口人生様は世界史の檜舞台に立っているぞ、現実に。
全部、日本猿が悪い。
007460
2005/07/11(月) 16:32:09正解入力→多項式時間でaccept
不正解入力→rejectまたは停止しない
というものです
よって、「acceptでない=rejectまたは停止しない」ですね
0075132人目の素数さん
2005/07/11(月) 16:32:40初歩の初歩の知識表現が理解できてないんだよ、計算量の猿は。
神の逆らえる身分か、猿が!
PもNPも、糞もない。
知識表現問題だ。
0076132人目の素数さん
2005/07/11(月) 16:34:23葉なら、p(n)で統一できないぞ!
オラ、中流意識すらなくなったか、最近の日本猿は。
知識表現問題だよ。
猿には無理。
人だけができる。
007760
2005/07/11(月) 16:35:55不正解入力→全ての葉がreject
0078132人目の素数さん
2005/07/11(月) 16:36:59何を戯言言ってるんだ。
accept、reject以外の他の状態とは何だ?
オラ、ハッキリせんかい脳内短縮餓木。
0079132人目の素数さん
2005/07/11(月) 16:38:21ここの電波餓鬼は、何も理解できていない。
0080132人目の素数さん
2005/07/11(月) 16:39:19特になし
0081132人目の素数さん
2005/07/11(月) 16:40:06それほど難しいとは言える。
「P=NP?」は難問だし。
山口人生様だけが解く能力を有していた。
消滅。
この意味が理解できないだろう、脳内短縮餓木には。
0082132人目の素数さん
2005/07/11(月) 16:40:32まあNP問題の場合はEXPに帰着できるから関係ないけど
0083132人目の素数さん
2005/07/11(月) 16:41:12アホが、どういう顔をして、会場で発表しているか。
馬鹿の群れにしか見えないぞ。
0084132人目の素数さん
2005/07/11(月) 16:41:45Cookは間違い!
0085132人目の素数さん
2005/07/11(月) 16:42:16ヤマジンのことですか?
0086132人目の素数さん
2005/07/11(月) 16:43:51不正解入力 → 全ての葉がreject → reject
で、山口先生はどこがわからないんですか?
0087132人目の素数さん
2005/07/11(月) 16:44:11一字訂正しても気になるだろう、餓鬼。
0088132人目の素数さん
2005/07/11(月) 16:45:21これが理解できないわけだ、アルゴリズムの餓鬼には。
知識表現では必要不可欠。
0089132人目の素数さん
2005/07/11(月) 16:46:300090132人目の素数さん
2005/07/11(月) 16:47:34まさかなぁ・・・
0091素人
2005/07/11(月) 16:57:21新聞発表をさっさとしろ
0092132人目の素数さん
2005/07/11(月) 16:58:33腰弁教授の悪魔同盟は歴史的敗北。
0093132人目の素数さん
2005/07/11(月) 17:00:242chの電波餓鬼の自滅。
少しはマトモな連中が、見ていることを忘れている。
0094132人目の素数さん
2005/07/11(月) 17:02:01NP問題では
全ての葉がaccept → accept
acceptの葉とrejectの葉が両方ある → accept
全ての葉がreject → reject
0095132人目の素数さん
2005/07/11(月) 17:02:03>神の逆らえる身分か、猿が!
笑ってしまった。神は猿に逆らえないと言いたいのですね。
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
>神の逆らえる身分か、猿が!
猿は、神ごときが逆らえない身分。
0096132人目の素数さん
2005/07/11(月) 17:02:03だから、この世で、山口人生様だけが、accept、reject以外の状態のことを指摘したんだよ。
誤魔化すと、2chのキチガイの証拠。
0097132人目の素数さん
2005/07/11(月) 17:02:57オラ、ここで馬鹿餓鬼が山口人生様の格を下げることを何か言う度に、日本の格が下がる。
連中は、それでいいと言ってる。
オラ、これが日本の労務者の正体だ。
遠慮なく収入を下げてやれ。
こういう連中が一人前の気分で生きていると、国の迷惑だ。
0098132人目の素数さん
2005/07/11(月) 17:03:13労働者の敵2ch。
その結果、ここの電波餓鬼の暮らしも、ますます苦しくなる。
0099132人目の素数さん
2005/07/11(月) 17:03:39ついでに、出会い系を利用して、神に迷惑をかけた可能性大。
犯罪行為だな。
生涯、悶え苦しむ。
こういう男の管理する掲示板は糞塵溜。
0100132人目の素数さん
2005/07/11(月) 17:04:280101132人目の素数さん
2005/07/11(月) 17:04:38山口人生様だけが、accept、reject以外の状態を気にしていた。
これが知識表現。
■ このスレッドは過去ログ倉庫に格納されています