English Page
Workshop "Logic, Language, and Ontology"
2018年11月7日(水),8日(木)
慶應義塾大学 詳細情報
ジラール教授(Jean-Yves GIRARD)連続講義
Lectures “LOGIC 2.0 : A derealistic refoundation of logic”
2018年9月25日(火),10月2日(火) 詳細情報
計算論理学講義ノート
French-Japanese Cybersecurity Research Collaboration https://project.inria.fr/FranceJapanICST/

岡田研究室が関わるセミナー・シンポジウムなどの案内

主な研究テーマなど

岡田研究室では、現代論理学・情報科学・認知科学・言語学等の様々な方法論を使って総合的に論理推論を明らかにする研究を進めています. 特に,論理推論の基礎構造の解明や論理判断に伴う状況依存的構造の解明を進めています.

研究室の現在のメンバー

博士課程修了者

岡田研究室の大学院修士課程および博士課程に入るには