researchmap
 
ピックアップ研究者
間遠総合学術研究所
1981年3月20日東京理科大学理学部第2部数学科を卒業。 1981年4月より研究者。 自然科学から人文社会科学まで多様な領域に取り組んで...
 

正当なCSSです!

 


JST Home Page
 

研究キーワード  [ Proof Theory ]

総件数: 12件


  • アライ ノリコ
    (Noriko H. Arai)
    国立情報学研究所
    社会共有知研究センター  
    センター長・教授
  • 千葉大学
    大学院 理学研究科  
    教授
  • アキヨシ リョウタ
    早稲田大学
    高等研究所  
    招聘研究員
  • ヨコヤマ ケイタ
    北陸先端科学技術大学院大学
    情報科学系  
    講師
  • ナガシマ タカシ
    (三ねんせい)
    一橋大学
    大学院経済学研究科  
    名誉教授
  • コバヤシ サトシ
    京都産業大学
    コンピュータ理工学部 インテリジェントシステム学科 京都産業大学 コンピュータ理工学部  
    教授
  • タカハシ マサコ
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授
  • オオニシタクロウ
    京都大学
    文学部  
    研究員
  • タナカ ヨシヒト
    九州産業大学
    経済学部 経済学科  
    准教授
  • 千葉大学
    理学部 数学・情報数理学科  
    日本学術振興会特別研究員