「Recursive」を解説文に含む見出し語の検索結果(271～280/587件中)
タグシステム（英: Tag system）は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、ポスト正準系のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、...
タグシステム（英: Tag system）は、1943年にエミール・ポストが発表した決定性計算模型の一種であり、ポスト正準系のごく単純な形式のものである。タグシステムを抽象機械とみなした場合、...
チョムスキー階層（チョムスキーかいそう、Chomsky hierarchy）は、形式言語を生成する形式文法の包含階層（形式言語の階層）で、句構造文法（phrase structure grammar）...
著者ウォード・カニンガムP・J・プロージャー（英語版）木村泉（訳）出版マグロウヒル共立出版（訳本）出版年19781982（訳本）頁数168 ページISBN.mw-parser-output cite....
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
ナビゲーションに移動検索に移動メタマジック・ゲーム: 科学と芸術のジグソーパズルMetamagical Themas: Questing for the Essence of Mind and Pat...
ナビゲーションに移動検索に移動メタマジック・ゲーム: 科学と芸術のジグソーパズルMetamagical Themas: Questing for the Essence of Mind and Pat...
今井 鐳蔵（いまい らいぞう、1928年 - 2009年9月18日）は日本の農学博士、農学者。またマクロ経済学にも精通。晩年は地域市場に密着した研究で知られる。経歴1928年 - 岐阜県生まれ。195...
今井 鐳蔵（いまい らいぞう、1928年 - 2009年9月18日）は日本の農学博士、農学者。またマクロ経済学にも精通。晩年は地域市場に密着した研究で知られる。経歴1928年 - 岐阜県生まれ。195...