@inproceedings{jcss2011,
author = {佐藤 有理 and 峯島 宏次 and 竹村 亮 and 岡田 光弘},
booktitle = {日本認知科学会第28回大会論文集},
date-added = {2014-12-25 06:52:25 +0000},
date-modified = {2014-12-27 03:38:49 +0000},
pages = {269-274},
title = {図形を用いた演繹的推論の認知プロセス},
year = {2011}
}
@inproceedings{Jsai2010,
author = {峯島 宏次 and 岡田 光弘 and 佐藤 有理 and 竹村 亮},
booktitle = {第24回人工知能学会全国大会論文集},
date-added = {2014-12-25 06:50:53 +0000},
date-modified = {2014-12-27 03:38:04 +0000},
number = {1E1-4},
pages = {pp.1-4},
title = {オイラー図・ヴェン図を用いた図形推論の証明論的分析},
year = {2010}
}
@article{Oka02c,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:54 +0000},
date-modified = {2014-12-25 06:43:54 +0000},
journal = {人工知能学会誌},
month = {jul},
number = {4},
pages = {434--442},
title = {現代のフォーマルオントロジーの動向とオントロジー工学},
volume = {17},
year = {2002}
}
@article{Oka02d,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:54 +0000},
date-modified = {2014-12-25 06:43:54 +0000},
journal = {人工知能学会誌},
month = {sep},
number = {5},
pages = {604--613},
title = {オントロジー応用のための方法論の考察と展望},
volume = {17},
year = {2002}
}
@article{Oka03,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:54 +0000},
date-modified = {2014-12-25 06:43:54 +0000},
journal = {藝文研究},
title = {歪んだ真珠(バロック) --音楽における規則性vs反規則性、または ロゴスvsパトス--},
volume = {9},
year = {2003}
}
@article{Oka03a,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:54 +0000},
date-modified = {2014-12-25 06:43:54 +0000},
journal = {科学哲学},
month = {dec},
number = {2},
pages = {79--102},
title = {矛盾は矛盾か},
volume = {36},
year = {2003}
}
@article{Oka90,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {哲学},
month = {dec},
pages = {143--161},
title = {普遍記号学の夢と現実},
volume = {91},
year = {1990}
}
@techreport{Oka93,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
institution = {日本ソフトウェア科学会},
title = {Girardの線形論理とその応用},
type = {JSSS Tutorial Lectures Notes シリーズ},
year = {1993}
}
@article{SudOkaNis95,
author = {須藤 路子 and 岡田 光弘 and 西山 佑司 and 桐谷 滋},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {日本音響学会研究発表会講演論文集},
month = {sep},
pages = {323--324},
title = {諸状況における終助詞「か」の意味解釈と音響特性},
volume = {2},
year = {1995}
}
@article{Oka96a,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {哲學},
month = {mar},
pages = {63--86},
title = {デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準},
volume = {100},
year = {1996}
}
@article{Oka96b,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {情報処理},
month = {apr},
number = {4},
pages = {327--332},
title = {線形論理に基づく並行計算モデル：並行計算の論理的理解の試み},
volume = {37},
year = {1996}
}
@article{Oka96c,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {電子情報通信学会ソサイエティ大会講演論文集},
month = {sep},
pages = {571--572},
title = {線形論理に基づく計算モデルの理論概説},
volume = {1996},
year = {1996}
}
@article{Oka97,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {哲學},
month = {mar},
pages = {1--43},
title = {フッサールの形式論理学分析における「多様体」概念の役割},
volume = {101},
year = {1997}
}
@article{SudOkaNis98,
author = {須藤 路子 and 岡田 光弘 and 西山 佑司},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {順天堂大学スポーツ健康科学研究},
month = {mar},
pages = {12--16},
title = {日本語の文末表現における意味解釈と音響特性},
volume = {2},
year = {1998}
}
@article{Oka99,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {哲學},
month = {dec},
pages = {77-83},
title = {<書評>ウィトゲンシュタイン : 言語の限界 飯田隆著,講談社 1997年},
volume = {104},
year = {1999}
}
@incollection{Oka00,
author = {岡田 光弘},
booktitle = {法律人工知能},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
editor = {吉野一},
month = {feb},
pages = {169--181},
publisher = {創成社出版},
title = {法律知識の論理による表現},
year = {2000}
}
@article{MizOka02,
author = {溝口 理一郎 and 岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {人工知能学会誌},
month = {mar},
number = {2},
pages = {222--223},
title = {レクチャーシリーズ「哲学と{AI}における対象世界モデリング」の企画にあたって},
volume = {17},
year = {2002}
}
@article{Oka02a,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {人工知能学会誌},
month = {mar},
number = {2},
pages = {224--231},
title = {オントロジーの哲学的・論理学的背景},
volume = {17},
year = {2002}
}
@article{Oka02b,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {人工知能学会誌},
month = {may},
number = {3},
pages = {335--344},
title = {フッサールのフォーマルオントロジーとその影響},
volume = {17},
year = {2002}
}
@article{OkaHas02,
author = {岡田 光弘 and 長谷部 浩二},
date-added = {2014-12-25 06:43:42 +0000},
date-modified = {2014-12-25 06:43:42 +0000},
journal = {電子情報通信学会「人工知能と知識処理」技術研究報告},
month = {may},
number = {91},
pages = {49--54},
title = {線形論理に基づいたセキュリティ・プロトコルの論理的検証法},
volume = {102},
year = {2002}
}
@article{Oka86,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:22 +0000},
date-modified = {2014-12-25 06:43:22 +0000},
journal = {哲学},
month = {nov},
pages = {61--86},
title = {形式的意味論と整合性証明},
year = {1986}
}
@article{Oka87b,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:22 +0000},
date-modified = {2014-12-25 06:43:22 +0000},
journal = {哲学},
month = {may},
pages = {210--221},
title = {フッサール初期の「哲学的---数学的諸研究の終結テーマ」とゲッチンゲン学派の論理哲学},
volume = {37},
year = {1987}
}
@article{Oka87a,
author = {岡田 光弘},
date-added = {2014-12-25 06:43:22 +0000},
date-modified = {2014-12-25 06:43:22 +0000},
journal = {科学基礎論研究},
month = {jun},
number = {2},
pages = {65--71},
title = {論理記号導入規則による論理的意味論について},
volume = {68},
year = {1987}
}
@article{HasOka07,
author = {長谷部 浩二 and 岡田 光弘},
journal = {応用数理},
month = {12},
number = {4},
pages = {311--322},
title = {{BAN}論理からProtocol Composition Logicへ：セキュリティプロトコルの論理的検証法},
volume = {17},
year = {2007}
}
@article{Oka07,
author = {岡田 光弘},
journal = {現代思想},
month = {feb},
number = {3},
pages = {149--163},
title = {フッサール、ゲーデルから線形論理へ},
volume = {35},
year = {2007}
}
@incollection{Oka05,
author = {岡田 光弘},
booktitle = {幸福の逆説},
editor = {巽 孝之 and 坂上 貴之 and 宮坂 敬造 and 岡田 光弘 and 坂本 光},
month = {4},
publisher = {慶應義塾大学出版会},
title = {ああ言えば幸福},
year = {2005}
}
This file was generated by bibtex2html 1.98.
Last Update: 2014-12-27