数値解析特論D (2025年度)

• 原則として対面で講義を行います。 教室は53-104。 ただし、新型コロナウイルスの蔓延状況が大きく変化した場合は この限りではありません。
• レポート課題を随時出す。出された課題のうち任意の3課題を選び、 学期末に提出。 締切は8月8日(金)。 ファイル形式はpdfとします。
• Waseda Moodleの数値解析特論Dのページ は、レポート提出のみに使用します。

4月15日の講義内容

• 講義の進め方の説明
• 数値計算と精度保証付き数値計算
• verifiedby.meと kvライブラリの紹介

4月22日の講義内容

• verifiedby.meと kvライブラリの紹介
• 計算機における数値の表現
• 数値計算の誤差
• 内部表現を見るプログラム bitview_c.c

数値解析特論D (2025年度) /