理工学研究科論文検索システム：博士前期課程

• 数理情報科学プログラム    古澤　仁

• 計算機科学

◎令和4年度

• 非線形方程式と常微分方程式に対する数値計算法
• 微分方程式の差分法による数値計算
• ゲーテルの第１不完全性定理と第２不完全性定理について

◎令和3年度

• Baer半群と束
• 半環上の行列について