Meisei University · Faculty of Informatics · 准教授

Research keywordsVerified Numerical Computation・倍精度・四倍精度・応用・情報学・演算法・精度保証付き数値計算・計算機科学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Fast Verified Automatic Integration Algorithm using Double Exponential Formula
• A Parallel Algorithm for Accurate Dot Product
• Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives
• Hyper-dual numbersを用いたOgden型超弾性モデルの定式化とその性能評価

• 「経験を表出するための対話」を誘発する状況論的プログラミング学習環境の開発
• 特殊関数における高可搬で高精度かつ高信頼な高速計算手法の複素変数への拡張
• コンピュータとの対話で学びを深める状況論的プログラミング学習環境システムの開発
• コンピュータとの対話を誘発する状況論的プログラミング学習教材作成支援システム開発

• Official profile