アカウント名:
パスワード:
文明国なら自力救済や私的制裁等許されてはならない。Vocal Cancelの件を忘れたんだろうか。ましてや流用して本人ではなく利用者のコンピューターに被害を与える事になるし、その犯人は流用した人ではなくそのコードを仕込んだ人間だ。加えて著作物性が認められないなら著作権侵害でもない。
それはともかく単純な無限ループなら比較的簡単に見つかるかもしれないが、多少数学的な工夫をすれば停止するか判定できないような関数を使ってややこしくできそうなのはちょっと面白い。要は停止問題だからどうしようもないね。
「停止するか判定できないような関数」の実例を挙げて下さい。参考までに、現時点で人類が停止するか判定できないというだけでは、「要は停止問題」に該当しないことを指摘しておきます。
適当な関数の停止判定。停止しないもんがあるんだからランダムで作成したプログラムが停止するかは分からんよね。ランダムの種にページ全体か一部のハッシュを使えばいい。それを実行。確率調整は繰り返しで。
0点。
模範解答を教えてほしいなあ。
適当な論理式とその否定の証明プログラム。論理式の表現にはゲーデル数やそれの同等表現を用いる。その文かその否定のどちらかが証明できた時点で停止する。証明手法はブルートゥースでもランダムウォークでも何でもいい。少なくとも一つゲーデル文が存在し、他に証明も反証もできない文が含まれるのだから、入力によっては停止するかしないかは分からない。
これでいいだろう。
s/ブルートゥース/ブルートフォース(アタック)/
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲはアレゲを呼ぶ -- ある傍観者
論外 (スコア:0)
文明国なら自力救済や私的制裁等許されてはならない。
Vocal Cancelの件を忘れたんだろうか。
ましてや流用して本人ではなく利用者のコンピューターに被害を与える事になるし、その犯人は流用した人ではなくそのコードを仕込んだ人間だ。
加えて著作物性が認められないなら著作権侵害でもない。
それはともかく単純な無限ループなら比較的簡単に見つかるかもしれないが、多少数学的な工夫をすれば停止するか判定できないような関数を使ってややこしくできそうなのはちょっと面白い。
要は停止問題だからどうしようもないね。
これはすごい (スコア:0)
「停止するか判定できないような関数」の実例を挙げて下さい。
参考までに、現時点で人類が停止するか判定できないというだけでは、「要は停止問題」に該当しないことを指摘しておきます。
Re:これはすごい (スコア:0)
適当な関数の停止判定。
停止しないもんがあるんだからランダムで作成したプログラムが停止するかは分からんよね。
ランダムの種にページ全体か一部のハッシュを使えばいい。
それを実行。
確率調整は繰り返しで。
Re: (スコア:0)
0点。
Re: (スコア:0)
模範解答を教えてほしいなあ。
Re: (スコア:0)
適当な論理式とその否定の証明プログラム。
論理式の表現にはゲーデル数やそれの同等表現を用いる。
その文かその否定のどちらかが証明できた時点で停止する。
証明手法はブルートゥースでもランダムウォークでも何でもいい。
少なくとも一つゲーデル文が存在し、他に証明も反証もできない文が含まれるのだから、入力によっては停止するかしないかは分からない。
これでいいだろう。
オフトピ(-1) (Was: Re:これはすごい) (スコア:1)
s/ブルートゥース/ブルートフォース(アタック)/