/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2010ホーム /

1E1 基礎・理論「論理・推論」

06月09日(Wed) 09:00~10:20 E会場(3F-会議室5)
座長 岩沼宏治(山梨大学大学院医学工学総合研究部)

発表一覧

題目 1E1-1 矩形を対象とする定性空間推論について
著者 小西 貴子(関西学院大学理工学部情報科学科)
高橋 和子(関西学院大学)
論文 PDFファイル

題目 1E1-2 非古典論理のクリプキ・モデルに基づく列・多重集合・集合への様相演算子の導入とその画像・音楽処理への応用
著者 村井 哲也(北海道大学 大学院情報科学研究科)
宮本 定明(筑波大学大学院システム情報工学研究科リスク工学専攻)
生方 誠希(北海道大学)
工藤 康生(室蘭工業大学)
赤間 世紀(筑波大学客員教授)
論文 PDFファイル

題目 1E1-3 SAT を用いた大腸菌における代謝パスウェイの解析
著者 宋 剛秀(総合研究大学院大学 複合科学研究科情報学専攻)
井上 克巳(国立情報学研究所)
論文 PDFファイル

題目 1E1-4 オイラー図・ヴェン図を用いた図形推論の証明論的分析
著者 峯島 宏次(慶応義塾大学 文学部 哲学科)
岡田 光弘(慶応義塾大学 文学部 哲学科)
佐藤 有理(慶応義塾大学 文学研究科 哲学専攻)
竹村 亮(慶応義塾大学 文学部 哲学科)
論文 PDFファイル