・“精度保証付き数値計算を用いた常微分方程式方程式の全解探索アルゴリズム”, 電子情報通信学会論文誌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月）

• 基礎ゼミナール
• 数値計算法
• 電気電子数値計算法
• 実践数値計算（CS）
• 電子情報システム工学概論
• 実践数値計算（EECS）
• 電子情報システム工学ゼミナール
• 情報ネットワークシステム特別講義

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