・“精度保証付き数値計算を用いた常微分方程式方程式の全解探索アルゴリズム”, 電子情報通信学会論文誌A, Vol.J86-A, No.6, 2003
・精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法”, 電子情報通信学会論文誌A, Vol.J82-A, No.1, pp.11-20, 1999.1
・“A Method of Provingthe Existence of Simple Turning Points of Two-Point Boundary Value Problems Based on the Numerical Computation with Guaranteed Accuracy,” IEICE　Trans.Fundamentals, Vol.E81-A, No.9, pp.1892-1897, 1998.9
・“A Numerical Methodof Proving Existence of Solutions for Nonlinear Ordinary Differential Equations Using IntervalNewton Method,” Proc. 1998 International Symposium on Nonlinear Theory and its Applications(NOLTA'98 Symposium), 3, pp.987-990, 1998.9
・“Numerical validation for nonlinear boundary values problems using piecewise smooth function,” Proc. 1997 International Symposium on Nonlinear Theory and its Applications (NOLTA'97 Symposium), Vol.1, pp.361-364, 1997.11

電子情報通信学会学術奨励賞（平成9年3月）

• 基礎ゼミナール
• 情報科学概論1
• 実践数値計算（CS）
• 電子情報システム工学実験・演習
• 電子情報システム工学概論
• 実践数値計算（EECS）
• 情報システム実験Ⅰ
• 電気通信システム実験Ⅰ
• 電子情報システム特別講義Ⅱ
• 情報システム実験Ⅱ
• 電気通信システム実験Ⅱ
• 電気通信システム応用実験
• 電子情報システム工学ゼミナール
• インターンシップ（EECS）1
• インターンシップ（EECS）2
• 電子情報システム工学特別研究1
• 電子情報システム工学特別研究2
• 情報ネットワークシステム特別講義

• 組織再編前旧課程の同時開講科目等が含まれており、掲載されている全ての科目を開講するわけではありません。