運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
インターネットって何だろう？ 記事一覧 | gihyo.jp
運営元のロゴ Copyright © 2007-2024 All Rights Reserved by Gijutsu-Hyoron Co., Ltd. ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。
Amazon.co.jp: ワインバーグのシステム変革法 (ソフトウェア文化を創る) (ソフトウェア文化を創る 4): ワインバーグ,G.M., Weinberg,Gerald M., 大野徇郎: 本
Rubyでわかる？チューリングマシンの停止性問題 - Pixel Pedals of Tomakomai
論理と計算のしくみを読んでいてチューリングマシンの停止性問題(Halting problem)の証明がしっくり来なかったので、Rubyで書いてみました。こうして書いてみると、証明のアイデアとしては単純明快です。 ちなみに、Lisper のためのチューリングマシンの停止性問題にて書かれている話とほぼ同じ内容です。 証明 停止性問題ってのはものすごく簡単に言えば『「プログラム"machine"に引数"input"を渡した時、無限ループせずに停止するか」を判定するプログラムは書けない』ってことです。このプログラム"halts?"が書けた物として、矛盾を導きます。 halts?が書けたと仮定すると、これを元にして以下のようなプログラムを書くことができます*1。 def my_machine(input) if halts?(input, input) then while true # runs
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: ウェブオペレーション ―サイト運用管理の実践テクニック (THEORY/IN/PRACTICE): John Allspaw (編集), Jesse Robbins (編集), 角征典 (翻訳): 本
Amazon.co.jp: コレクション認知科学 (6) (コレクション認知科学 6): 生田久美子: 本
Amazon.co.jp: ワードマップ グラウンデッド・セオリー・アプローチ―理論を生みだすまで: 滋子,戈木クレイグヒル: 本
Amazon.co.jp: チームワークの心理学―よりよい集団づくりをめざして (セレクション社会心理学): 山口裕幸: 本
Amazon.co.jp: グラフィック社会心理学 (Graphic text book): 池上知子, 遠藤由美: 本
Amazon.co.jp： フロー体験 喜びの現象学: M. チクセントミハイ,Mihaly Csikszentmihalyi
Amazon.co.jp: 影響力の武器[第二版]―なぜ、人は動かされるのか: ロバート・B・チャルディーニ (著), 社会行動研究会 (翻訳): 本![Amazon.co.jp: 影響力の武器[第二版]―なぜ、人は動かされるのか: ロバート・B・チャルディーニ (著), 社会行動研究会 (翻訳): 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/1e4a7cfd5bcd3da027ade93dbb64e4cef293ee68/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F412yPhNwZFL._SL500_.jpg)
Amazon.co.jp: エキスパートのためのMySQL[運用+管理]トラブルシューティングガイド: 奥野幹也 (著), 奥野幹也 (編集): 本![Amazon.co.jp: エキスパートのためのMySQL[運用+管理]トラブルシューティングガイド: 奥野幹也 (著), 奥野幹也 (編集): 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/e61161de3398014b28b3ddcb604dda27f4f61fb4/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F41IlBoZCfcL._SL500_.jpg)
Amazon.co.jp: ワインバーグのシステム洞察法 ソフトウェア文化を創る〈2〉: G.M.ワインバーグ, 徇郎,大野, ジェラルド・M・ワインバーグ: 本
Amazon.co.jp: ワインバーグのシステム行動法 ソフトウェア文化を創る (3): G.M. ワインバーグ (著), 大野[とし]郎 (翻訳): 本![Amazon.co.jp: ワインバーグのシステム行動法 ソフトウェア文化を創る (3): G.M. ワインバーグ (著), 大野[とし]郎 (翻訳): 本](https://cdn-ak-scissors.b.st-hatena.com/image/square/44824a4ff4960edfbab19cf0e41cb6bf05bf1954/height=288;version=1;width=512/https%3A%2F%2Fm.media-amazon.com%2Fimages%2FI%2F41%2BOSAMtq6L._SL500_.jpg)
Amazon.co.jp: ワインバーグのシステム思考法 ソフトウェア文化を創る〈1〉: G.M.ワインバーグ, 徇郎,大野: 本
Amazon.co.jp: 継続的インテグレーション入門: ポール・M・デュバル (著), スティーブ・M・マティアス (著), アンドリュー・グローバー (著), 大塚庸史 (翻訳), 丸山大輔 (翻訳), 岡本裕二 (翻訳), 亀村圭助 (翻訳): 本
Amazon.co.jp: Effective Java 第2版 (The Java Series): Joshua Bloch (著), 柴田芳樹 (翻訳): 本
Amazon.co.jp: エリック・エヴァンスのドメイン駆動設計: ソフトウェアの核心にある複雑さに立ち向かう: エリックエヴァンス (著), 和智右桂 (翻訳), 牧野祐子 (翻訳): 本
Amazon.co.jp: アジャイルプラクティス 達人プログラマに学ぶ現場開発者の習慣: Venkat Subramaniam (著), Andy Hunt (著), 木下史彦 (監訳), 角谷信太郎 (監訳): 本
Amazon.co.jp: オンラインゲームを支える技術 －－壮大なプレイ空間の舞台裏 (WEB+DB PRESS plus): 中嶋謙互: 本
Amazon.co.jp: 大規模Webアプリケーション開発入門 ―変化に強いWeb開発を実現する10の原則: Kyle Loudon (著), 河村圭介（監訳） (翻訳), 木下哲也 (翻訳), 河村圭介 (監修): 本
