題目 | 1D1-01 人工物を倫理レベルから設計するための方法論に関する一考察 |
---|---|
著者 | 関口 海良 (東京大学大学院工学系研究科) 堀 浩一 (東京大学先端科学技術研究センター,東京大学大学院工学系研究科) |
論文 | PDFファイル |
題目 | 1D1-02 分散制約最適化問題における探索コストと解品質に関する一検討 |
---|---|
著者 | 松井 俊浩 (名古屋工業大学) 松尾 啓志 (名古屋工業大学) |
論文 | PDFファイル |
題目 | 1D1-03 数式処理・quantifier eliminationを用いたハイブリッドシステムのZeno状態の導出手法 |
---|---|
著者 | 大野 善之 (早稲田大学 理工学研究科) 石井 大輔 (早稲田大学 理工学研究科) 上田 和紀 (早稲田大学 理工学術院) |
論文 | PDFファイル |
題目 | 1D1-04 ナビゲーションシステムにおける熟考性と即応性を兼ね備えたルート探索手法 |
---|---|
著者 | 安場 直史 (大阪大学大学院情報科学研究科情報数理学専攻) 長岡 諒 (大阪大学産業科学研究所) 矢野 純史 (住友電気工業株式会社情報通信研究所) 香川 浩司 (住友電気工業株式会社情報通信研究所) 森田 哲郎 (住友電気工業株式会社情報通信研究所) 沼尾 正行 (大阪大学産業科学研究所) 栗原 聡 (大阪大学産業科学研究所) |
論文 | PDFファイル |