教員情報 - 本浦　庄太 | 追手門学院大学

著書・論文歴

現在の専門分野

社会における活動

委員会・協会等

（最終更新日：2025-05-07 18:08:29）

  モトウラ　ショウタ   Shota Motoura
  本浦　庄太
   所属   追手門学院大学理工学部数理・データサイエンス学科

職種助教

■ 学歴

1.	2007/04～2011/03	慶應義塾大学理工学部数理科学科数学専攻卒業学士（理学）
2.	2011/04～2013/03	京都大学理学研究科数学・数理解析専攻修士課程修了修士（理学）
3.	2013/04～2017/03	京都大学理学研究科数学・数理解析専攻博士課程修了博士（理学）

■ 職歴

1.	2017/04～2025/03	日本電気株式会社研究開発・技術者
2.	2025/04～	追手門学院大学理工学部数理・データサイエンス学科助教

■ 著書・論文歴

1.	論文	A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues （共著・編著（代表編著を除く）） 2025/02/10
2.	論文	A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction （共著・編著（代表編著を除く）） 2023/11
3.	論文	Cooperative Hypothesis Building for Computer Security Incident Response （共著・編著（代表編著を除く）） 2022
4.	論文	On Inverse Operators in Dynamic Epistemic Logic （共著・編著（代表編著を除く）） 2022
5.	論文	A Logic and Computation for Popper’s Conditional Probabilities （単著） 2021
6.	論文	論証対話システムにおける情報探索対話戦略の最適化（共著・編著（代表編著を除く）） 2020/01/01
7.	論文	合理的な論証構築ための情報探索対話戦略の最適化と評価（共著・編著（代表編著を除く）） 2019/03
8.	論文	Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System （共著・編著（代表編著を除く）） 2019/01
9.	論文	Detecticon: A Prototype Inquiry Dialog System (demo paper; selected paper) （共著・編著（代表編著を除く）） 2019
10.	論文	深層強化学習を用いた論証構築のための情報探索対話戦略の最適化（共著・編著（代表編著を除く）） 2018/09
11.	論文	Translating MFM into FOL: Towards Plant Operation Planning （共著・編著（代表編著を除く）） 2018/05
12.	論文	論証構築のための情報探索対話戦略の最適化（共著・編著（代表編著を除く）） 2018/03
13.	論文	A general framework for dynamic epistemic logic: towards canonical correspondences （単著） 2017/04/03
14.	論文	A General Framework for Modal Correspondence in Dynamic Epistemic Logic （単著） 2015
15.	その他	特集：2024年度人工知能学会全国大会（第38回）チュートリアル講演（共著・編著（代表編著を除く）） 2024/11

■ 現在の専門分野

対話システム, 論理学, 論理学　（キーワード：自然言語処理、論理学）

■ 所属学会

1.	2023/01～	言語処理学会
2.	2019/05～	人工知能学会
3.	2019/04～	日本数学会

■ 学会発表

1.	2023/09	A Logical Framework for User Feedback Dialogues on Hypotheses in Weighted Abduction（The 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023)）
2.	2022/01/12	On Inverse Operators in Dynamic Epistemic Logic（Logical Foundations Of Computer Science, LFCS 2022）
3.	2021/09/24	A Logic and Computation for Popper’s Conditional Probabilities（The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021)）
4.	2021/04/23	Cooperative Hypothesis Building For Computer Security Incident Response（5th International Conference on ICT for Intelligent Systems）
5.	2019/09/12	On Logic and Computation of Probabilities of Propositional Formulae（大岡山ロジック夏期集中セミナー）
6.	2019/08/31	On Logic for Conditional Probabilities of Propositional Formulae（第三十回 ALGI（代数，論理，幾何と情報科学研究集会））
7.	2019/03/14	合理的な論証構築ための情報探索対話戦略の最適化と評価（言語処理学会第25回年次大会(NLP2019)）
8.	2019/01/25	動的認識論理のための一般的枠組み –正準対応に向けて–（大岡山ロジックセミナー）
9.	2018/09/05	深層強化学習を用いた論証構築のための情報探索対話戦略の最適化（第36回日本ロボット学会学術講演会）
10.	2018/05/16	Detecticon: A Prototype Inquiry Dialog System (demo paper) Takuya Hiraoka, Shota Motoura and Kunihiko Sadamasa the Ninth International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018)（the Ninth International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018)）
11.	2018/03/14	論証構築のための情報探索対話戦略の最適化（言語処理学会第24回年次大会(NLP2018)）
12.	2016/12/09	A General Framework for Dynamic Epistemic Logic（Prague Workshop on Nonclassical Logics）
13.	2015/12/04	A General Framework for Modal Correspondence in Dynamic Epistemic Logic（認識論理＋様相論理研究会）
14.	2015/10/28	A General Framework for Modal Correspondence in Dynamic Epistemic Logic（5th International Workshop, LORI 2015 Taipei, Taiwan）
15.	2013/09/24	On the semantic meaning of reduction axioms in public announcement logic（SLAGICS 2013: ALGI and SLACS Join Forces）
16.	2013/03/09	On the semantic meaning of reduction axioms in public announcement logic（認識論理とゲーム理論研究会）
17.	2012/11/17	On the semantic meaning of reduction axioms in public announcement logic（The 47th Mathematical Logic Group Meeting）

■ 社会における活動

1.		Review of “A representation result for value-based contraction”
2.		Review of “Pointwise Intersection in Neighbourhood Modal Logic”
3.		Review of “Supercover semantics for deontic action logic”
4.		Review of “Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions” by YANJUN LI

■ 委員会・協会等

1.	2024/10～	人工知能学会 JSAI2025 全国大会大会委員(チュートリアル担当)
2.	2023/09～2024/07	人工知能学会「JSAI2024全国大会」プログラム委員会委員(チュートリアル担当委員)
3.	2018/06～	Mathematical Reviews (MathSciNet) Reviewer (Review Writer)

■ 取得特許

1.		仮説生成装置、仮説生成方法、及びプログラム（特許第6908134号）
2.		情報処理装置、仮説生成方法、プログラム、および記録媒体（特許第7529043号）
3.		情報処理装置、情報処理方法、及びプログラム（特許第7459876号）
4.		推論装置、推論方法、及び、プログラム（特許第7586328号）