researchmap
 
ピックアップ研究者
茨城県立医療大学
趣味はテニスにサイクリング。休日は、テニスをしたりデローザのロードレーサーで霞ヶ浦を一周したりしています。 特技は、全国秘湯、名湯、珍湯...
 

正当なCSSです!

 

研究キーワード  [ Mathematical Logic ]

総件数: 51件

英訳数理論理学
意味Mathematical logic is the field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics.
類義語Logic(34) , Foundation of Mathematics(1)

  • アライ ノリコ
    (Noriko H. Arai)
    国立情報学研究所
    社会共有知研究センター  
    センター長・教授
  • 国立情報学研究所
    情報学プリンシプル研究系  
    准教授
  • タナカ カズユキ
    東北大学
    大学院理学研究科 数学専攻  
    教授
  • 千葉大学
    大学院 理学研究科  
    教授
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    准教授(任期付)
  • スズキ トシオ
    首都大学東京
    理工学研究科 数理情報科学専攻  
    准教授
  • カミデ ノリヒロ
    早稲田大学
    高等研究所  
    准教授
  • ニイデ ナオユキ
    奈良女子大学
    准教授
  • キキョウ ヒロタカ
    神戸大学
    大学院システム情報学研究科 情報科学専攻  
    教授
  • キクチ マコト
    神戸大学
    大学院システム情報学研究科 情報科学専攻  
    教授