[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
328(1): 05/05(日)21:02 ID:PeHbDtmU(6/8) AAS
外部ﾘﾝｸ:ja.m.wikipedia.org
329: 05/05(日)21:08 ID:PeHbDtmU(7/8) AAS
オートマトン言語理論計算論 1 (Information&Computing 3) : J.ホップクロフト, J.ウルマン, 野崎 昭弘: 本.
330: 05/05(日)21:12 ID:PeHbDtmU(8/8) AAS
帰納的関数と述語
河合出版
331(1): 05/05(日)23:29 ID:HvNo6+XN(7/8) AAS
ご参考
”結論:多くのプログラム言語に対して、その言語で書かれたプログラムの停止性は、決定可能ではない”
//www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/
2017年度の『プログラム言語論』亀山幸義筑波大学情報科学
//www.cs.tsukuba.ac.jp/~kam/lecture/plm2017/termination.pdf
講義資料
プログラム言語論亀山幸義筑波大学情報科学類No.4(停止性)
停止性問題
以下の性質を持つプログラムHは存在するか？
・Hは2引数関数である。
省24
332(1): 05/05(日)23:45 ID:HvNo6+XN(8/8) AAS
>>328
>//ja.m.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E%E3%81%AE%E9%9A%8E%E5%B1%A4
(引用開始)
形式言語の階層
個々の言語クラスの解説
チョムスキー階層の言語クラスごとに解説する。
タイプ-0内
帰納的可算言語は、部分決定性言語またはチューリング受理性言語とも呼ばれ、対応するオートマトンであるチューリングマシンが受理しない文字列の入力で停止する事が保証されていない言語のクラスである。これを決定性のある、つまりチューリングマシンが常に停止する言語に限定したクラスが帰納言語で、決定性言語またはチューリング決定性言語とも呼ばれる。
これらの計算複雑性はそれぞれ複雑性クラスRとREに対応する。
(引用終り)
省11
333(1): 05/06(月)06:52 ID:gASBHPGZ(1) AAS
無理解なままコピペするだけの人工無能によるハルシネーションです
334(1): 05/06(月)07:49 ID:lw/xQ19x(1/5) AAS
やっぱりセタと関わっても時間の無駄やな
335: 05/06(月)08:20 ID:Co8XPBRF(1/10) AAS
ご苦労さまでした
336(1): 05/06(月)08:58 ID:hi35vIbq(1/6) AAS
>>332
>いま問題にしているのは、
>”多くのプログラム言語に対して、
>その言語で書かれたプログラムの停止性は、
>決定可能ではない”
そこから間違ってるとか日本語読めないサルでしたか
問題は
「プログラムと称するものが、プログラムの構文規則に従っているか」
あるサブルーチンが名前だけで中身がなかったらNG
期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない
省1
337: 05/06(月)09:05 ID:hi35vIbq(2/6) AAS
>>333 >無理解なままコピペするだけの人工無能によるハルシネーション
>>334 >○○と関わっても時間の無駄やな
１こと○○は、関西の某中高一貫校の出身らしいが
大学受験では京大に受からず
やむなく二番手のショボい大学の工学部に入学
しかもそこの１年の微積と線形代数も全然理解できない有り様
とにかく過去問だけマル暗記して誤魔化したものの
正則行列の性質も知らず、行列式の効率的計算法も知らず
就職先では一切数学をつかわず部下には精神論しか語らない
典型的な昭和男として誤魔化してきた
省5
338: 05/06(月)09:07 ID:hi35vIbq(3/6) AAS
１が数学理解したいなら、マセマの大学数学シリーズからはじめる必要あり
そもそも文章が正しく読めないので、受験参考書みたいな書き方の本じゃないと無理
339: 05/06(月)09:16 ID:lw/xQ19x(2/5) AAS
議論がどうこういうレベルじゃない
まず自分が口ゲンカに勝つ事が絶対的な前提でそのためには数学上完全に証明されてる事実すら受け付けない
もはや感情の方が知性より優先してしまっていて人間らしい判断能力を喪失してしまってる
ここまで人格の崩壊が進んでたらまともな議論ができる人格を取り戻せないやろな
340(3): 05/06(月)10:07 ID:Co8XPBRF(2/10) AAS
>>336
>問題は
>「プログラムと称するものが、プログラムの構文規則に従っているか」
>あるサブルーチンが名前だけで中身がなかったらNG
>期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない
ブッハハ
バカか
１）あるプログラムを作った
コンパイラすると、文法エラーが出た
それを手直しして、文法エラーは無くなった
省3
341(1): 05/06(月)10:14 ID:lw/xQ19x(3/5) AAS
>>340
コレなんかそう
まともな知性を持っていればこんな言葉が反論になどなっていないのはすぐわかるハズ
でも書かずにはいられない、書かなければ負けると無意味なレスを書き散らす
病気
342: 05/06(月)10:57 ID:Co8XPBRF(3/10) AAS
>>341
反論になってるよｗ
再録しておく
>>340より
>問題は
>「プログラムと称するものが、プログラムの構文規則に従っているか」
>あるサブルーチンが名前だけで中身がなかったらNG
>期待される性質を満たすようなサブルーチンのプログラムがあるかどうかは問うてない
１）あるプログラムを作った
コンパイラすると、文法エラーが出た
省5
343: 05/06(月)11:01 ID:Co8XPBRF(4/10) AAS
・中学生が、整数問題の証明を書いた
・文法エラーが無かった
・しかし、その証明が正しいどうか？
・それは、別の問題です
アホがなに寝言を言っているのか！ｗｗ
344: 05/06(月)11:12 ID:lw/xQ19x(4/5) AAS
文法=証明のルール
動かない事が現代数学のルールに違反している証
動かないなら終わり
345: 05/06(月)11:24 ID:Co8XPBRF(5/10) AAS
再録しておく
>>340より
１）あるプログラムを作った
コンパイラすると、文法エラーが出た
それを手直しして、文法エラーは無くなった
２）それって、プログラム作りの初歩の初歩でしょ
同様に、それ（文法エラー無し）って 数学の証明の初歩の初歩でしょ
さて、プログラムは動いた
アウトプットも何か得られた
プログラムを書いた経験がある人には分るだろうが
省1
346(1): 05/06(月)11:24 ID:hi35vIbq(4/6) AAS
証明の「文法」エラーがないなら正しいけど
１ そんな初歩も知らんの？
さっさとABC予想の文法エラーのない証明、示してみ？
347(1): 05/06(月)11:39 ID:lw/xQ19x(5/5) AAS
動くプログラムがひとつもないのが問題
もう「そのうち修正される」という言い訳は通じない
上下前次1-新書関写板覧索設栞歴
あと 655 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s