新着情報

新着情報

数理物質融合科学センター 第6回 数理連携サロン

筑波大学数理物質融合科学センター (CiRfSE) では、分野横断的な研究交流の一助となることを目指し、互いの研究分野の相互理解を推進する場として数理連携サロンを開催します。

今回は「人工知能」をキーワードにしています。興味のある方はお気軽にご参加ください。

日時・場所
2016年12月5日(月)  15:15~17:15
筑波大学第一エリア 自然系学系D棟 D509セミナー室

プログラム
15:45~15
:45
「大規模固有値解析エンジンの開発とそのシミュレーション・データ解析
への応用」
櫻井鉄也(筑波大学 システム情報系)

16:00-16:30
 「限量記号消去を推論器とする数学入試問題の自動解答器」
岩根秀直((株)富士通研究所/国立情報学研究所)

16:45-17:15
 「大学入試の数列問題を解く自動推論アルゴリズム」
照井 章(筑波大学 数理物質系)

14 時 45 分から 15 時 15 分までと 17 時 15 分 から 18 時までは tea time を設けます。他分野の研究者と気軽に交流できる機会です。ご自由にご歓談下さい。

お問い合わせ先
筑波大学数理物質融合科学センター (CiRfSE)
数理物質系数学域 青嶋 誠 (aoshima@math.tsukuba.ac.jp)

シンポジウム「International Symposium on Statistical Analysis for Large Complex Data」

科学研究費補助金 基盤研究(A) 15H01678 (平成27年度~31年度)
「大規模複雑データの理論と方法論の総合的研究」研究代表者: 青嶋 誠

学術研究助成基金助成金 挑戦的萌芽研究 26540010 (平成26年度~28年度)
「ビッグデータの統計学: 理論の開拓と3Vへの挑戦」研究代表者: 青嶋 誠

による国際シンポジウム

International Symposium on Statistical Analysis for Large Complex Data

世話人: 青嶋 誠 (筑波大学)、イリチュ美佳 (筑波大学)、矢田 和善 (筑波大学)
日 時: 2016年11月21日 (月) ~ 24日 (水)
場 所: 筑波大学自然系学系棟D棟 D509 (筑波キャンパス内)

内容・目的や懇親会などの最新情報は、下記サイトでご確認下さい。
http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/symposium.html

プログラム:
http://www.math.tsukuba.ac.jp/~aoshima-lab/workshop_detail.html

数学特別セミナー(金久保 有輝 氏)

講演者:金久保 有輝 氏(上智大理工・D3)

日時:2016年11月4日 (Fri) 15:30 ~ 16:30

場所:自然系学系D棟814号室

タイトル:Cluster variables on double Bruhat cells of classical groups and crystal bases

アブストラクト:古典群 $G$ (=$SL_{r+1}(\mathbb{C})$, $SO_{2r+1}(\mathbb{C})$, $Sp_{2r}(\mathbb{C})$, $SO_{2r}(\mathbb{C})$) の部分群やセルを適当に選ぶと, それらの上の座標環は, クラスター代数という代数構造を持つことが知られている. 例えば冪単部分群 $N$ ($=$ $G$ の元で, 上三角行列からなるもののなす群) を考えると, 座標環 $\mathbb{C}[N]$ は, 双対標準基底と呼ばれる重要な基底を持ち, これは「適当な2つの基底を掛け算すると, 他の基底の二項和になる」という組み合わせ論的な性質を持っている. %標準基底は, リー環 Lie$(G)$ や, その量子群の表現論の中で生まれた基底である. 一方, $G$ は $G^{u,v}$ という2つのワイル群の元 $u$, $v$ でパラメトライズされるセルに分割される. 座標環 $\mathbb{C}[G^{u,v}]$ を考えると, こちらにも双対標準基底と似た性質を持つ生成元が構成される. そこで, Fomin, Zelevinsky の両氏は, リー環論や座標環理論の中で重要なこれらの生成元の性質を抽象化し, クラスター代数 (cluster algebra) を導入した. 即ち, 上で述べたような組み合わせ論的な生成元を, クラスター変数 (cluster variables) と呼び, そのような生成元を持つ代数のことをクラスター代数と定めたのである.
 最近, 上智大学の中島俊樹教授との共同研究で, 座標環 $\mathbb{C}[G^{e,v}]$ におけるクラスター変数と, 量子群の表現論の中に現れる結晶基底 (crystal base) との関係が明らかになった. 結晶基底は、量子群の表現の構造を大まかに明らかにしてくれる骨組みのようなもので, Young盤や paths, そして Laurent 単項式など, 様々な方法で書き表される. それらの豊富な表示方法によって, 表現の構造を組み合わせ論的に調べることができるようになるのである. 本講演では, 具体例を交えながらいくつかの用語を解説し, 主結果を説明する.

数学域 談話会

10月の談話会を以下のように企画いたしました.奮ってご参加ください.

日  時: 10 月 27 日(木) 15時30分~17時 (15時からティータイム) 

場  所: 自然学系棟D棟  509 教室 

講 演 者: 友枝 明保 氏 (武蔵野大学 工学部)

題  目: 交通流の数理-数理モデルで紐解く渋滞現象

概  要: 
交通流研究の一つのゴールは,交通渋滞を解消する方策を導くことである.
本講演では,車の流れを表現する数理モデルの構築からスタートし,
数理モデルの解析を通じた渋滞現象の理解,さらには,渋滞を解消する方策など,
数理モデル研究から得られた知見について解説する.

数学域談話会

下記のように談話会を企画いたしました.
皆様のご参加お待ちしております.

-------------------------------------------------------------------------------------------------
日時: 7月21日 15:30~17:00 (15:00よりティータイム)

場所:自然学系D棟509教室

講演者: 大橋久範 氏 (東京理科大学理工学部数学科) 題目: エンリケス曲面の自己同型について   概要: 代数多様体の自己同型群は代数幾何の様々な場面で重要な働きをするが、 それ自身としても興味深い。 一般には、定義方程式の係数を少しずらすと自己 同型群の構造が大きく変化するため、群自身を計算することも非常に難しい問題 になる。  講演ではK3と並んで代表的な代数曲面であるエンリケス曲面の自己同型につ いての最近の結果を紹介する。研究は歴史的には80年代まで遡るが、K3曲面 と比較すると有限自己同型群の一般論を追及する方向は今まで行われていなかっ た。前半部分には代数曲線や他の図形の上に現れる群を使ってイントロを入れる 予定である。

解析セミナー 井ノ口順一氏(筑波大)

下記の日程で解析セミナーを開催いたしますので、興味がございます方は是非ご参加下さい。

日時: 平成28年 6月 29日(水) 15時30分 — 17時
場所: 筑波大学 自然系学系 D棟 D509 教室

講演者: 井ノ口 順一氏 (筑波大学)
題目: 波動方程式いろいろ

講演要旨:
流体力学で高名なLambはmodifiled KdV方程式が 平面曲線の等周変形から導かれることを示した。 また(共形場の理論で知られる)SegalはKdV方程式が 射影直線上の運動から導かれることを示した。 これらの事実から種々のソリトン方程式が 幾何学的に導かれることが期待される。実際この期待は 正しく(筑波大学ゆかりの)澤田・小寺方程式や渋滞学に活用されている Burgers方程式が曲線の運動から導かれる。今回のセミナーでは これらの方程式の導出と基本的な解について紹介する。

数学談話会


 下記のように談話会を企画しております.
 ご興味のある方はご参加ください.
 
 -----------------------------------------------------------------------------
日時:6月2日(木曜日), 15:30--17:00 (15:00 より tea)

場所:自然系学系 D棟 509

講演者:宮部賢志 氏 (理工学部数学科)

題目:ランダム性と計算可能性

概要:アルゴリズム的ランダムネスの理論について概説を行う.
ランダムネスの理論は確率概念の数学的基礎づけを発端とし,
情報理論や予測理論,最近ではエルゴード理論などとの関係が調べられてきた.
前半では,ランダムな2進無限列を定義し,
大数の法則などの基本的な性質を見る.
ランダム性が数学的に定式化できることで,
様々な概念が見通しよく理解できるようになることを説明する.
後半では,一見対極にあって相容れないように思われる
ランダム性と計算可能性という2つの概念が深い関係を持つことを見る.
具体的には,ChaitinのΩ数のランダム性や停止問題を計算することなどを解説する.

数理連携サロン

第5回数理連携サロンを、下記のとおり開催します。
今回のキーワードは「宇宙」です。
谷垣先生、吉川先生、数学からは木下先生に講演をお願いしています。
前回と同様、ざっくばらんな雰囲気にしたいと思います。
分野融合の機会になれれば幸いです。

【日時】 2016年6月16日(木) 15:15-17:15
【場所】 筑波大学第一エリア 自然系学系棟 D509
谷垣文章(宇宙航空研究開発機構きぼう利用センター・主任研究開発員)
「国際宇宙ステーションの使い方」
吉川耕司(筑波大学計算科学研究センター・講師)
「宇宙大規模構造」
木下 保(筑波大学数理物質系数学域・准教授)
「Wave equation in Einstein and de Sitter space-time」

14時45分から15時15分までと17時15分から18時までは tea time を設けます。
他分野の研究者と気軽に交流できる機会です。ご自由にご歓談下さい。

詳細は、連携サロンのページを御覧下さい。

数学特別セミナー

講演者:佐藤 僚 氏(東大数理・D3)
日時:2016年4月21日 (Thu) 10:00 ~ 12:00
場所:自然系学系D棟814号室

タイトル:
Equivalences between logarithmic weight modules via $¥mathcal{N}=2$ coset constructions

アブストラクト:
$\mathcal{N}=2$超対称コセット構成とは,$\mathcal{N}=2$超Virasoro頂点作用素超代数を $A_{1}^{(1)}$型アフィン頂点作用素代数と荷電フェルミオン頂点作用素超代数のテンソル積に含まれる Heisenberg頂点作用素代数の可換子として実現する手法である.この構成によって,$A_{1}^{(1)}$型アフィンLie代数の既約ユニタリ(=可積分)最高ウェイト表現から$\mathcal{N}=2$超共形代数の全ての既約ユニタリ最高ウェイト加群が得られることはよく知られている.
 本講演では,Feigin-Semikhatov-Tipuninによって与えられた`$\mathcal{N}=2$ 超対称コセット構成の逆'を利用して,非ユニタリな場合にも適切な加群圏の間にアーベル圏としての圏同値が得られることを解説する.またその応用として,$\mathcal{N}=2$超Virasoro代数の表現の指標を$A_{1}^{(1)}$型アフィンLie代数の表現の指標で表す公式を与える.

微分トポロジー16(3月20日-22日)

研究集会「微分トポロジー16」を以下の要領で開催いたします。

日時:2016年3月20日~22日
場所自然学系D棟509
テーマ:ゲージ理論とレフシェッツファイブレーション

ゲージ理論とレフシェッツファイブレーションに関する最新の話を初歩から勉強する
集会です。皆様ふるってご参加ください。

世話人:安部哲哉(大阪市立大)丹下基生(筑波大)山田裕一(電通大)
ホームページ
http://www.math.tsukuba.ac.jp/~tange/diftop16.html

数学特別セミナー (2月15日・16日)

講演者:田坂 浩二 氏
(名古屋大学多元数理科学研究科, 日本学術振興会特別研究員 PD)

会場:自然系学系 D棟 814

題目・日時・概要:

(1) 2重Eisenstein級数とその応用, 2月15日(月) 14:00~16:00

2重Eisenstein級数は, 2重ゼータ値とEisenstein級数のある種の共通の一般化である. これは, Zagierによる2重ゼータ値とモジュラー形式の間の次元の関係に関する結果を証明する一つの手法を与え, モジュラー形式の問題にも応用がある. 講演では, 2重ゼータ値とモジュラー形式の関係(Zagier の結果)から2重Eisenstein級数に至る道のりとそのモジュラー形式の問題への応用についてなるべく詳しく述べる.

(2) 多重Eisenstein級数の複シャッフル関係式, 2月16日(火) 10:30~12:00

この講演では, 多重Eisenstein級数の複シャッフル関係式の証明について, 可能な限り詳細を述べる. これは, 共同研究者の Henrik Bachmann 氏との共同研究で得られた結果である.

Tsukuba Workshop for Young Mathematicians 2016(2月4日ー5日)

日時 (Date2016, February 4-5, 9:00 am - 5:00 pm
会場 (Venue) [Map]研究交流センター 第二会議室A, B (つくば市)
Room No.2 A & B, Tsukuba Center for Institutes (Tsukuba-city, Ibaraki, Japan).
住所 (Address)
〒305-0032 茨城県つくば市竹園2-20-5
2-20-5, Takezono, Tsukuba-city, Ibaraki, 305-0032 JAPAN.
世話人 (Organizer)
石井 大海 (Hiromi ISHII, h-ishii_at_math.tsukuba.ac.jp)
村尾 智 (Tomo MURAO, t-murao_at_math.tsukuba.ac.jp)
ホームページ (Homepage)
http://sites.math.tsukuba.ac.jp/workshopyoung2016/

Tsukuba Workshop for Young Mathematicians は2008年から毎年つくば市で開催されている若手数学者の研究発表とアジアの大学の学生との交流を目的とした研究集会です

Tsukuba Workshop for Young Mathematicians is the annual workshop held in Tsukuba since 2008, for the purpose of providing the opportunity for Asian mathematics students to boost their exchanges and to give presentations on their research.

筑波大学数学談話会 (1月14日)

日時:1月14日(木曜日), 15:30--17:00 (15:00 より tea)

場所:自然系学系 D棟 509

講演者:辻井 正人 氏 (九州大学大学院数理学研究院)

題目:古典力学系の準古典解析

概要:測地流などの(平衡点を持たない双曲的な)古典力学系の性質を相空間上の関数への作用を通して解析をすることを考える.
計量を適当に調整すれば流れは単位速度で進むと見ることができるので,作用を「流れ方向のフーリエ成分」毎に分解することは(技術的には多少問題があるが)有効な考えである.さらに,周波数を無限大にする極限の解析が重要になり,そこに準古典解析の手法が応用されることは(名前に由来する不自然さを除けば)自然である.興味深いのは,解析の結果として古典力学系の中にその「量子化」が自然に埋め込まれているように見えることである.この「量子化」についてどのように考えるべきか私にはまだよく分からないが,興味深いと思われるので講演で話をしたい.

大学院集中講義(1月12日〜15日)

科目:幾何学特論I(01BB050)
講師:辻井正人(九州大学大学院数理学研究院)
日時:2016年1月12日(火)〜15日(金)
   初回は13:45開始 以降の日程は初回に通知する
場所:自然系学系D棟509
題目:双曲力学系のレゾナンス
概要:双曲力学系におけるレゾナンスについて講義する.力学系の相空間上の関数への自然な作用(やその一般化)は転送作用素と呼ばれる.双曲力学系は典型的なカオス的力学系であり,軌道の微小な差異が指数的に拡大される性質(初期値に関する鋭敏な依存性)を持つ.これをある種の拡散過程と捉えると,転送作用素は拡散方程式に対応し,その生成作用素が離散的スペクトル(レゾナンス)を持つと想像される.実際に適切な関数空間を取ることでそのような離散スペクトルを観察し,その基本的な性質について議論するのが本講義の目的である.
力学系についてはあまり予備知識を仮定せず,比較的単純な拡大的力学系から始めて,双曲的写像,双曲的流れと話を進めたい.

筑波大学数学談話会 (11月26日)

日時:11月26日(木曜日), 15:30--16:30 (15:00 より tea)

場所:自然系学系 D棟 509

講演者:桑原 敏郎 氏 (筑波大学)

題目:超局所微分作用素によって構成される非可換代数と表現論

概要:
非常に基本的な例を基に、超局所微分作用素を用いてシンプレクティック多様体を量子化(非可換変形)して得られる代数とその表現論について簡単に解説します。このような代数には(古典的な)半単純リー代数の普遍包絡環のほか、有理チェレドニック代数や有限W代数がありますが、多様体の基本的な性質が量子化された代数にまで持ち上がるなどの良い性質を持ちます。本講演ではそのような点に触れるとともに、最近増えている正標数の場合や、q-類似、頂点代数での類似についても簡単に紹介しようと思います。

科研費シンポジウム 大規模複雑データの理論と方法論:最前線の動向

「大規模複雑データの理論と方法論の総合的研究」研究代表者: 青嶋 誠
学術研究助成基金助成金 挑戦的萌芽研究 26540010
「ビッグデータの統計学: 理論の開拓と3Vへの挑戦」研究代表者: 青嶋 誠
によるシンポジウム

 「大規模複雑データの理論と方法論:最前線の動向」

世話人: 青嶋 誠 (筑波大学)、矢田 和善 (筑波大学)、日野 英逸 (筑波大学)
日 時: 2015年11月16日 (月) ~ 18日 (水)
場 所: 筑波大学自然系学系棟D棟 D509 (筑波キャンパス内)

内容・目的や懇親会などの最新情報は、下記サイトでご確認下さい。
http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/symposium.html

プログラム:
http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/program_2015.pdf

第4回 数理連携サロン (12月2日)

日時: 2015年 12月 2日 (水曜日), 15:15 -- 17:15
( 14:45 -- 15:15 と 17:15 -- 18:00 はティータイム)
場所: 自然系学系 D 棟 509

プログラム

15:15-15:45 「高次元データの統計数理」
青嶋 誠 (筑波大学数理物質系数学域・教授)

16:00-16:30 「電波天文学における統計」
中井 直正 (筑波大学数理物質系物理学域・教授)

16:45-17:15  「スパース学習による高次元データ解析」
川野 秀一 (電気通信大学大学院情報システム学研究科・准教授)

第3回 数理連携サロン (6月18日)

日時: 2015年 6月 18日 (木曜日), 15:15 -- 17:15 
(14:45 --15:15, 17:15--18:00 はティータイム)

プログラム

15:15-15:45 「共役系高分子による球体形成と共鳴発光現象」
山本 洋平(筑波大学数理物質系物質工学域)

16:00-16:30 「粉末結晶構造解析に現れる数学の問題について」
富安 亮子(高エネルギー加速器研究機構さきがけ研究員)

16:45-17:15 「分散型写像流の幾何解析」
千原 浩之(筑波大学数理物質系数学域)

筑波大学数学談話会 (5月21日)

日時: 5月21日 (木曜日)、 15:30--16:30 (15:00より tea)

場所: 自然系学系 D棟 509

講演者: 井ノ口 順一 氏 (筑波大学)

題目: 可積分幾何・差分幾何

概要: 無限可積分系とよばれている非線型偏微分方程式の多くが, 微分幾何に密接に関わることが知られている. 無限可積分系を構造方程式にもつ曲線や曲面の研究は「可積分幾何」とよばれるようになった. 本講演では, 現在,可積分幾何で関心をもたれている研究対象の中から, 「3次元幾何 (Thurson 幾何)における極小曲面の構成」について解説する(時間が許せば曲線の差分幾何にも触れたい).

研究集会「リーマン幾何と幾何解析」(3月6日〜7日)

研究集会「リーマン幾何と幾何解析」を
下記の通り開催いたしますのでご案内申し上げます.
皆様のご参加をお待ちしております.


研究集会「リーマン幾何と幾何解析」
開催日時: 2015年3月6日(金)13時--7日(土)16時頃
開催場所: 筑波大学自然系学系棟 D棟5階 D509
URL: http://www.kurims.kyoto-u.ac.jp/~takumiy/RGGA15.html

プログラム:
3月6日(金)
13:00--14:00: 芥川 和雄 氏(東京工業大学)
The Yamabe invariant and singular Einstein metrics
14:15--15:15: 大鳥羽 暢彦 氏(慶應義塾大学)
Metrics of constant scalar curvature on bundles each of whose typical fibers is a rotationally symmetric sphere
15:45--16:45: 櫻井 陽平 氏(筑波大学)
重み付きリッチ曲率が下に有界な境界付き多様体の剛性
17:00--18:00: 近藤 剛史 氏(名古屋大学・慶應義塾大学)
Wirtinger の不等式についての Gromov の問い

3月7日(土)
10:00--11:00: 三石 史人 氏(東北大学)
アレクサンドロフ空間の向きと基本類
11:15--12:15: 山本 光 氏(東京大学)

Ricci-mean curvature flows in gradient shrinking Ricci solitons
13:30--14:30: 國川 慶太 氏(東北大学)
一般余次元のtranslating solitonについて
14:45--15:45: 成 慶明 氏(福岡大学)
重み付き体積を保つ平均曲率フロー

世話人:
山口 孝男 (京都大学)
横田 巧 (京都大学)
永野 幸一 (筑波大学)

高次元統計解析セミナー

高次元統計解析で世界的に著名な J. S. Marron教授が来日します。

下記の通り、セミナーを開催します。
http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/symposium.html

お気軽にご参加ください。
----------------------------------------------------------------------
日 時:2015年2月20日(金)13:30-15:00
場 所:筑波大学自然系学系棟D棟 D814 (筑波キャンパス内)
講演者:J. S. Marron (University of North Carolina at Chapel Hill,
                      National University of Singapore)
題 目:High Dimension Low Sample Size Asymptotics
要 旨:
The asymptotics of growing sample size are the foundation of classical
mathematical statistics.  But modern big data challenges suggest
consideration of growing dimension as well.  A perhaps extreme case of
this has fixed sample size.  That context is seen to have some
counter-intuitive mathematical structure.  These non-standard ways of
thinking about data are seen to be the key to understanding important
aspects of real genomic data.

世話人: 青嶋 誠 (数学域)

臨時解析セミナー


 以下の要領で臨時 解析セミナーを行います.
 興味のある方は是非ご参加ください.
 
 -----------------------------------------------------------
  日  時: 2 月 23 日(月) 15時30分~17時
   ※ いつもと曜日が違いますので,ご注意ください.

 場  所: 自然学系棟D棟 509教室 
 
 講 演 者: Konstantin Pankrashkin 氏(University Paris-Sud) 

 題  目:  ``On eigenvalues of a Laplacian with Robin boundary conditions"
 
 講演要旨:
 We are going to discuss the spectral problem
 -\Delta u= E u, du/dn =B u 
  in smooth domains, with an attention to the situation when the parameter B   
   becomes large. We show that the problem essentially lives at the boundary
   of the domain, and the contributions of various geometric characteristics
   are shown. A link with Faber-Krahn-type inequalities is discussed.

Tsukuba Workshop for Young Mathematicians (Feb. 13, 2015)

Tsukuba Workshop for Young Mathematicians started in 2008 and has been held annually in Tsukuba. This workshop is organized with the aim of promoting communication and networking among young mathematicians, especially the graduate students studying at Asian universities.

 Date: February 13, 2015
 Place: The Tsukuba Center for Institutes
 Address: 2-20-5 Takezono, Tsukuba, Ibaraki 305-0032, JAPAN

https://sites.google.com/a/math.tsukuba.ac.jp/workshopyoung2015/

数学特別セミナー (1月24日)

講演者:松井 千尋 氏(東京大学大学院情報理工学系研究科)

題目:非対称単純排他過程の多状態への拡張

日時: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日)

科目番号:01B6641
科目名:数学特論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月1日,2日)

科研費シンポジウム 「統計的推測の理論的基礎とその応用」を 下記の要領で開催いたします. 

皆様のご参加をお待ちしております.

ーーーーーーーー 
 「統計的推測の理論的基礎とその応用」

 科研費基盤(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 (金)まで

筑波大学数学談話会 (11月20日)

講演者: 中島 誠 氏 (筑波大学)

題目: 生物の人口模型と(確率)偏微分方程式

概要: 数学では生物の個体数の時間変動を表すものとして有名なものでは微分方程式で現れるLogistic方程式やLotka-Volterra方程式などがある. 確率論においてもGalton-Watson過程という個体数の変動のランダム性を考慮して模型がある. さらに個体に空間の動きを加えた模型を考え, そこから自然な極限として現れる確率過程は非線形熱方程式や確率偏微分方程式との関連が知られている. 今回は時空間にランダムな要素を含めた生物の人口模型を考えたとき, 関連する非線形熱方程式や確率熱方程式はどのような影響を受けるのかについて話す.

Workshop on Statistical Methods for Large Complex Data

下記の科研費ワークショップについて、ご案内
申し上げます。
--------------------------------------------------------------------
科学研究費補助金 基盤研究(B) 22300094
「高次元データの理論と方法論の総合的研究(研究代表者:青嶋誠)」
学術研究助成基金助成金 挑戦的萌芽研究  26540010
「ビッグデータの統計学:理論の開拓と3Vへの挑戦 (研究代表者:青嶋誠)」
による

「Workshop on Statistical Methods for Large Complex Data」

世話人:
青嶋誠 (筑波大学)、佐藤美佳 (筑波大学)、矢田和善 (筑波大学)
Ming-Yen Cheng (National Taiwan University)
日 時: 2014年11月10日 (月) ~ 12日 (水)
場 所: 筑波大学自然系学系棟D棟 D509 (筑波キャンパス内)

内容・目的:http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/symposium.html

プログラムや懇親会などの最新情報は、下記サイトをご確認下さい。
随時更新していきます。
http://www.math.tsukuba.ac.jp/~aoshima-lab/jp/workshop_detail.html

英語バージョンはこちらです:
http://www.math.tsukuba.ac.jp/~aoshima-lab/workshop_detail.html

なお、11日(火)に、以下の3名の著名な研究者による招待講演と指定討論
を予定しています。
Prof. Ming-Yen Cheng (National Taiwan University)
Prof. Ching-Kang Ing (Academia Sinica)
Prof. Mei-Hui Guo (National Sun Yat-sen University)

大学院集中講義

科目: 幾何学特論II (01BB049)
題目: ラグランジュ部分多様体と等径超曲面の幾何学

講師:  大仁田 義裕 教授 (大阪市立大学理学研究科数学教室&数学研究所)

日程:  1月5日(月)~7日(水) 10時~

教室:  自然系学系棟 D814

講義概要 近年のシンプレクティック幾何学の発展に伴い,ケーラー多様体のラグランジュ部分多様体の微分幾何学の研究への関心は益々のものがある。今回は,その基本的な概念の説明から最近の私の研究やその関連話題について講義したい。とくに,中国・北京の清華大学の馬輝(Hui Ma)副教授との共同研究を含む,標準球面の等径超曲面と複素2次超曲面のラグランジュ部分多様体の幾何学との関わりについて述べる。

1.     リーマン多様体の部分多様体の基本事項

2.     シンプレクティック多様体のラグランジュ部分多様体,運動量写像,ハミルトン変形

3.     ケーラー多様体のラグランジュ部分多様体の基本事項

4.     ハミルトン極小性,ハミルトン安定性とハミルトン剛性

5.     複素ユークリッド空間および複素射影空間のラグランジュ部分多様体

6.     ラグランジュ部分多様体としてのエルミート対称空間の実形

7.     複素2次超曲面のラグランジュ部分多様体と標準球面の超曲面幾何学

8.     標準球面の等径超曲面の構造・構成・分類

9.     等径超曲面のガウス像として得られる極小ラグランジュ部分多様体

10.    等径超曲面のガウス像のラグランジュ交叉問題

世話人 相山玲子(数理物質系数学域)

第1回数理連携サロン (11月11日)

第一回数理連携サロン

2014年11月11日 火曜日 15:15-17:15
筑波大学第一エリア 総合研究棟B0110 (会場が変わりましたのでご注意ください)

15:15-15:45 磯崎洋(筑波大学数理物質系 数学域・数理物質融合科学センター)
「格子上の逆散乱問題への数学からのアプローチ」

16:00-16:30 西堀英治(筑波大学数理物質系 物理学域・数理物質融合科学セン
ター・TIMS)
「X線構造計測における逆問題とその解決法」

16:45-17:15 遠藤智子(東京電機大学 情報環境学部 研究員)
「結晶構造を持つウェーブレットの紹介」

筑波大学数学談話会 (10月16日)

日時:10月16日(木曜日)、15:30--16:30 (15:00よりお茶の時間)


場所:自然系学系棟D509


講演者:金子 元 氏 (筑波大学)


講演題目:Nonzero digitが少ないベキ級数の値の超越性および代数的独立性


概要:ほとんどすべての複素数が超越数であるにもかかわらず, 具体的に与えられた複素数が超越数であることを示す事は一般に難しい. 例えば, $$e+\pi$$は超越数であると予想されているが, まだ証明されていない. 関数の値の超越性および代数的独立性を示す事は数論において重要である. 本講演では, ベキ級数で与えられる関数に代数的数を代入した値の超越性および代数的独立性を調べる.

第2回 つくばフレッシュマンセミナー (7月20日 - 21日)

研究集会「つくばフレッシュマンセミナー」を開催いたしますのでご案内申し上げます.

日時: 2014年7月20日(日) 13:30 - 7月21日(月・海の日) 18:00

場所: 筑波大学・自然系学系D棟509号室

世話人: 柴田大樹(筑波大学)・清水健一(名古屋大学)

プログラムは以下のとおりです. 講演概要等は, 資料(PDFファイル)をご参照ください.


■ 7月20日(日)
13:30 - 14:00 山口 正男 (筑波大学)
McKay 予想と単純群
14:15 - 14:45 黒澤 光希 (筑波大学)
ある条件をもつ Picard-Vessiot 群の構造について
15:00 - 15:30 Nathan Caalim (筑波大学)
A class of $\beta$-transformations on $(0,1)^2$
15:45 - 16:45 鈴木 俊夫 (筑波大学)
連続関数のウェーブレット展開に関する無条件収束性について
17:00 - 18:00 小澤 龍ノ介 (東北大学)
空間列の相転移性質
18:30 -
懇親会


■ 7月21日(月・海の日)
11:00 - 11:30 柴田 大樹 (筑波大学)
スーパー可換ホップ代数の余フロベニウス性について
11:45 - 12:15 田中 勇一 (筑波大学)
群の公理について
13:30 - 14:00 嶺 幸太郎 (東京大学)
位相空間論入門
14:15 - 14:45 張 志朗 (筑波大学)
Fibration and collapsing manifolds
15:00 - 15:30 小林 宗広 (筑波大学)
モデル理論の機械学習への応用
15:45 - 16:45 庄司 直高 (筑波大学)
Riemann 多様体上の Maxwell 方程式に対する境界値逆問題
17:00 - 18:00 大音 智弘 (筑波大学)
連分数を用いた超越数の判定

数学特別セミナー(7月17日)

日時: 2014年7月17日(木) 15:00-16:00
場所: 自然系学系棟D814

講演者: George Elliott (University of Toronto)
タイトル: A very brief survey of C^*-algebra classification theory

日時: 2014年7月17日(木) 16:15-17:15
場所: 自然系学系棟D814

講演者: Noriko Yui (Queen's University)
タイトル: Modularity/Automorphy of Calabi-Yau manifolds of dimension \leq 3

数学特別セミナー: 天野通大 氏 (7月9日)

日時: 2014年7月9日(水) 15:45-17:15
場所: 自然学系棟 D509 セミナー室

講演者: 天野 通大 氏 (筑波大付属大塚)
タイトル: 加法群スキームから twisted torus への変形群スキーム

概要: 多くの研究により乗法群の直積のデサントが考察されている. 我々は, 円分拡大に伴うガロア群の作用による乗法群スキームのデサントの手法を, 加法群から乗法群への変形群スキームへ適用する. その結果, 加法群から twisted torus への変形群スキームが構成される. こうした群スキームは Waterhouse-Weisfeiler により既に与えられているが, 我々の構成法は2次デサントによる新しい手法である. この手法を一般化することにより, 様々な群スキームの構成が期待できる. その展望を含め, 扱うデサントの手法や登場する群スキームの説明も丁寧に行いたい.

世話人 増岡 彰

トポロジーセミナー (6月26日)

日時: 2014年6月26日(木)16:30〜17:30
場所: 筑波大学 自然系学系D棟 D814

講演者: Victoria Lebed 氏 (大阪市立大学 数学研究所)
講演題目: A bridge between knotted graphs and axiomatizations of groups

アブストラクト: This talk will be devoted to a new algebraic structure called qualgebra. From the topological viewpoint, our construction is motivated by a study of knotted 3-valent graphs via combinatorially defined coloring invariants. From the algebraic viewpoint, it gives a part of an alternative axiomatization of groups, describing the properties of the conjugation operation and its interactions with the group multiplication. Explicit examples of qualgebras and associated graph invariants will be given. We will finish with some results on topological and algebraic aspects of branched braids, which produce knotted 3-valent graphs via the closure operation.

筑波大学数学談話会 (6月19日)

日時:6月19日(木曜日), 15:30--17:45 (15:00より tea )

場所:自然系学系 D棟 509

プログラム: (15:00--15:30 tea time)

15:30--16:30, 千原浩之 氏 (筑波大学)
題目:ユークリッド空間上のバーグマン変換と量子化
概要:ユークリッド空間上のバーグマン変換とよばれる積分変換は、関数をその超局所化を記述する正則関数へ変換してくれるので、超局所解析や準古典解析における有力な手段になっている。一方、この種の理論は信号処理等の応用分野の研究とも密接な関連がある。本講演では、まずこれらの話題をまとめて概観する。さらに、講演者の仕事や最近取り組んでいる課題を紹介する。

16:30--16:45 休憩

16:45--17:45, 平山至大 氏 (筑波大学)
題目:可微分力学系のエルゴード理論
概要:多様体上の保測な可微分写像の反復合成が生成する力学系のエルゴード理論について概説する.特に,エルゴード性やエントロピーの生成的な正則性に関する話題を紹介したい.

微分幾何学火曜セミナー(6月17日)

日時: 2014年6月17日(火) 15:15~16:45
場所: 自然系学系棟 B627

講演者: 田崎博之(筑波大)
タイトル: 複素旗多様体内の四元数旗多様体の交叉の構造

概要: 今回の発表内容は入江博さん、酒井高司さんとの共同研究の結果に基いています。2012年5月に火曜セミナーで「複素旗多様体内の実旗多様体の交叉の構造」という題名で講演をしました。今回の話はその続きです。前回の講演で定義した複素旗多様体内の対蹠集合の概念に基いて、複素ベクトル空間の複素部分空間の列からなる複素旗多様体内の四元数旗多様体同士の交叉が対蹠集合になることを証明します。前回同様これもコンパクト型Hermite対称空間内の実形同士の交叉が対蹠集合になるという田中真紀子さんとの共同研究の結果の一部の拡張になっています。

解析セミナー(5月28日)

日   時: 5 月 28 日(水) 15時30分~17時

講 演 者: 山澤 浩司 氏 (芝浦工業大学)

題  目: q-Analogue of summability of formal solutions of linear q-difference-differential equations

解析セミナー(5月14日)


日   時: 5 月 14 日(水) 15時30分~17時

場   所: D509

講 演 者: 千原 浩之 氏 (筑波大学)

題   目: Fourth order dispersive systems and dispersive flows into Riemann surfaces

微分幾何学火曜セミナー (5月13日)

日時: 2014年5月13日 15:15~16:45
場所: 自然系学系棟 B627

講演者: 田崎 博之 (筑波大学)
タイトル: 複素Grassmann多様体の正則等長変換の不動点集合と二つの実形の交叉

概要: 今回の発表内容は田中真紀子さん井川治さんとの共同研究の結果にもとづいています。
複素Grassmann多様体の正則等長変換全体の単位連結成分に含まれる変換の不動点集合を記述し、二つの実形の交叉と正則等長変換の不動点集合の関係を明らかにします。これにより、交叉が離散的のときに対蹠集合になるという田中真紀子さんとの共同研究の結果の別証明が得られます。

解析セミナー(4月30日)

日   時: 4 月 30 日(水) 15時30分~17時

講 演 者: Alexandru DIMCA 氏 (University of Nice Sophia Antipolis)

題   目: D-modules and projective hypersurfaces with isolated singularities

講演要旨は こちら をご覧ください.

微分幾何学火曜セミナー (4月15日)

日時: 2014年4月15日(火) 15:15~16:45
場所: 自然系学系棟 B627

講演者: 田崎博之 (筑波大学)
タイトル: 有向実Grassmann多様体の対蹠集合の系列と評価

概要: 有向実Grassmann多様体の極大対蹠集合は、有限集合内のある性質を持つ部分集合の族と一対一に対応すること、および階数 4 以下の場合の極大対蹠集合の分類を2013年1月の火曜セミナーで示しました。今回の講演では階数 4 以下の場合の極大対蹠集合の分類に現れた対蹠集合の系列を一般化し、これらがいつ極大になるか明らかにします。さらにこの系列を利用して、階数 5 の場合の対蹠集合の大きさの評価を与えます。

研究集会「リーマン幾何と幾何解析」(3月7日〜8日)

研究集会「リーマン幾何と幾何解析」を
下記の通り開催いたしますのでご案内申し上げます.
皆様のご参加をお待ちしております.


研究集会「リーマン幾何と幾何解析」
日時: 2014年3月7日(金)13時--8日(土)16時頃
場所: 筑波大学自然系学系棟 B棟2階 B215

プログラム:
3月7日(金)
13:00--14:00: 本多 正平 氏 (九州大学)
チーガー等周定数と$p$ラプラシアンとグロモフ・ハウスドルフ収束

14:15--15:15: 櫻井 陽平 氏 (筑波大学)
リッチ曲率が下に有界な境界付き多様体の剛性

15:45--16:45: 新倉 健人 氏 (東京工業大学)
リッチ平坦多様体の無限遠での崩壊現象について

17:00--18:00: 高橋 淳也 氏 (東北大学)
Partial collapsing and the spectrum of the Hodge-Laplacian

3月8日(土)
10:00--11:00: 三石 史人 氏 (東北大学)
カレントと測度ホモロジー

11:15--12:15: 小澤 龍ノ介 氏 (東北大学)
Limit formulas for metric measure invariants and phase
transition property

13:30--14:30: 野中 純 氏 (慶應義塾大学)
双曲空間における Coxeter 多面体について

14:45--15:45: 石田 政司 氏 (大阪大学)
Uniform Sobolev inequalities along geometric flows


世話人:
山口 孝男 (筑波大学)
永野 幸一 (筑波大学)

解析セミナー (3月5日)

日時: 2014年3月5日(水) 15:00~17:30
場所: 自然系学系棟 D509

15:00~15:50  Jean Vaillant 氏 (パリ第6大学)
Necessary and sufficient conditions of hyperbolicity for linear differential systems.

16:00~17:30  伊藤 健一 氏 (筑波大学)
Threshold properties of one-dimensional discrete Schrödinger operators.
(講演の概要はこちら をご覧ください.)

http://www.math.tsukuba.ac.jp/~analysis/

臨時解析セミナー(2月18日)

日  時: 2月18日(火)15時30分~17時00分
(曜日が通常と異なりますので,ご注意ください.)

講 演 者: Elmar Schrohe 氏 (Leibniz Universit\"at Hannover)

題  目: Solvability of a Degenerate Boundary Value Problem

要  旨: Following work of K.\ Taira we consider the boundary value problem
$$Au=f\text{ in } X,\qquad Lu=g \text{ on }\partial X,$$
where $X$ is a compact manifold with boundary,
$A$ is a strongly elliptic second order operator which in local coordinates is of the form
$$A=\sum_{jk}a^{jk}\partial_{x_j}\partial_{x_k}+\sum b^j\partial_{x_j} + c$$
with real coefficients $a^{jk}=a^{jk}, b^j,c$ in the Htlder class $C^\tau$, $\tau>2$.
We require that
$\sum a^{jk}\xi_j\xi_k\ge \alpha |\xi|^2$ for some $\alpha>0$ and  $0\not\equiv c\le0$.

The  boundary condition $L$ is assumed to be of the form
$$Lu = \mu_0\gamma_0u + \mu_1\gamma_1u,$$
where $\gamma_0$ is the evaluation map at the boundary
and $\gamma_1$ is the evaluation of the exterior normal derivative at the boundary.
The $C^\tau$-functions $\mu_0$ and $\mu_1$ on $\partial X$
are supposed to be nonnegative with $\mu_0+\mu_1$ strictly positive everywhere.

Using the calculus of pseudodifferential operators with symbols of limited regularity
we then show the solvability of the boundary value problem
in various classes of Sobolev and Zygmund spaces with regularity
depending on the smoothness $\tau$ of the coefficients.
We also study the resolvent in suitable sectors of the complex plane.

\hfill (joint work with M. Hassan Zadeh)

【 場所 】 自然学系D棟 509教室

Tsukuba Mini-Workshop on Hopf Algebras (2月17日)

日時: 2月17日(月) 10:30-18:00
場所: 自然系学系棟 D509 セミナー室

10:30-12:00  津野 祐司 (千葉工大)
                   Galois objects and cleft objects for free Hopf algebras
13:30-15:00  増岡 彰 (筑波大)
                   Cleftness results on universal quantum groups
15:15-18:00  ディスカッション


世話人  増岡 彰

集中講義(2月17日~20日)

科目名:代数学特論Ⅱ (1単位)
科目番号:01BB013
講師:鈴木武史 氏 (岡山大学大学院自然科学研究科・准教授)

日程:2月17日(月) 10:00~
     2月18日(火) 未定 当日決定
     2月19日(水) 未定 当日決定
     2月20日(木) 未定 当日決定
場所:自然系学系棟D814

講義題目:対称群とHecke代数の表現論
講義概要:対称群および付随する岩堀-Hecke代数、そしてそれらの拡張である(退化)アフィンHecke代数の表現論について講義する。特にA型のLie代数の表現論との関係に焦点を当てる。時間があれば圏化の話題についても触れる。

TWINS履修申請:1月27日(月)~2月14日(金)
世話人:佐垣大輔