スポンサーリンク
電気通信大学 情報工学科 | 論文
- ユーザ・レベル・ライブラリのみによる分散共有メモリサーバ構築の試み
- 3ZA-9 ペンを用いた速記型かな入力方式(実世界とペン,一般講演,インタフェース)
- 常微分方程式の精度保証における数式処理について (数値解析における理論・手法・応用)
- 常微分方程式境界値問題の精度保証法の初期値問題への適用(理論)
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 多倍長演算を利用したBessel関数の精度保証付き数値計算(科学技術計算と数値解析(多倍長科学技術計算の基礎と応用), 平成17年研究部会連合発表会)
- Bessel関数の境界条件への適合に関する精度保証付き計算 (微分方程式の数値解法と線形計算)
- 微分方程式の離散化手法と数値計算アルゴリズム(学術会合報告)
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 大石進一, 精度保証付き数値計算, コロナ社, 2000年
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- 対称行列の固有値に対する簡便な精度保証法とその実装 (精度保証付き数値計算法とその周辺)
- Navier-Stokes 方程式の解の数値的検証法について(数値計算アルゴリズムの研究)
- A priori 誤差評価定数の計算機による数値評価について(科学技術における数値計算の理論と応用II)
- 楕円型作用素の固有値問題の精度保証とその応用
- 精度保証つき数値計算の現状と動向
- Stokes方程式の有限要素解に対するa priori 誤差評価(科学技術における数値計算の理論と応用)
- Stokes方程式の有限要素解に対するa posteriori誤差評価(数値計算における品質保証とその応用 : 感度解析から証明まで)