「Turing Machine」を解説文に含む見出し語の検索結果(41～50/297件中)
ナビゲーションに移動検索に移動この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。可逆チューリングマ...
レスリー・ヴァリアントLeslie Valiant (2005, photo from MFO)生誕 (1949-03-28) 1949年3月28日（77歳）国籍 イギリス研究分野数学計算機科学研究機...
ビジービーバー（英：busy beaver）とは、計算可能性理論で扱われるある種のチューリングマシンである。この名称は「仕事人間」を意味する英語の慣用句に由来する。ビジービーバーは空のテープから処理を...
ビジービーバー（英：busy beaver）とは、計算可能性理論で扱われるある種のチューリングマシンである。この名称は「仕事人間」を意味する英語の慣用句に由来する。ビジービーバーは空のテープから処理を...
Integrated Data Store作者チャールズ・バックマン初版1964年種別ネットワーク型データモデルデータベースライセンス商用テンプレートを表示Integrated Data Store ...
ナビゲーションに移動検索に移動ジェイド・トゥリーJade Tree設立1991年設立者ダレン・ウォルターズティム・オーウェン解散2017年ジャンルオルタナティヴ・ロック、ポスト・ハードコア、ノイズロッ...
ナビゲーションに移動検索に移動ジェイド・トゥリーJade Tree設立1991年設立者ダレン・ウォルターズティム・オーウェン解散2017年ジャンルオルタナティヴ・ロック、ポスト・ハードコア、ノイズロッ...
ジョセフ・シファキスJoseph Sifakis生誕1946年12月26日クレタ島イラクリオン国籍 フランス研究分野計算機科学出身校国立アテネ工科大学 グルノーブル大学主な業績モデル検査の開発主な受賞...
ジョセフ・シファキスJoseph Sifakis生誕1946年12月26日クレタ島イラクリオン国籍 フランス研究分野計算機科学出身校国立アテネ工科大学 グルノーブル大学主な業績モデル検査の開発主な受賞...
ナビゲーションに移動検索に移動ジョン・グラハム=カミング研究機関Cloudflareのプログラマ[1]出身校オックスフォード大学論文The formal development of ...