研究者

J-GLOBAL ID：200901038903211330 更新日: 2024年09月11日

山本光晴

ヤマモトミツハル | Yamamoto Mitsuharu

所属機関・部署：
職名：教授

研究分野 (1件)：情報学基礎論

競争的資金等の研究課題 (19件)：

2018 - 2023 ベクトル加算系における到達可能性問題の決定可能性の形式化
2016 - 2019 ソフトウェアモデル検査における活性検証
2015 - 2018 4次元ポアンカレ予想を含む幾何的トポロジーの形式化
2014 - 2017 実行時検証とモデル検査の融合によるネットワークソフトウェアの統合実行監視
2013 - 2016 定理証明器によるモジュラーなソフトウェア検証

全件表示

論文 (55件)：

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Software Testing, Verification and Reliability. 2020. 30. 7-8
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based API Testing of Apache ZooKeeper. 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST). 2017. 288-298
Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto. Formalization of Karp-Miller Tree Construction on Petri Nets. PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17. 2017. 66-78
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho. Automated Dataset Construction from Web Resources with Tool Kayur. 2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR). 2016. 7. 2. 98-104
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe. Java Pathfinder on Android Devices. ACM SIGSOFT Software Engineering Notes. 2016. 41. 6. 1-5

もっと見る

MISC (1件)：

山本光晴, 高橋孝一, 萩谷昌己, 西崎真也, 玉井哲雄. グラフ探索アルゴリズムの形式的検証とモデル検査への応用について (プログラム変換と記号・数式処理). 数理解析研究所講究録. 2000. 1125. 129-141

書籍 (1件)：

化学系・生物系の計算モデル
共立出版 2009 ISBN:9784320121829

講演・口頭発表等 (12件)：

VASSからVASへの変換の形式化
(第19回定理証明及び定理証明系ミーティング(TPP2023) 2023)
VASSからVASへの変換のMathCompによる形式化
(日本ソフトウェア科学会第40回大会 2023)
ペトリネットにおける停止性判定の形式化
(第15回定理証明及び定理証明系ミーティング(TPP2019) 2019)
ペトリネットにおける有界性に関する性質のCoq/SSReflectによる形式化
(第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019) ポスターセッション 2019)
ニューラルネットワークにおける表現可能なデータ数のSSReflectによる形式化
(第21回プログラミングおよびプログラミング言語ワークショップ(PPL2019) ポスターセッション 2019)

もっと見る

Works (3件)：

Emacs Mac port (distributed as a separate patch set based on GNU Emacs 23-29)
山本光晴 2009 - 現在
Emacs Carbon+AppKit port (distributed as a separate patch set based on GNU Emacs 22.3)
山本光晴 2008 -
Emacs Carbon port (included in the standard distribution of GNU Emacs 22)
Free Software Foundation, Inc 2007 -

学歴 (4件)：

1996 - 1996 東京大学大学院理学系研究科情報科学専攻博士課程(中退)
1994 - 1996 東京大学大学院理学系研究科情報科学専攻修士課程
1992 - 1994 東京大学理学部情報科学科
1990 - 1992 東京大学教養学部理科I類

学位 (1件)：

博士(理学) (東京大学)

経歴 (5件)：

2017/06 - 現在千葉大学大学院理学研究院数学・情報数理学研究部門教授
2017/04 - 2017/05 千葉大学大学院理学研究院数学・情報数理学研究部門准教授
2007/04 - 2017/03 千葉大学大学院理学研究科基盤理学専攻数学・情報数理学コース准教授
2003/08 - 2007/03 千葉大学理学部数学・情報数理学科助教授
1996/10 - 2003/07 千葉大学理学部数学・情報数理学科助手

所属学会 (4件)：

日本応用数理学会 , 情報処理学会 , 日本数学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM