Archives | Tumblr | Facebook | bullet-feed.pngRSS

xkcd: Halting Problem - 停止性問題の大局的解決

  • このカテゴリでは、世界で最も人気があるウェブコミック「xkcd」の最新ナンバーをひたすら日本語に翻訳しています。
  • 2013年の翻訳記事はxkcd(2013年)から。更に過去の翻訳記事はxkcdからどうぞ。
  • 翻訳済みの秀逸なコミックについては、過去のベスト10をまとめた記事(2009年?2010年2011年2012年)からどうぞ。
  • このXKCD翻訳の目的の一つは、僕の英語スキル向上です。誤訳がありましたら、コメントなどで気軽にご指摘下さい。

halting_problem.png
©xkcd.com Creative Commons Attribution-NonCommercial 2.5 License

Halting Problem(停止性問題)

Define DoesItHalt(program):
{
    return true;
}

[The big picture solution to the halting problem.]
 (停止問題への大局的な解決策)

Alt-text: I found a counterexample to the claim that all things must someday die, but I don't know how to show it to anyone.
 (僕は全ての物事はいつか死を迎えなければならないと言う主張への反例を見つけた。しかし、誰かにそれを示す方法がわからない。)

補足

 停止性問題に関するコミック。

 停止性問題とは、「ある機械に入力Xを入れたら、有限時間で停止するか」の解を出す機械は存在しないと言う話だが、作者は、「どんなプログラムも様々な要因でいつかは必ず止まる」と言う、簡単なコードを書くことで大局的には解決出来るとしている。

このエントリーをはてなブックマークに追加

関連性が高いおすすめ記事


comments powered by Disqus