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

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

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

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

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

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