MIYAJIMA Keiichi

ミヤジマケイイチ | MIYAJIMA Keiichi

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://fm.ee.ibaraki.ac.jp/

Research field (4)： Information theory , Mathematical informatics , Applied mathematics and statistics , Basic mathematics

Research keywords (1)： Formalized Mathematics

Papers (19)：

Keiichi Miyajima and Hiroshi Yamazaki. Compactness of Neural Networks. Formalized Mathematics. 2022. 30. 1. 13-21
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama. Ascoli-Arzela Theorem. Formalized Mathematics. 2021. 29. 2. 87-94
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama. Functional Space Consisted by Continuous Functions on Topological Space. Formalized Mathematics. 2021. 29. 1. 49-62
Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama. Riemann integral of functions from R into n-dimensional real normed space. Formalized Mathematics. 2012. 20. 1. 79-86
Keiichi Miyajima, Artur Korniłowicz, Yasunari Shidama. Contracting mapping on normed linear space. Formalized Mathematics. 2012. 20. 4. 291-301

ｍore...

Lectures and oral presentations (10)：

Contracting Mapping and Ordinary Differential Equation Theories
(日本Mizar学会2012年度秋季総会 2012)
ノルム線形空間上の縮小写像の形式化
(日本Mizar学会2011年度秋季総会 2011)
実数からn次元実ノルム空間への関数に関するリーマン積分と微分の形式化
(日本Mizar学会2010年度夏季総会 2010)
実数から複素数への関数に関するリーマン積分の形式化
(日本Mizar学会2009年度秋季総会 2009)
為替レートの統計的解析
(電子情報通信学会2009年基礎・境界ソサエティ大会 2009)

ｍore...

Education (1)：

1996 - 1999 Shinshu University Graduate School, Division of Engineering システム開発工学

Professional career (1)：

Work history (3)：

2011/04 - Associate Professor, Department of Electrical and Electronic Engineering, Faculty of Engineering, Ibaraki university
2006/04 - 2011/03 Lecturer, Faculty of Engineering, Ibaraki University.
1999/04 - 2006/03 山口大学工学部知能情報システム工学科助手

Association Membership(s) (4)：

Association of Mizar Users , Mizar Japan , 日本シミュレーション学会 , 電子情報通信学会

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

Return to Previous Page