新着情報
新着情報
数学特別セミナー (1月24日)
posted : 2015/01/07
takeyama
takeyama
講演者：松井 千尋 氏(東京大学大学院情報理工学系研究科)
題目：非対称単純排他過程の多状態への拡張
日時：2015年1月24日(土曜日) 14:00--15:00 (free discussion 15:00--17:00)
場所：自然系学系 D棟 814
概要：
非対称単純排他過程 (ASEP) は可解確率模型として知られており、
定常状態や粒子密度・カレントなどの物理量が厳密に議論されてきた。
ASEPの可解性は、系の時間発展を特徴付けるMarkov行列がTemperley-Lieb
代数を満たすことに起因している。Markov行列を代数的に拡張することにより、
系の可解性を保ったまま多種粒子系への拡張が行われてきた。
本講演では、代数の表現次元を高次に拡張することにより、多状態ASEP
（2粒子以上による同サイト占有を許す確率過程）を構成する方法について議論する。
筑波大学数学談話会 (12月4日)
日時： 12月4日(木曜日)、15:30--17:00 (15:00 より tea )
場所： 自然系学系 D棟 509
講演者： 岩根 秀直 氏 (国立情報学研究所)
題目： 計算機が数学試験問題を解く - 数式処理編
概要： 国立情報学研究所を中心として進めている「ロボットは東大に入れるか」プロジェクトでは, 「人工知能」としてまとめられる諸技術に対する総合的ベンチマークとして, 様々な科目の大学入試問題を計算機で直接解くことに挑戦している.
我々は数学入試問題に取り組んでおり, 開発中のシステムは問題文を入力として, 自然言語処理により構築された一階述語論理式を数式処理により問題を解く方法をとっている. 本講演では, 数学入試問題の数式処理による解法と, 自然言語処理との接合による課題解決方法について紹介する. 教育研究科 集中講義（12月3日〜5日）
terui
科目番号：01B6641
科目名：数学特論I
日時：2014年12月3日（12:15開始）、12月4日、12月5日（4日と5日の日程は3日に連絡します）
場所：自然系学系棟 D814
担当教員：岩根 秀直先生（国立情報学研究所）
講義題目：計算代数における実閉体上の限量記号消去法
科目名：数学特論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 の計算アルゴリズムとその応用」の内容を補完する形で進めるが, その内容を前提としない予定である.
備考：
限量記号消去法 (Quantifier Elimination: QE) は, 限量記号がついた一階述語論理式を入力として，それと等価で限量記号のない論理式を出力するアルゴリズムである．一階述語論理式の記述力能力は高く, 制御・最適化など多くの応用をもち, QE は非常に重要である.
実閉体上での QE アルゴリズムについては, 1930 年に A. Tarski がその存在を示し, 具体的なアルゴリズムも示した. 現在では, より効率的な汎用 QE アルゴリズム Cylindrical AlgebraicDecomposition のほか, 特別な問題のクラスに対するより効率的な QE アルゴリズムの研究がすすめられている.
本講義では, QE を実現するために必要な計算代数の基礎知識, QE アルゴリズム, QE ツールの利用方法, QE の効率的な実装方法, および, 実問題への適用方法について紹介する.
本講義は, 主に穴井・横山著「QE の計算アルゴリズムとその応用」の内容を補完する形で進めるが, その内容を前提としない予定である.
備考：
- 全学計算機（サテライト）端末を用いた実習を予定しているので、履修者は全学計算機のアカウントを確認しておくこと。
- 本講義は教育研究科の授業科目ですが、他研究科の学生も単位を修得できる場合があります。詳細は各専攻事務室へ相談してください。
世話人：照井 章（数理物質系 数学域）
科研費シンポジウム(12月1日，2日)
koike
科研費シンポジウム 「統計的推測の理論的基礎とその応用」を 下記の要領で開催いたします.
皆様のご参加をお待ちしております．
ーーーーーーーー
「統計的推測の理論的基礎とその応用」
科研費基盤(B)「統計的推測における非正則構造の解明とその応用」
研究代表者：赤平昌文（筑波大学）によるシンポジウム
世話人：大谷内奈穂（筑波大学数理物質系）
小池 健一（筑波大学数理物質系）
赤平 昌文（筑波大学）
日時：2014年12月1日（月）〜2日（火）
場所:筑波大学筑波キャンパス自然系学系棟D棟5階D509（茨城県つくば市天王台1-1-1）
アクセス方法はこちらをご覧ください
プログラムはこちらをご覧ください．
皆様のご参加をお待ちしております．
ーーーーーーーー
「統計的推測の理論的基礎とその応用」
科研費基盤(B)「統計的推測における非正則構造の解明とその応用」
研究代表者：赤平昌文（筑波大学）によるシンポジウム
世話人：大谷内奈穂（筑波大学数理物質系）
小池 健一（筑波大学数理物質系）
赤平 昌文（筑波大学）
日時：2014年12月1日（月）〜2日（火）
場所:筑波大学筑波キャンパス自然系学系棟D棟5階D509（茨城県つくば市天王台1-1-1）
アクセス方法はこちらをご覧ください
プログラムはこちらをご覧ください．
教育研究科集中講義(12月10日-12日)
科目番号：01B6643
科目名：数学特論III (1単位)
担当教員：高橋 邦彦 先生(名古屋大学 医学系研究科 准教授)
日時：2014年12月10日（水）13：45～
12月11日（木）
12月12日（金）
(2日目以降の日程の詳細については1日目にお知らせします)
題目：医学データ解析入門
概要：調査研究を行うためには，その目的に応じた適切な研究デザインのもとで，必要最小限のデータを集め，適切な統計解析を行うことが重要です。この講義では，特に医学・保健医療分野に注目し，調査研究のプロセスに欠かせない，統計の考え方，基本的な調査デザインと解析方法，結果の見方とその解釈について，実際の医学分野の例題を用いながら講義を行います。具体的には㈰医学データの要約，㈪推定と検定，㈫平均値の比較，㈬頻度の比較，㈭相関と回帰分析，㈮交絡と多変量解析による調整，㈯生存時間データの解析，などについて，演習を含めたデータ解析と解釈に重点を置いて講義します。本講義を受講するにあたっては，基本的な数理の知識があることが望ましいですが，統計や医学についての知識は特に必要ありません。また簡単な演習のため各自電卓またはパソコンを持参してください。
場 所：自然系学系棟D棟D814
世話人：小池 健一（数学）
TWINS履修登録期間：11/14 (金)まで
科目名：数学特論III (1単位)
担当教員：高橋 邦彦 先生(名古屋大学 医学系研究科 准教授)
日時：2014年12月10日（水）13：45～
12月11日（木）
12月12日（金）
(2日目以降の日程の詳細については1日目にお知らせします)
題目：医学データ解析入門
概要：調査研究を行うためには，その目的に応じた適切な研究デザインのもとで，必要最小限のデータを集め，適切な統計解析を行うことが重要です。この講義では，特に医学・保健医療分野に注目し，調査研究のプロセスに欠かせない，統計の考え方，基本的な調査デザインと解析方法，結果の見方とその解釈について，実際の医学分野の例題を用いながら講義を行います。具体的には㈰医学データの要約，㈪推定と検定，㈫平均値の比較，㈬頻度の比較，㈭相関と回帰分析，㈮交絡と多変量解析による調整，㈯生存時間データの解析，などについて，演習を含めたデータ解析と解釈に重点を置いて講義します。本講義を受講するにあたっては，基本的な数理の知識があることが望ましいですが，統計や医学についての知識は特に必要ありません。また簡単な演習のため各自電卓またはパソコンを持参してください。
場 所：自然系学系棟D棟D814
世話人：小池 健一（数学）
TWINS履修登録期間：11/14 (金)まで
