2016 年度 応用数理特別講義Ⅱ（大学院）シラバス
担当： 荻田武史
l
講義題目：
精度保証付き数値計算の基礎と応用
l
授業の目標、概要：
精度保証付き数値計算の基礎について十分に習得し、その応用として計算機
援用証明について理解することを目標とする。計算機援用証明は、コンピュー
タを用いて数学的な定理を証明する方法であり、近年のコンピュータ性能の飛
躍的な向上に伴って、その重要性を増してきている。一方、精度保証付き数値
計算は、コンピュータによる計算の信頼性を保証しながら行う数値計算法であ
り、計算機援用証明を支える技術である。本講義では、計算機援用証明に関す
る具体例と精度保証付き数値計算の基本的な考え方や、線形計算を中心に具体
的な方法について学ぶ。
以下のようなスケジュールで実施する予定である。
＜第１回＞ 精度保証付き数値計算と計算機援用証明の概要
＜第２回＞ 丸め誤差解析、エラーフリー変換、高精度計算（実習有）
＜第３回＞ 連立一次方程式に対する精度保証法（実習有）
＜第４回＞ 固有値問題に対する精度保証法（実習有）
注）実習には、MATLAB をインストールしたノート PC を持参すること。
l
成績評価方法（レポート、筆記試験など）：
レポートによる。
以上。

無限変数関数の正則性と解析 授業の目標、概要

講義名：応用数理特別講義Ⅲ 講義題目：確率微分方程式モデルの統計

講義内容をみる

中山幹康 研究室 国際協力学修士ゼミナール I IV

調達内容：『医事課外来業務の委託』

7．講座内容（シラバス） 講座名 商品開発のプロセス，コンピュータによる

MATLAB ソフトウェア使用申請書 平成 年 月 日 スポーツ情報センター長

東日本大震災 共同支援事業 の成果を発信するサイト 子どもの居場所・学習支

MATLAB＆Simulinkセミナーのお知らせ(7/8 千住キャンパス)

PDF形式

第2学年 算数だより 5月号 [PDFファイル／323KB]

PRESS RELEASE (2016/6/27)

大学院科目等履修生出願要項・出願書類（PDF

信愛教育Ⅱ 二平京子 1 全学 通年 (前期) 必修

公衆衛生学概論 松本健治 2 食物 前期 必修

社会福祉概論 御前由美子 2 食物 後期 選択

衣生活論 横山直美 2 生文 前期 必修

住生活論 千森督子 2 生文 前期 必修

音楽の基礎 田原淑子 糟谷京子 1 保育 前期 選択

ピアノⅡ 田原淑子 他 2 保育 通年 (前期) 選択