Rchr
J-GLOBAL ID：200901038903211330   Update date: Jan. 31, 2024

Yamamoto Mitsuharu

ヤマモト ミツハル | Yamamoto Mitsuharu
Affiliation and department：
Chiba University

About Chiba University


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 (54)：
ｍ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)：
  • 化学系・生物系の計算モデル
    2009 ISBN:9784320121829
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)：
  • Ph.D (Science) (The University of Tokyo)
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

TOP

BOTTOM