2017年度春学期・数値解析特論B

時限:水曜4限(14:45-16:15)
教室:53-104

授業カリキュラム

担当:柳澤 優香
資料1:Introduction to verified computation
資料2:授業ノート, (2017/5/31更新)
  1. (4/12) ガイダンス:精度保証付き数値計算とは (Verified Computations and Interval Arithmetic)
  2. (4/19) 浮動小数点演算と区間演算 (Floating-Point Number and Its Interval Arithmetic)
  3. (4/26) 連立一次方程式の精度保証法 (Verification Theory for System of Linear Equations)
  4. (5/10) 浮動小数点演算の無誤差変換(高精度総和計算, 内積計算)(Error-free transformation (Accurate summation, Accurate dot product))
担当:S.M.Rump
  1. (5/17) 非線形方程式の数値解法とその精度保証 (1) (Verified bounds for the solution of a nonlinear system (1))
  2. (5/24)非線形方程式の数値解法とその精度保証 (2) (Verified bounds for the solution of a nonlinear system (2))
担当:柳澤 優香
  1. (5/31) Q and A, Exercise1 (演習1と質問タイム)
担当:中尾 充宏
資料1:講義資料
資料2:課題
  1. (6/ 7) 無限次元空間と精度保証 (Verified computations for infinite dimensional problems)
  2. (6/14) 常微分方程式の解に対する精度保証 (Basic verification theory for ordinary differential equations)
  3. (6/21) 偏微分方程式と関数空間 (Partial differential equations and function spaces)
  4. (6/28) 楕円型境界値問題とその近似解法 (Numerical solutions for elliptic boundary value problems)
  5. (7/ 5)構成的誤差評価と精度保証の原理 (Constructive error estimates and basic verification principles)
  6. (7/12)非線形楕円型方程式の解に対する精度保証 (1) (Verified computations for nonlinear elliptic problems(1))
  7. (7/19)非線形楕円型方程式の解に対する精度保証 (2) (Verified computations for nonlinear elliptic problems(2)), 演習2
担当:S.M.Rump
  1. (7/26)The origin of interval arithmetic
  2. 戻る