K. Miyajima
发表
Yasunari Shidama,
Artur Korniłowicz,
Keiichi Miyajima,
2013
.
M. Ishikawa,
K. Miyajima,
Takayuki Tanabe,
2004
.
M. Ishikawa,
K. Miyajima,
Y. Shiroyama,
2003
.
M. Ishikawa,
K. Miyajima,
T. Zaima,
2003,
SICE 2003 Annual Conference (IEEE Cat. No.03TH8734).
M. Ishikawa,
K. Miyajima,
2002
.
H. Tanabe,
M. Ishikawa,
K. Miyajima,
2003
.
Yasunari Shidama,
Artur Kornilowicz,
Keiichi Miyajima,
2012,
Formaliz. Math..
Keiichi Miyajima,
Takahiro Kato,
K. Miyajima,
2010,
Formaliz. Math..
Yasunari Shidama,
Noboru Endou,
Keiichi Miyajima,
2007
.
M. Ishikawa,
K. Miyajima,
2005,
2005 International Conference on Control and Automation.
Noboru Endou,
Keiichi Miyajima,
N. Endou,
2008
.
Yasunari Shidama,
Noboru Endou,
Keiichi Miyajima,
2007
.
Y. Shidama,
N. Endou,
K. Miyajima,
2007
.
M. Ishikawa,
K. Miyajima,
2005,
2005 International Conference on Control and Automation.
M. Ishikawa,
K. Miyajima,
M. Kihara,
2002,
Proceedings of the 41st SICE Annual Conference. SICE 2002..
K. Miyajima,
Y. Shiroyama,
Masaaki Ishikawa,
2003,
2003 4th International Conference on Control and Automation Proceedings.
Y. Shidama,
K. Miyajima,
2009,
Formalized Mathematics.
Yasunari Shidama,
Artur Kornilowicz,
Keiichi Miyajima,
2012,
Formaliz. Math..
Yasunari Shidama,
Keiichi Miyajima,
Takahiro Kato,
2010,
Formaliz. Math..