researchmap
 

研究キーワード  [ 数理論理学 ]

総件数: 59件

英訳mathematical logic
意味数学の一分野。論理、ひいては数学的活動そのものを研究の対象とする。
類義語数学基礎論(1)

  • アライ ノリコ
    (Noriko H. Arai)
    国立情報学研究所
    社会共有知研究センター  
    センター長・教授
  • 国立情報学研究所
    情報学プリンシプル研究系  
    准教授
  • カリフォルニア大学バークレー校
    数学科  
    PD
  • タナカ カズユキ
    東北大学
    大学院理学研究科 数学専攻  
    教授
  • スズキ トシオ
    首都大学東京
    理工学研究科 数理情報科学専攻  
    准教授
  • カミデ ノリヒロ
    早稲田大学
    高等研究所  
    准教授
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    助教
  • ニイデ ナオユキ
    奈良女子大学
    准教授
  • キキョウ ヒロタカ
    神戸大学
    大学院システム情報学研究科 情報科学専攻  
    教授
  • 国立研究開発法人産業技術総合研究所
    情報技術研究部門  
    研究員