スポンサーリンク
早稲田大学理工学部情報学科 | 論文
- C. A. R. Hoare : Communicating Sequential Processes(20世紀の名著名論)
- シンガポール国立大学
- 私はCrusoeを使いたい(インタラクティブ・エッセイ)
- ソフトウェア開発のための知識管理・運用に関する一方法論
- 知的CAIにおける図形生成システムの構築について
- 曖昧な文、誤った文を含む文章を会話を通して理解するシステムについて
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- A-21 Affine Arithmeticにおける最良乗算の実現(数値計算,A.アルゴリズム・基礎)
- A-2-24 倍角公式を用いた三角関数の精度保証
- A-2-3 Affine Arithmeticにおける除算の改良について
- A-2-4 ベキ級数演算を用いた常微分方程式の長時間積分
- A-2-3 Affine Arithmeticの除算について
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- 2. 超離散ソリトン方程式 (非線形現象の不思議)
- 7p-YB-6 KdV差分方程式の超差分化
- 非線形差分方程式の保存量(非線形可積分系の応用数理)