researchmap
 

研究キーワード  [ Proof Theory ]

総件数: 11件


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