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

1E3 「論理と推論」

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2015 このエントリーをはてなブックマークに追加

05月30日(Sat) 13:20~15:00 E会場(5F北-中講義室 (593))
座長 沼尾 正行(大阪大学産業科学研究所)

発表一覧

時間 13:20~13:40
題目 1E3-1in データ欠損のある場合の観察による因果帰納推論
著者 田中 洸樹(東京電機大学 理工学部)
並木 尚也(東京電機大学 大学院 理工学研究科 情報学専攻)
大用 庫智(関西学院大学 総合政策学部)
高橋 達二(東京電機大学 理工学部)
論文 PDFファイル

時間 13:40~14:00
題目 1E3-2in 不確実性を許容する人間の三値論理における真理値表
著者 並木 尚也(東京電機大学 大学院 理工学研究科 情報学専攻)
田中 洸樹(東京電機大学 理工学部)
大用 庫智(関西学院大学 総合政策学部)
高橋 達二(東京電機大学 理工学部)
論文 PDFファイル

時間 14:00~14:20
題目 1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
著者 和田 努(早稲田大学大学院基幹理工学研究科情報理工・情報通信専攻)
松本 翔太(早稲田大学大学院基幹理工学研究科情報理工学専攻)
上田 和紀(早稲田大学理工学術院)
論文 PDFファイル

時間 14:20~14:40
題目 1E3-4 議論構造の変化の形式的表現
著者 横浜 静夏(関西学院大学大学院理工学研究科情報科学専攻)
高橋 和子(関西学院大学)
論文 PDFファイル

時間 14:40~15:00
題目 1E3-5 Fake Past and Awareness
著者 西口 純代(School of Management, Tokyo University of Science)
論文 PDFファイル