researchmap
 
ピックアップ研究者
基礎生物学研究所
錯視研究、人工知能による脳モデルの検証、バーチャルリアリティによる動物行動解析、脳のナトリウムセンサー(旧)、脳のプロテオグリカン(旧)、...
 

正当なCSSです!

 


JST Home Page
 

研究キーワード  [ 再帰理論 ]

総件数: 2件

英訳recursion theory
意味数学基礎論(数理論理学)の一分野で,計算可能性/計算不可能性を対象とする.
類義語計算可能性理論(2) , 帰納的関数論

  • <
  • >
  • ナガシマ タカシ
    (三ねんせい)
    一橋大学
    大学院経済学研究科  
    名誉教授
  • ヤマザキ タケシ
    東北大学
    大学院理学研究科・理学部 数学専攻  
    准教授

  • <
  • >