シラバス参照
|
シラバス参照
|
| 講義概要/Course Information |
| 科目基礎情報/General Information |
| 授業科目名 /Course title (Japanese) |
応用解析基礎論 | ||
|---|---|---|---|
| 英文授業科目名 /Course title (English) |
Fundamentals of Applied Analysis | ||
| 科目番号 /Code |
|||
| 開講年度 /Academic year |
2020年度 | 開講年次 /Year offered |
全学年 |
| 開講学期 /Semester(s) offered |
前学期 | 開講コース・課程 /Faculty offering the course |
博士前期課程 |
| 授業の方法 /Teaching method |
講義 | 単位数 /Credits |
2 |
| 科目区分 /Category |
大学院専門教育科目 - 専門科目Ⅰ | ||
| 開講学科・専攻 /Cluster/Department |
情報・ネットワーク工学専攻 | ||
| 担当教員名 /Lecturer(s) |
山本 野人 | ||
| 居室 /Office |
西４号館６０６号室 | ||
| 公開E-Mail |
yamamoto@im.uec.ac.jp | ||
| 授業関連Webページ /Course website |
なし | ||
| 更新日 /Last updated |
2020/03/20 17:43:27 | 更新状況 /Update status |
公開中 /now open to public |
| 講義情報/Course Description |
| 主題および 達成目標 /Topic and goals |
This lecture provides basic knowledge for verified numerics, one of topics on the frontiers of numerical computation. Especially verified numerical methods for ODEs will be treated. These method provides the proofs of existence of solutions and the domains which include the true solutions near around approximate solutions. 主題：精度保証付き数値計算：特に微分方程式の精度保証について、その原理・基本技術およびODEへの適用にわたる解説を行う 達成目標：精度保証付き数値計算の基礎を理解すること |
|---|---|
| 前もって履修 しておくべき科目 /Prerequisites |
なし |
| 前もって履修しておくこ とが望ましい科目 /Recommended prerequisites and preparation |
科目としては指定しないが、微分方程式の数値計算についての知識があることが望ましい。 |
| 教科書等 /Course textbooks and materials |
「精度保証付き数値計算」中尾充弘・山本野人著 日本評論社（１９９８） |
| 授業内容と その進め方 /Course outline and weekly schedule |
第1回 精度保証付き数値計算とは 第2回 有限次元の問題と区間演算、および丸め誤差の扱い 第3回 無限次元精度保証付き数値計算の簡単な例 第4回 同上（続き） 第5回 ～第15回 常微分方程式の解に対する精度保証 |
| 実務経験を活かした 授業内容 (実務経験内容も含む) /Course content utilizing practical experience |
|
| 授業時間外の学習 （予習・復習等） /Preparation and review outside class |
難しい数学を使うので、講義の後にノートをにらんで考え込む時間を作ること |
| 成績評価方法 および評価基準 （最低達成基準を含む） /Evaluation and grading |
出席と簡単なレポートで評価します。 |
| オフィスアワー： 授業相談 /Office hours |
特に設けません。 |
| 学生へのメッセージ /Message for students |
精度保証付き数値計算論のうち、古典的中尾理論と呼ばれるものの講義をします。数学的にはかなり高度なものになる予定。そのかわり単位は取りやすいです。 |
| その他 /Others |
なし |
| キーワード /Keyword(s) |
精度保証、中尾理論、微分方程式 |