Keiichi Miyajima

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