Keiichi Miyajima

Publication Activity (10 Years)

Years Active: 1998-2022
Publications (10 Years): 3

Top Topics

Competitive Learning

Web Applications

Top Venues

Formaliz. Math.

Publications

Keiichi Miyajima, Hiroshi Yamazaki
Compactness of Neural Networks. Formaliz. Math. 30 (1) (2022)
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
Functional Space Consisted by Continuous Functions on Topological Space. Formaliz. Math. 29 (1) (2021)
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. Formaliz. Math. 29 (2) (2021)
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
-dimensional Real Normed Space. Formaliz. Math. 20 (1) (2012)
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
Contracting Mapping on Normed Linear Space. Formaliz. Math. 20 (4) (2012)
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
Riemann Integral of Functions from R into Real Normed Space. Formaliz. Math. 19 (1) (2011)
Keiichi Miyajima, Takahiro Kato
The Sum and Product of Finite Sequences of Complex Numbers. Formaliz. Math. 18 (1-4) (2010)
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
Riemann Integral of Functions R into C. Formaliz. Math. 18 (1-4) (2010)
Keiichi Miyajima, Yasunari Shidama
Riemann Integral of Functions from R into Rn. Formaliz. Math. 17 (1-4) (2009)
Hiroaki Kakuhata, Keiichi Miyajima, Masaaki Ishikawa
Simulation Analysis of the Influence of Random Disturbances on Shell Pattern Formations. ICARCV (2006)
Masaaki Ishikawa, Keiichi Miyajima
Analysis of the influence of random disturbances on Turing patterns in growing domains. ICARCV (2004)
Masaaki Ishikawa, Keiichi Miyajima
Stochastic modeling of growth processes of bacteria colony and simulation studies. ICARCV (2002)
Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura
Optimizing fuzzy logic with genetic algorithm. KES (2) (1998)