- 開講元
- 情報通信系
- 授業形態
- 講義 (Zoom)
- メディア利用科目
- 曜日・時限(講義室)
- 月5-6(S423) 木5-6(S423)
- クラス
- -
- 科目コード
- ICT.S302
- 単位数
- 2
- 開講年度
- 2020年度
- 開講クォーター
- 1Q
- シラバス更新日
- 2020年9月18日
- 講義資料更新日
- -
- 使用言語
- 日本語
- アクセスランキング
-
media
講義の概要とねらい
現代のデータサイエンスを担う信号処理, 画像処理，パターン認識, 機械学習などの研究課題を見通よく解決するには，関数解析が提供する統一的視座を習得しておくことが大きな助けとなります。本講義では，実数列の収束やベクトル空間の定義の確認からスタートし，距離空間，ノルム空間，内積空間，バナッハ空間，ヒルベルト空間で展開される関数解析の基本的な理論と共に典型的な逆問題への応用例を学びます。
到達目標
講義を通して，以下の能力を習得することを目標としています。
1) 空間の概念，収束の概念, 作用素の概念を理解し，使えるようになる。
2) 現実に現れる多様な逆問題を統一的に捉えることができるようになる。
キーワード
距離空間，完備距離空間，開集合，閉集合，縮小写像の不動点定理，ノルム空間，有界線形作用素，内積空間，中線定理，バナッハ空間，ヒルベルト空間，射影定理，線形多様体への直交射影，正規方程式，一般逆行列，特異値分解，正則化, 逐次近似的画像再構成, L1ノルム最小化, スパースモデリング, 不完全データ
学生が身につける力(ディグリー・ポリシー)
| ✔ 専門力 | 教養力 | コミュニケーション力 | ✔ 展開力(探究力又は設定力) | ✔ 展開力(実践力又は解決力) |
授業の進め方
週に２回の講義を行う。
授業計画・課題
| 授業計画 | 課題 | |
|---|---|---|
| 第1回 | 工学における関数解析の役割 | 工学における関数解析の役割を説明せよ |
| 第2回 | 実数列の極限概念とベクトル空間 | 実数列の収束とベクトル空間の定義を説明せよ。 |
| 第3回 | 距離空間と完備距離空間 | 距離空間と完備距離空間について説明せよ。 |
| 第4回 | 開集合と閉集合 | 開集合と閉集合の定義と基本性質について説明せよ。 |
| 第5回 | 縮小写像の不動点定理と関数方程式への応用 | 縮小写像の不動点定理と関数方程式への応用について説明せよ。 |
| 第6回 | ノルム空間と有界線形作用素 | ノルム空間と有界線形作用素について説明せよ。 |
| 第7回 | 内積空間と中線定理, バナッハ空間とヒルベルト空間 | 内積空間と中線定理, バナッハ空間とヒルベルト空間について説明せよ。 |
| 第8回 | ヒルベルト空間における射影定理 | ヒルベルト空間における射影定理について説明せよ。 |
| 第9回 | 線形多様体への直交射影と正規方程式 | 線形多様体への直交射影と正規方程式の役割について説明せよ。 |
| 第10回 | 一般逆行列、特異値分解と画像処理 | 一般逆行列、特異値分解及び特異値分解を用いた画像処理、画像圧縮について説明せよ。 |
| 第11回 | ノイズと正則化 | ノイズを含む信号と正則化手法の関係を説明せよ。 |
| 第12回 | 逐次近似法による画像再構成 | ARTのような逐次近似的画像再構成手法を説明せよ。 |
| 第13回 | ノルム最小化とスパースモデリング | ノルム最小化とスパースモデリングの関係を説明せよ. |
| 第14回 | 不完全データからの医用画像再構成 | 不完全な観測データからの医用画像を再構成する手法を説明せよ。 |
授業時間外学修（予習・復習等）
学修効果を上げるため，教科書や配布資料等の該当箇所を参照し，「毎授業」授業内容に関する予習と復習（課題含む）をそれぞれ概ね100分を目安に行うこと。
教科書
工学のための関数解析, 山田功 著, 数理工学社(サイエンス社), 2009.
参考書、講義資料等
ルーエンバーガー, 関数解析による最適理論(増渕, 嘉納 訳), コロナ社, 1973.
山田功, 工学と関数解析 - 統一的視座のありがたみ, 数理科学(特集：関数解析的思考法のすすめ -数理科学に表すその姿)
No.646, 2017年4月.
グロエッチェ, 数理科学における逆問題 (金子, 山本, 滝口 訳), サイエンス社, 1996.
成績評価の基準及び方法
2020年度は学習目標の達成度を前半部(関数解析)と後半部(逆問題)の2回のレポート提出に分けて評価する
関連する科目
- LAS.M102 ： 線形代数学第一・演習
- LAS.M101 ： 微分積分学第一・演習
- ICT.S206 ： 信号とシステム解析
- ICT.S210 ： ディジタル信号処理
- ICT.M316 ： 数値解析（情報通信）
- ICT.C201 ： 情報通信概論
- ICT.H504 ： 医用画像処理
- ICT.H421 ： 医用画像診断装置
- ICT.S414 ： 信号処理特論 （情報通信）
履修の条件(知識・技能・履修済科目等)
原則として情報通信系所属学生に限って履修を認める．
