[1]

佐藤 有理, 峯島 宏次, 竹村 亮, and 岡田 光弘. 図形を用いた演繹的推論の認知プロセス. In 日本認知科学会第28回大会論文集, pages 269--274, 2011. [ bib ]

[2]

峯島 宏次, 岡田 光弘, 佐藤 有理, and 竹村 亮. オイラー図・ヴェン図を用いた図形推論の証明論的分析. In 第24回人工知能学会全国大会論文集, number 1E1-4, pages pp.1--4, 2010. [ bib ]

[3]

長谷部 浩二 and 岡田 光弘. BAN論理からprotocol composition logicへ：セキュリティプロトコルの論理的検証法. 応用数理, 17(4):311--322, 12 2007. [ bib ]

[4]

岡田 光弘. フッサール、ゲーデルから線形論理へ. 現代思想, 35(3):149--163, feb 2007. [ bib ]

[5]

岡田 光弘. ああ言えば幸福. In 巽 孝之, 坂上 貴之, 宮坂 敬造, 岡田 光弘, and 坂本 光, editors, 幸福の逆説. 慶應義塾大学出版会, 4 2005. [ bib ]

[6]

岡田 光弘. 歪んだ真珠(バロック) --音楽における規則性vs反規則性、または ロゴスvsパトス--. 藝文研究, 9, 2003. [ bib ]

[7]

岡田 光弘. 矛盾は矛盾か. 科学哲学, 36(2):79--102, dec 2003. [ bib ]

[8]

岡田 光弘. 現代のフォーマルオントロジーの動向とオントロジー工学. 人工知能学会誌, 17(4):434--442, jul 2002. [ bib ]

[9]

岡田 光弘. オントロジー応用のための方法論の考察と展望. 人工知能学会誌, 17(5):604--613, sep 2002. [ bib ]

[10]

溝口 理一郎 and 岡田 光弘. レクチャーシリーズ「哲学とAIにおける対象世界モデリング」の企画にあたって. 人工知能学会誌, 17(2):222--223, mar 2002. [ bib ]

[11]

岡田 光弘. オントロジーの哲学的・論理学的背景. 人工知能学会誌, 17(2):224--231, mar 2002. [ bib ]

[12]

岡田 光弘. フッサールのフォーマルオントロジーとその影響. 人工知能学会誌, 17(3):335--344, may 2002. [ bib ]

[13]

岡田 光弘 and 長谷部 浩二. 線形論理に基づいたセキュリティ・プロトコルの論理的検証法. 電子情報通信学会「人工知能と知識処理」技術研究報告, 102(91):49--54, may 2002. [ bib ]

[14]

岡田 光弘. 法律知識の論理による表現. In 吉野一, editor, 法律人工知能, pages 169--181. 創成社出版, feb 2000. [ bib ]

[15]

岡田 光弘. <書評>ウィトゲンシュタイン : 言語の限界 飯田隆著,講談社 1997年. 哲學, 104:77--83, dec 1999. [ bib ]

[16]

須藤 路子, 岡田 光弘, and 西山 佑司. 日本語の文末表現における意味解釈と音響特性. 順天堂大学スポーツ健康科学研究, 2:12--16, mar 1998. [ bib ]

[17]

岡田 光弘. フッサールの形式論理学分析における「多様体」概念の役割. 哲學, 101:1--43, mar 1997. [ bib ]

[18]

岡田 光弘. デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準. 哲學, 100:63--86, mar 1996. [ bib ]

[19]

岡田 光弘. 線形論理に基づく並行計算モデル：並行計算の論理的理解の試み. 情報処理, 37(4):327--332, apr 1996. [ bib ]

[20]

岡田 光弘. 線形論理に基づく計算モデルの理論概説. 電子情報通信学会ソサイエティ大会講演論文集, 1996:571--572, sep 1996. [ bib ]

[21]

須藤 路子, 岡田 光弘, 西山 佑司, and 桐谷 滋. 諸状況における終助詞「か」の意味解釈と音響特性. 日本音響学会研究発表会講演論文集, 2:323--324, sep 1995. [ bib ]

[22]

岡田 光弘. Girardの線形論理とその応用. Jsss tutorial lectures notes シリーズ, 日本ソフトウェア科学会, 1993. [ bib ]

[23]

岡田 光弘. 普遍記号学の夢と現実. 哲学, 91:143--161, dec 1990. [ bib ]

[24]

岡田 光弘. フッサール初期の「哲学的---数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学. 哲学, 37:210--221, may 1987. [ bib ]

[25]

岡田 光弘. 論理記号導入規則による論理的意味論について. 科学基礎論研究, 68(2):65--71, jun 1987. [ bib ]

[26]

岡田 光弘. 形式的意味論と整合性証明. 哲学, pages 61--86, nov 1986. [ bib ]

This file was generated by bibtex2html 1.98.

Last Update: 2014-12-27