Optimizing fuzzy logic with genetic algorithm. - Akihiko Uchibori; Keiichi Miyajima; Yasunari Shidama; Hiroo Yamaura (KES (2), 1998)

Stochastic modeling of growth processes of bacteria colony and simulation studies. - Masaaki Ishikawa; Keiichi Miyajima (ICARCV, 2002)

Analysis of the influence of random disturbances on Turing patterns in growing domains. - Masaaki Ishikawa; Keiichi Miyajima (ICARCV, 2004)

Simulation Analysis of the Influence of Random Disturbances on Shell Pattern Formations. - Hiroaki Kakuhata; Keiichi Miyajima; Masaaki Ishikawa (ICARCV, 2006)

Riemann Integral of Functions from R into Rn. - Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2009)

The Sum and Product of Finite Sequences of Complex Numbers. - Keiichi Miyajima; Takahiro Kato (Formaliz. Math., 2010)

Riemann Integral of Functions R into C. - Keiichi Miyajima; Takahiro Kato; Yasunari Shidama (Formaliz. Math., 2010)

Riemann Integral of Functions from R into Real Normed Space. - Keiichi Miyajima; Takahiro Kato; Yasunari Shidama (Formaliz. Math., 2011)

Riemann Integral of Functions from R into n-dimensional Real Normed Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Contracting Mapping on Normed Linear Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Functional Space Consisted by Continuous Functions on Topological Space. - Hiroshi Yamazaki; Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2021)

Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. - Hiroshi Yamazaki; Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2021)

Compactness of Neural Networks. - Keiichi Miyajima; Hiroshi Yamazaki (Formaliz. Math., 2022)

Ascoli-Arzelà Theorem (Metric Space Version). - Keiichi Miyajima; Hiroshi Yamazaki (Formaliz. Math., 2024)