本浦庄太 (Shota Motoura) - マイポータル

基本情報

所属: 追手門学院大学理工学部数理・データサイエンス学科助教

学位: 博士（理学）(京都大学)

J-GLOBAL ID: 201601013528023590
researchmap会員ID: B000266079

研究キーワード

研究分野

経歴

2025年4月 - 現在

追手門学院大学, 理工学部数理・データサイエンス学科
2017年4月 - 2025年3月

NEC, リサーチャー

学歴

2013年4月 - 2017年3月

京都大学, 数学・数理解析専攻数理解析系, 博士後期課程
2011年4月 - 2013年3月

京都大学, 数学・数理解析専攻数理解析系, 修士課程
2007年4月 - 2011年3月

慶応大学, 理工学部数理科学科数学専攻, 学部

委員歴

2018年6月 - 現在

Mathematical Reviews (MathSciNet), Reviewer (Review Writer)
2024年10月 - 2025年7月

人工知能学会, JSAI2025 全国大会大会委員(チュートリアル担当)
2023年9月 - 2024年7月

人工知能学会, 「JSAI2024全国大会」プログラム委員会委員(チュートリアル担当委員)

論文

A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues

Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa

International Journal of Approximate Reasoning 2025年4月査読有り招待有り筆頭著者責任著者
特集：2024年度人工知能学会全国大会（第38回）チュートリアル講演

西田光甫, 本浦庄太

人工知能 39(6) 848-849 2024年11月
A Logical Framework for User-Feedback Dialogues on Hypotheses in Weighted Abduction

Shota Motoura, Ayako Hoshino, Itaru Hosomi, Kunihiko Sadamasa

2023年11月査読有り筆頭著者責任著者
On Inverse Operators in Dynamic Epistemic Logic

Shota Motoura, Shin-ya Katsumata

Proceedings of Logical Foundations of Computer Science. LFCS 2022. 217-235 2022年査読有り筆頭著者責任著者
Cooperative Hypothesis Building for Computer Security Incident Response

Shota Motoura, Ayako Hoshino, Itaru Hosomi

ICT with Intelligent Applications; Proceedings of ICTIS 2021 489-497 2022年査読有り筆頭著者責任著者
A Logic and Computation for Popper’s Conditional Probabilities

Shota Motoura

Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2021. 657-671 2021年査読有り筆頭著者最終著者責任著者
論証対話システムにおける情報探索対話戦略の最適化

勝見久央, 吉野幸一郎, 平岡拓也, 秋元康佑, 山本風人, 本浦庄太, 定政邦彦, 中村哲

人工知能学会論文誌 35(1) DSI-D_1 2020年1月1日査読有り
合理的な論証構築ための情報探索対話戦略の最適化と評価

勝見久央, 吉野幸一郎, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 中村哲

言語処理学会第25回年次大会(NLP2019) 発表論文集 2019年3月
98

Detecticon: A Prototype Inquiry Dialog System (demo paper; selected paper)

Takuya Hiraoka, Shota Motoura, Kunihiko Sadamasa

The proceedings of 9th International Workshop on Spoken Dialogue System Technology 381-387 2019年査読有り責任著者
Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System

Hisao Katsumi, Takuya Hiraoka, Koichiro Yoshino, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa, Satoshi Nakamura

DEEP-DIAL 2019, a workshop at Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19) abs/1811.10728 2019年1月査読有り
深層強化学習を用いた論証構築のための情報探索対話戦略の最適化

勝見久央平岡拓也本浦庄太山本風人定政邦彦吉野幸一郎中村哲

第36回日本ロボット学会学術講演会予稿集 2018年9月
Translating MFM into FOL: Towards Plant Operation Planning

Proceedings of Third International Workshop on Functional Modeling for Design and Operation and Engineering Systems (24-25 May, 2018) abs/1806.07037 47-50 2018年5月査読有り筆頭著者責任著者
論証構築のための情報探索対話戦略の最適化

勝見久央, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 吉野幸一郎, 中村哲

言語処理学会第24回年次大会(NLP2018) 2018年3月
A general framework for dynamic epistemic logic: towards canonical correspondences

Shota Motoura

Journal of Applied Non-Classical Logics 27(1-2) 50-89 2017年4月3日査読有り筆頭著者最終著者責任著者
A General Framework for Modal Correspondence in Dynamic Epistemic Logic

Shota Motoura

LOGIC, RATIONALITY, AND INTERACTION (LORI 2015) 9394 282-294 2015年査読有り筆頭著者最終著者責任著者

講演・口頭発表等

8

動的認識論理の一般的枠組みと逆行為演算子

本浦庄太

日本数学会２０２６年度年会（分科会特別講演） 2026年3月24日招待有り
On Inverse Operators in Dynamic Epistemic Logic

本浦庄太, 勝股審也

Logical Foundations Of Computer Science, LFCS 2022 2022年1月12日
A Logic and Computation for Popper’s Conditional Probabilities

本浦庄太

The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021) 2021年9月24日
Cooperative Hypothesis Building For Computer Security Incident Response

本浦庄太, 星野綾子, 細見格

5th International Conference on ICT for Intelligent Systems 2021年4月23日
On Logic and Computation of Probabilities of Propositional Formulae

本浦庄太

大岡山ロジック夏期集中セミナー 2019年9月12日
On Logic for Conditional Probabilities of Propositional Formulae

本浦庄太

第三十回 ALGI（代数，論理，幾何と情報科学研究集会） 2019年8月31日
合理的な論証構築ための情報探索対話戦略の最適化と評価

勝見久央, 吉野幸一郎, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 中村哲

言語処理学会第25回年次大会(NLP2019) 2019年3月14日言語処理学会
444

動的認識論理のための一般的枠組み –正準対応に向けて–

本浦庄太

大岡山ロジックセミナー 2019年1月25日鹿島亮
132

深層強化学習を用いた論証構築のための情報探索対話戦略の最適化

勝見久央, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 吉野幸一郎, 中村哲

第36回日本ロボット学会学術講演会 2018年9月5日日本ロボット学会
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) 2018年5月16日
論証構築のための情報探索対話戦略の最適化

勝見久央, 平岡拓也, 本浦庄太, 山本風人, 定政邦彦, 吉野幸一郎, 中村哲

言語処理学会第24回年次大会(NLP2018) 2018年3月14日言語処理学会
A General Framework for Dynamic Epistemic Logic

本浦庄太

Prague Workshop on Nonclassical Logics 2016年12月9日招待有り
A General Framework for Modal Correspondence in Dynamic Epistemic Logic

本浦庄太

認識論理＋様相論理研究会 2015年12月4日招待有り
A General Framework for Modal Correspondence in Dynamic Epistemic Logic

本浦庄太

5th International Workshop, LORI 2015 Taipei, Taiwan 2015年10月28日
On the semantic meaning of reduction axioms in public announcement logic

本浦庄太

SLAGICS 2013: ALGI and SLACS Join Forces 2013年9月24日
On the semantic meaning of reduction axioms in public announcement logic

本浦庄太

認識論理とゲーム理論研究会 2013年3月9日招待有り
On the semantic meaning of reduction axioms in public announcement logic

本浦庄太

The 47th Mathematical Logic Group Meeting 2012年11月17日

所属学協会

社会貢献活動

Review of Pointwise Intersection in Neighbourhood Modal Logic

その他

その他】アメリカ数学会 Mathematical Reviews
Review of Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions by YANJUN LI

その他

アメリカ数学会 Mathematical Reviews

その他

MITx on edX, Micromasters in Statistics and Data Science

2019年6月 - 2020年12月
東京大学のオンライン講座「インタラクティブ・ティーチング」修了

2019年5月 - 2019年5月

東京大学大学総合教育センターのオンライン講座「インタラクティブ・ティーチング」を修了（2019年05月24日）
スタンフォード大学のオンライン講座「Machine Learning」を修了

2019年4月 - 2019年4月

スタンフォード大学のオンライン講座「Machine Learning」を修了（2019年4月18日）https://www.coursera.org/account/accomplishments/certificate/LCVN44UB67DG
University of Amsterdam, Institute for Logic, Language and Computation, Visiting Researcher

2015年2月 - 2015年3月
TOEIC 895
6.86x: Machine Learning with Python-From Linear Models to Deep Learning

MITx, an online learning initiative of the Massachusetts Institute of Technology. https://courses.edx.org/certificates/8e8c33ce64b545e9816f801a1ccde094

本浦庄太

基本情報

研究キーワード

研究分野

経歴

学歴

委員歴

論文

講演・口頭発表等

所属学協会

社会貢献活動

その他

メニュー

共著者の一覧