English Page
日仏「論理と数学の哲学」ワークショップ
2018年1月19日(金)-20日(土)
慶應義塾大 三田キャンパス(参加自由)
詳細情報
“Lambek Calculus and Linear Logic” 研究集会
2018年1月25日(木) 15:30 - 18:30
慶應義塾大 三田キャンパス(参加自由)
詳細情報
計算論理学講義ノート
French-Japanese Cybersecurity Research Collaboration https://project.inria.fr/FranceJapanICST/

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

主な研究テーマなど

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

研究室の現在のメンバー

博士課程修了者

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