アカウント名:
パスワード:
文明国なら自力救済や私的制裁等許されてはならない。Vocal Cancelの件を忘れたんだろうか。ましてや流用して本人ではなく利用者のコンピューターに被害を与える事になるし、その犯人は流用した人ではなくそのコードを仕込んだ人間だ。加えて著作物性が認められないなら著作権侵害でもない。
それはともかく単純な無限ループなら比較的簡単に見つかるかもしれないが、多少数学的な工夫をすれば停止するか判定できないような関数を使ってややこしくできそうなのはちょっと面白い。要は停止問題だからどうしようもないね。
「停止するか判定できないような関数」の実例を挙げて下さい。参考までに、現時点で人類が停止するか判定できないというだけでは、「要は停止問題」に該当しないことを指摘しておきます。
適当な関数の停止判定。停止しないもんがあるんだからランダムで作成したプログラムが停止するかは分からんよね。ランダムの種にページ全体か一部のハッシュを使えばいい。それを実行。確率調整は繰り返しで。
0点。
模範解答を教えてほしいなあ。
適当な論理式とその否定の証明プログラム。論理式の表現にはゲーデル数やそれの同等表現を用いる。その文かその否定のどちらかが証明できた時点で停止する。証明手法はブルートゥースでもランダムウォークでも何でもいい。少なくとも一つゲーデル文が存在し、他に証明も反証もできない文が含まれるのだから、入力によっては停止するかしないかは分からない。
これでいいだろう。
s/ブルートゥース/ブルートフォース(アタック)/
元コメじゃないけど、盗用後のサイトのプログラムが無限ループに落ちるかどうかを判定できないって事だから、停止問題であってる。盗用分含めたサイトの全スクリプト(とブラウザのコード)が、プログラムAで、サイトの全データと時刻、(&非同期にサーバーから取ってくるデータ等)がプログラムのデータxとして、A(x)が有限時間で終了するか判定するプログラムは存在しないと言うのが停止問題。盗用した後、サイトのプログラムが無限ループしないか機械的に判定する方法が無いって事。
停止するかどうか判定できないだけでいいんならJMP 0でいいんじゃない?
#蓋を開けなけば猫の生死は確定しない。
>「停止するか判定できないような関数」の実例を挙げて下さい。
「あるプログラムが停止するかどうか判定する関数」ですね
情報系の学生さんなら即答できないと卒業できません
では将軍様、すべての関数が停止するかどうか判定できる関数を作ってください(停止するかどうか判定できない関数はその関数から作る)
スラドに停止性問題も知らないような奴がいたんだな、驚き。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
皆さんもソースを読むときに、行と行の間を読むような気持ちで見てほしい -- あるハッカー
論外 (スコア:0)
文明国なら自力救済や私的制裁等許されてはならない。
Vocal Cancelの件を忘れたんだろうか。
ましてや流用して本人ではなく利用者のコンピューターに被害を与える事になるし、その犯人は流用した人ではなくそのコードを仕込んだ人間だ。
加えて著作物性が認められないなら著作権侵害でもない。
それはともかく単純な無限ループなら比較的簡単に見つかるかもしれないが、多少数学的な工夫をすれば停止するか判定できないような関数を使ってややこしくできそうなのはちょっと面白い。
要は停止問題だからどうしようもないね。
これはすごい (スコア:0)
「停止するか判定できないような関数」の実例を挙げて下さい。
参考までに、現時点で人類が停止するか判定できないというだけでは、「要は停止問題」に該当しないことを指摘しておきます。
Re: (スコア:0)
適当な関数の停止判定。
停止しないもんがあるんだからランダムで作成したプログラムが停止するかは分からんよね。
ランダムの種にページ全体か一部のハッシュを使えばいい。
それを実行。
確率調整は繰り返しで。
Re: (スコア:0)
0点。
Re: (スコア:0)
模範解答を教えてほしいなあ。
Re: (スコア:0)
適当な論理式とその否定の証明プログラム。
論理式の表現にはゲーデル数やそれの同等表現を用いる。
その文かその否定のどちらかが証明できた時点で停止する。
証明手法はブルートゥースでもランダムウォークでも何でもいい。
少なくとも一つゲーデル文が存在し、他に証明も反証もできない文が含まれるのだから、入力によっては停止するかしないかは分からない。
これでいいだろう。
オフトピ(-1) (Was: Re:これはすごい) (スコア:1)
s/ブルートゥース/ブルートフォース(アタック)/
Re: (スコア:0)
元コメじゃないけど、盗用後のサイトのプログラムが無限ループに落ちるかどうかを判定できないって事だから、停止問題であってる。
盗用分含めたサイトの全スクリプト(とブラウザのコード)が、プログラムAで、サイトの全データと時刻、(&非同期にサーバーから取ってくるデータ等)がプログラムのデータxとして、A(x)が有限時間で終了するか判定するプログラムは存在しないと言うのが停止問題。
盗用した後、サイトのプログラムが無限ループしないか機械的に判定する方法が無いって事。
Re: (スコア:0)
停止するかどうか判定できないだけでいいんなら
JMP 0
でいいんじゃない?
#蓋を開けなけば猫の生死は確定しない。
Re: (スコア:0)
>「停止するか判定できないような関数」の実例を挙げて下さい。
「あるプログラムが停止するかどうか判定する関数」ですね
情報系の学生さんなら即答できないと卒業できません
Re: (スコア:0)
では将軍様、すべての関数が停止するかどうか判定できる関数を作ってください(停止するかどうか判定できない関数はその関数から作る)
Re: (スコア:0)
スラドに停止性問題も知らないような奴がいたんだな、驚き。