気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
katona.hatenadiary.orgエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
であることの証明 - MEMO:はてな支店
ある処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明で... ある処理系がチューリング完全「でない」ことを示すにはどうすればいいんだろう。 「ある」ことの証明であればチューリングマシン実装して終わりだが。 http://d.hatena.ne.jp/gnarl/20080222/1203683751 そうか！少なくともチューリング完全で「ある」ことの証明方法はわかった。 いわれてみればそのとおりだよなあ。 遷移規則をうまく構成することで、驚くべきことにすべてのチューリング機械の動作を再現するチューリング機械（万能チューリング機械）を組み立てることが可能である。 また全てのチューリングマシンは万能チューリングマシンであることも証明されている。 すなわち究極的にはひとつのコンピュータアーキテクチャだけで事足りるということである。 http://ja.wikipedia.org/wiki/%E3%83%81%E3%83%A5%E3%83%BC%E3%83%
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
katona.hatenadiary.org
katona.hatenadiary.org
katona.hatenadiary.org
katona.hatenadiary.org
mainichi.jp
anond.hatelabo.jp
www.jma.go.jp
www.nikkei.com
togetter.com
anond.hatelabo.jp
togetter.com
togetter.com
2012/04/10 リンク