宮島啓一

ミヤジマケイイチ | MIYAJIMA Keiichi

所属機関・部署：
職名：准教授
ホームページURL (1件)： http://fm.ee.ibaraki.ac.jp/

研究分野 (4件)：情報学基礎論 , 数理情報学 , 応用数学、統計数学 , 数学基礎

研究キーワード (1件)：形式化数学

論文 (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

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

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

学歴 (1件)：

学位 (1件)：

経歴 (3件)：

所属学会 (4件)：

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

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

宮島 啓一