Yamamoto Mitsuharu

ヤマモトミツハル | Yamamoto Mitsuharu

Affiliation and department：
Job title： Professor

Research field (1)： Information theory

Research theme for competitive and other funds (19)：

2018 - 2023 Formalization of the decidability of the reachability problem for vector addition systems
2016 - 2019 Liveness verification in software model checking
2015 - 2018 Formalization of geometric topology towards 4-dimensional Poincare conjecture
2014 - 2017 Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
2013 - 2016 Modular software verification with a proof assistant

Show all

Papers (55)：

ｍore...

MISC (1)：

Yamamoto Mitsuharu, Takahashi Koichi, Hagiya Masami, Nishizaki Shin-ya, Tamai Tetsuo. On Formal Verification of Graph Search Algorithms and Its Application to Model Checking (Program Transformation, Symbolic Computation and Algebraic Manipulation). RIMS Kokyuroku. 2000. 1125. 129-141

Books (1)：

Lectures and oral presentations (12)：

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

ｍore...

Works (3)：

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

Education (4)：

1996 - 1996 The University of Tokyo Graduate School of Science Doctoral Course, Department of Information Science
1994 - 1996 The University of Tokyo Graduate School of Science Master's Course, Department of Information Science
1992 - 1994 The University of Tokyo Faculty of Science Department of Information Science
1990 - 1992 The University of Tokyo Collage of Arts and Sciences Junior Division

Professional career (1)：

Work history (5)：

2017/06 - 現在 Chiba University Department of Mathematics and Informatics, Graduate School of Science Professor
2017/04 - 2017/05 Chiba University Department of Mathematics and Informatics, Graduate School of Science Associate Professor
2007/04 - 2017/03 Chiba University Department of Mathematics and Informatics, Division of Fundamental Sciences, Graduate School of Science Associate Professor
2003/08 - 2007/03 Chiba University Department of Mathematics and Informatics, Faculty of Science Associate Professor
1996/10 - 2003/07 Chiba University Department of Mathematics and Informatics, Faculty of Science Assistant Professor

Association Membership(s) (4)：

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

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page