慶應オープンコースウェア教員紹介
 
Google

慶應OCW|文学部→

慶應OCW|経済学部→

慶應OCW|法学部→

慶應OCW|理工学部→

慶應OCW|国際センター→

 

慶應義塾OCW >>教員紹介>>岡田光弘

【教員紹介】

岡田光弘(おかだ・みつひろ)
慶應義塾大学文学部人文社会学科 哲学系教授。
専門は論理学、哲学、理論計算機科学および理論言語学。コンコルディア大学 (モントリオール) 助教授、パリ大学科学部フランス国家招聘教授 (professeur invite sur contingent national de France)、フランス科学研究庁 (CNRS 国立科学研究センター) 客員主任研究員、パリ大学文学部(第1校、ソルボンヌ)哲学科招聘教授などを歴任。
研究課題は、哲学的側面からは論理哲学・言語分析哲学の手法、認知科学・人工知能論・情報科学の手法,フランス現象学を中心とした現象学的論理学の手法を用いた、推論、認知・認識,言葉の意味の理解であり、また、論理学的側面からは、線形論理,証明論等を中心としたダイナミックな新しい論理の構成をもとに、情報科学、計算機科学、言語学、認知科学、人工知能論などに応用した新しい論理学的世界像の構築を目指している。
主な著書

Images and Reasoning ; Images and Reasoning ; 東京都港区三田,慶應義塾大学出版会株式会社 ; ; ; 2005/03/31
Ideal Concepts, Intuituions and Mathematical Knoeledge Acquisitions in Husserl and Hilbert ; Progress in Discover Science, Springer社 S. Akikawa, A. Shinohara(Editors) ; ; ; P.40-77 ; 2002
法律知識の論理による表現 ; 法律人工知能 ; ; ; P.169-181 ; 2000/02
Theories of Types and Proofs ; 日本数学会 ; ; ; ; 1998/12
Girardの線形論理とその応用 ; JSSS Tutorial Lectures Notesシリーズ 日本ソフトウェア科学会 ; ; ; ; 1993/06
Language, Information and Computation(全234pp) ; Thaehaksa Publishing(Seonl) ; ; ; P.64-76,145-157 ; 1993/03
Finite Combinatorics ; Combinatorics, American Mathematical Scoiety ; ; ; ; 1987/08


 

講義トップへ>>

慶應義塾OCW トップへ>>

Creative Commons License
本サイトのコンテンツは、 クリエイティブ・コモンズ・ライセンスの下でライセンスされています。