Rchr
J-GLOBAL ID：201001009170222322   Update date: Oct. 10, 2024

Endou Noboru

エンドウ ノボル | Endou Noboru
Affiliation and department：
Gifu National College of Technology Electronic Control Engineering

About Gifu National College of Technology Electronic Control Engineering


Homepage URL  (1)： http://www.gifu-nct.ac.jp/elcon/endo-n/index.html
Research field  (5)： Applied mathematics and statistics ,  Basic mathematics ,  Control and systems engineering ,  Intelligent informatics ,  Mathematical informatics
Research keywords  (2)： 情報数理 ,  Information Science
Research theme for competitive and other funds  (8)：
  • 2023 - 2028 Expansion of the Reasoning Library of Analysis for Formal Verification
  • 2011 - 2015 Construction of reasoning library for realization of computer verification system
  • 2004 - 2006 プルーフチェッカー(Mizar)を用いた数理工学理論の形式化
  • 形式化数学による数理工学ライブラリの構築
  • ファジィ制御に関する研究
Show all
Papers (82)：
  • Noboru Endou, Yasunari Shidama. Integral of Continuous Three Variable Functions. Formaliz. Math. 2024. 32. 1. 9-31
  • Noboru Endou, Yasunari Shidama. Multidimensional Measure Space and Integration. Formalized Mathematics. 2023
  • Noboru Endou, Yasunari Shidama. Integral of Continuous Functions of Two Variables. Formalized Mathematics. 2023
  • Noboru Endou. Differentiation on Interval. Formaliz. Math. 2023. 31. 1. 9-21
  • Noboru Endou. Absolutely Integrable Functions. Formalized Mathematics. 2022
ｍore...
MISC (14)：
ｍore...
Education (2)：
  • - 2001 Shinshu University
  • - 2001 Shinshu University Graduate School, Division of Engineering
Professional career (2)：
  • Dr. Eng. (Shinshu University)
  • (BLANK) (Shinshu University)
Work history (6)：
  • 2018/04 - 現在 Gifu National College of Technology Electronic Control Engineering
  • 2012/04 - 2018/03 Gifu National College of Technology Electronic Control Engineering
  • 2010/04 - 2012/03 Nagano National College of Technology Electronics and Control Engineering Associate Professor
  • 2007/04 - 2010/03 Gifu National College of Technology Electronic Control Engineering
  • 2003/04 - 2007/03 Gifu National College of Technology Electronic Control Engineering
Show all
Committee career (2)：
  • 2018 - 現在 日本Mizar学会 Mechanized Mathematics and Its Applications, Works in Progress(MMA-WIP) 編集委員
  • 2014/04 - 現在 Formalized Mathematics 編集委員
Association Membership(s) (4)：
Association of Mizar Users ,  THE INSTITUTE OF SYSTEMS, CONTROL AND INFORMATION ENGINEERS ,  日本応用数理学会 ,  Mizar-JAPAN Society
※ 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