カテゴリ:大学院集中講義
集中講義 情報数学特論I
科目番号 0AJAD01(数学学位プログラム(博士前期課程))
科目名 情報数学特論I (1単位)
講師 中山 優吾 氏 (京都大学 大学院情報学研究科)
日時 2022年11月14~16日 (14日は13時から、15日と16日は10時から予定)
場所 自然系学系棟 D509
概要 この集中講義では、現代のデータ解析で欠かすことのできない機械学習の手法について、特に、高次元データに対する漸近的性質を学習する。科学と情報化の進展に伴い、多くの特徴量を観測することが可能となった。これに伴い、データの形態はますます複雑化し、データの高次元化が進んでいる。機械学習はこのような高次元データの解析手法として有用であることが知られ、盛んに研究されている。しかし、標本数が特徴量数より大きいという前提が崩れる場合には、従来の手法の見直しが必要となる。そこで、機械学習の基礎理論と高次元統計解析の方法論について学ぶことで、高次元データ解析のための機械学習を学習する。
TWINS履修申請期間 2022年9月6日(火)~11月14日(月)
世話人 矢田 和善
集中講義 幾何学特論Ⅰ
科目番号 0AJAB01 (数学学位プログラム(博士前期課程))
科目名 幾何学特論Ⅰ (1単位)
講師 納谷 信 教授 (名古屋大学多元数理科学研究科)
題目 ラプラシアン固有値最大化と部分多様体
期間 2022年9月26日(月) 13:00 ~28日(水)
場所 自然系学系棟 D814 (対面実施) D509 に変更します
概要 この集中講義の主題は、「ラプラシアンの固有値を最大化する計量はユークリッド空間へのよい等長埋め込みをもつ」という命題である。 コンパクト多様体において、面積1のリーマン計量をすべて動かしてラプラシアンの第1固有値を最大化する問題(問題A)、およびリーマン計量と体積要素の対(滑らかな測度距離構造)に対する類似の問題(問題B)を考える。問題Aについて、これまでに知られている結果を概観し、とくに、閉曲面上の最大化計量が球面内の極小曲面の誘導計量として実現できるというNadirashviliの定理について詳しく解説する。次に、問題Bについて、リーマン多様体の等長埋め込みとの関係を中心に解説し、Nadirashviliの定理の類似を定式化して証明する。この定理は、問題Bが解けると、よい等長埋め込みが得られることを主張する。
TWINS履修申請期間 2022年7月20日(水)~9月26日(月)
世話人 相山
幾何学特論II 開講のお知らせ
日時: 7月12日(水)10時~ 7月14日(金)
場所: 自然系学系棟D814
講師:中西 敏浩 教授(島根大学大学院総合理工学研究科・数理科学領域)
講義題目:双曲幾何からのタイヒミュラー空間論入門
講義概要:この講義は双曲幾何学の手法によるタイヒミュラー空間論の概説である。前半では,双曲幾何が展開する双曲空間の定義とそのポアンカレ・モデルやクライン・モデルの紹介し,続いて等長変換(メビウス変換)の性質と等長変換群の離散部分群を扱う。後半は,双曲三角法の基本事項や双曲多角形の合同類について説明した後,双曲曲面の変形空間であるタイヒミュラー空間を導入する。タイヒミュラー空間論が及ぶ範囲は広いが,とくにフェンチェル・ニールセン座標などの大域座標系やマクシェーン恒等式などを中心的話題として取り上げる。
TWINS履修登録期間:5月23日(火)~7月7日(金)
世話人: 相山
大学院集中講義(1月12日〜15日)
講師:辻井正人(九州大学大学院数理学研究院)
日時:2016年1月12日(火)〜15日(金)
初回は13:45開始 以降の日程は初回に通知する
場所:自然系学系D棟509
題目:双曲力学系のレゾナンス
概要:双曲力学系におけるレゾナンスについて講義する.力学系の相空間上の関数への自然な作用(やその一般化)は転送作用素と呼ばれる.双曲力学系は典型的なカオス的力学系であり,軌道の微小な差異が指数的に拡大される性質(初期値に関する鋭敏な依存性)を持つ.これをある種の拡散過程と捉えると,転送作用素は拡散方程式に対応し,その生成作用素が離散的スペクトル(レゾナンス)を持つと想像される.実際に適切な関数空間を取ることでそのような離散スペクトルを観察し,その基本的な性質について議論するのが本講義の目的である.
力学系についてはあまり予備知識を仮定せず,比較的単純な拡大的力学系から始めて,双曲的写像,双曲的流れと話を進めたい.
教育研究科 集中講義(12月3日〜5日)
科目名:数学特論I
日時:2014年12月3日(12:15開始)、12月4日、12月5日(4日と5日の日程は3日に連絡します)
場所:自然系学系棟 D814
担当教員:岩根 秀直先生(国立情報学研究所)
講義題目:計算代数における実閉体上の限量記号消去法
限量記号消去法 (Quantifier Elimination: QE) は, 限量記号がついた一階述語論理式を入力として,それと等価で限量記号のない論理式を出力するアルゴリズムである.一階述語論理式の記述力能力は高く, 制御・最適化など多くの応用をもち, QE は非常に重要である.
実閉体上での QE アルゴリズムについては, 1930 年に A. Tarski がその存在を示し, 具体的なアルゴリズムも示した. 現在では, より効率的な汎用 QE アルゴリズム Cylindrical AlgebraicDecomposition のほか, 特別な問題のクラスに対するより効率的な QE アルゴリズムの研究がすすめられている.
本講義では, QE を実現するために必要な計算代数の基礎知識, QE アルゴリズム, QE ツールの利用方法, QE の効率的な実装方法, および, 実問題への適用方法について紹介する.
本講義は, 主に穴井・横山著「QE の計算アルゴリズムとその応用」の内容を補完する形で進めるが, その内容を前提としない予定である.
備考:
- 全学計算機(サテライト)端末を用いた実習を予定しているので、履修者は全学計算機のアカウントを確認しておくこと。
- 本講義は教育研究科の授業科目ですが、他研究科の学生も単位を修得できる場合があります。詳細は各専攻事務室へ相談してください。
教育研究科集中講義(12月10日-12日)
科目名:数学特論III (1単位)
担当教員:高橋 邦彦 先生(名古屋大学 医学系研究科 准教授)
日時:2014年12月10日(水)13:45~
12月11日(木)
12月12日(金)
(2日目以降の日程の詳細については1日目にお知らせします)
題目:医学データ解析入門
概要:調査研究を行うためには,その目的に応じた適切な研究デザインのもとで,必要最小限のデータを集め,適切な統計解析を行うことが重要です。この講義では,特に医学・保健医療分野に注目し,調査研究のプロセスに欠かせない,統計の考え方,基本的な調査デザインと解析方法,結果の見方とその解釈について,実際の医学分野の例題を用いながら講義を行います。具体的には㈰医学データの要約,㈪推定と検定,㈫平均値の比較,㈬頻度の比較,㈭相関と回帰分析,㈮交絡と多変量解析による調整,㈯生存時間データの解析,などについて,演習を含めたデータ解析と解釈に重点を置いて講義します。本講義を受講するにあたっては,基本的な数理の知識があることが望ましいですが,統計や医学についての知識は特に必要ありません。また簡単な演習のため各自電卓またはパソコンを持参してください。
場 所:自然系学系棟D棟D814
世話人:小池 健一(数学)
TWINS履修登録期間:11/14 (金)まで
大学院集中講義
題目: ラグランジュ部分多様体と等径超曲面の幾何学
講師: 大仁田 義裕 教授 (大阪市立大学理学研究科数学教室&数学研究所)
日程: 1月5日(月)~7日(水) 10時~
教室: 自然系学系棟 D814
講義概要 近年のシンプレクティック幾何学の発展に伴い,ケーラー多様体のラグランジュ部分多様体の微分幾何学の研究への関心は益々のものがある。今回は,その基本的な概念の説明から最近の私の研究やその関連話題について講義したい。とくに,中国・北京の清華大学の馬輝(Hui Ma)副教授との共同研究を含む,標準球面の等径超曲面と複素2次超曲面のラグランジュ部分多様体の幾何学との関わりについて述べる。
1. リーマン多様体の部分多様体の基本事項
2. シンプレクティック多様体のラグランジュ部分多様体,運動量写像,ハミルトン変形
3. ケーラー多様体のラグランジュ部分多様体の基本事項
4. ハミルトン極小性,ハミルトン安定性とハミルトン剛性
5. 複素ユークリッド空間および複素射影空間のラグランジュ部分多様体
6. ラグランジュ部分多様体としてのエルミート対称空間の実形
7. 複素2次超曲面のラグランジュ部分多様体と標準球面の超曲面幾何学
8. 標準球面の等径超曲面の構造・構成・分類
9. 等径超曲面のガウス像として得られる極小ラグランジュ部分多様体
10. 等径超曲面のガウス像のラグランジュ交叉問題
世話人 相山玲子(数理物質系数学域)
集中講義(2月17日~20日)
科目番号:01BB013
講師:鈴木武史 氏 (岡山大学大学院自然科学研究科・准教授)
日程:2月17日(月) 10:00~
2月18日(火) 未定 当日決定
2月19日(水) 未定 当日決定
2月20日(木) 未定 当日決定
場所:自然系学系棟D814
講義題目:対称群とHecke代数の表現論
講義概要:対称群および付随する岩堀-Hecke代数、そしてそれらの拡張である(退化)アフィンHecke代数の表現論について講義する。特にA型のLie代数の表現論との関係に焦点を当てる。時間があれば圏化の話題についても触れる。
TWINS履修申請:1月27日(月)~2月14日(金)
秋C集中講義(1月27日、2月3日、2月10日)
科目番号:01BB126
担当教員:小谷善行 氏 (東京農工大学 教授)
日時:2014年1月27日(月) 13:00~
2014年2月3日(月) 10:00~
2014年2月10日(月) 10:00~
場所:自然系学系棟D814
題目:ゲーム・パズルの数理とアルゴリズム
講義の概要
パズルやゲームは人間の娯楽であるだけではなく、人工知能などの情報科学の題材であり、それを目標とすることによって学問が発展してきた。本講義では、パズルやゲームのそうした面を、解くアルゴリズム、対戦するアルゴリズムまたそのなかで用いられる数理的な仕組みについて論じる。すべてコンピュータで扱えるような具体性のある問題を示して説明する。
世話人:坂井公
1月24日までTWINSにて履修登録可能
教育研究科集中講義(1月22日~1月24日)
- 科目番号:01B6643 (教育研究科開講)
- 授業科目:数学特論III
- 単位数:1
- 実施日・時間:1月22日(水)13時45分~
1月23日(木)未定
1月24日(金)未定
(1月22日の最初に予定をお知らせします) - 教室:自然系学系棟D814
- 担当教員:高橋邦彦 氏(名古屋大学 医学系研究科 准教授)
- 講義題目:医学データ解析入門
- 概要:調査研究を行うためには,その目的に応じた適切な研究デザインのもとで,必要最小限のデータを集め,適切な統計解析を行うことが重要です。この講義では,特に医学・保健医療分野に注目し,調査研究のプロセスに欠かせない,統計の考え方,基本的な調査デザインと解析方法,結果の見方とその解釈について,実際の医学分野の例題を用いながら講義を行います。具体的には㈰医学データの要約,㈪推定と検定,㈫平均値の比較,㈬頻度の比較,㈭相関と回帰分析,㈮交絡と多変量解析による調整,㈯生存時間データの解析,などについて,演習を含めたデータ解析と解釈に重点を置いて講義します。本講義を受講するにあたっては,基本的な数理の知識があることが望ましいですが,統計や医学についての知識は特に必要ありません。また簡単な演習のため各自電卓またはパソコンを持参してください。
- 履修申請期間:〜1月10日(金)TWINSで申請のこと世話人 小池健一