新着情報
カテゴリ:その他
数学特別セミナー (2月15日・16日)
takeyama講演者：田坂 浩二 氏
(名古屋大学多元数理科学研究科, 日本学術振興会特別研究員 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 氏との共同研究で得られた結果である.
計算数学セミナー（12月18日）
terui日時: 2013年12月18日（水） 13:30〜14:30
場所: 自然系学系棟 D 棟 D814 セミナー室
講演者: 渋田 敬史 氏（九州大学 マス・フォア・インダストリ研究所）
題目: 特異点解消を用いない，解析的曲線の既約性判定法概要:
解析的平面曲線の特異点解消を用いない既約性判定法は、Abhyankar によって与えられている。
本講演では、一般の余次元の解析的曲線に対する、特異点解消を用いない既約性判定法を与え、その計算手法を解説する。
この既約性判定法は Abhyankar によるアプローチとはやや異なり、イニシャルイ デアルやパラメタ付きの曲線の交点数の計算などを用いる、計算的側面の強いものである。
世話人: 田島 慎一，照井 章
連絡先: 照井 章 (terui at math.tsukuba.ac.jp) (at => @)
掲示・チラシはこちら: 20131218-poster.pdf
計算数学セミナー（11月22日）
日時: 2013年11月22日（金） 15:30〜16:40
場所: 自然系学系棟 D 棟 D509 セミナー室
講演者: 小原 功任氏（金沢大学 理工研究域 数物科学系）
題目: SO(3) 上の Fisher 分布の最尤推定問題とホロノミック勾配法概要:
近年、指数型分布族の最尤推定に対する新しい武器としてホロノミック勾配法が開発された。パラメータ付きの指数型確率密度関数を、パラメータに関するホロノミック関数と捉えることで、D加群の理論・計算代数・数値解析などの手法が適用可能となる。これらの手法を組合せて最尤推定を行うのが、ホロノミック勾配法である。本講演では、ホロノミック勾配法の概要と、具体的な場合として、SO(3) 上の Fisher 分布の最尤推定問題について述べる。
世話人: 田島 慎一，照井 章
連絡先: 照井 章 (terui at math.tsukuba.ac.jp) (at => @)
掲示・チラシはこちら: 20131122-poster.pdf
数学専攻 情報数学分野 研究計画発表会（7月30日）
下記の要領で数学専攻博士前期課程2年次生（情報数学分野 M2）の研究計画発表会を行います．多くの方のご来聴を期待しております．
日時：2013年7月30日（火）10時00分～12時00分
場所：自然系学系棟D棟 D509
プログラム
10時00分～10時15分：根本大輝 接合関数を用いた従属性尺度の考察
10時15分～10時30分：石井 晶 高次元小標本の幾何学的表現と最大固有値の漸近分布
10時30分～10時45分：田代 浩 独立成分分析の理論と応用について
10時45分～11時00分：小林宗広 Indiscernible ArrayとIndiscernible Tree
11時00分～11時15分：池田展朗 モデル理論の Many-sorted Model への拡張
11時15分～11時30分：藤田貴久 TBA
11時30分～11時45分：山崎朋幸 様々な多角形タイリングについて
11時45分～12時00分：大津 融 p進数計算のアルゴリズム
掲示・チラシはこちら：研究計画発表会2013.pdf
計算数学セミナー（7月19日）
今回のご講演は，学群（部）4 年生や大学院生の方々を主な対象に，入門的解説も含めてお願いしております．多数の方々のご来聴を歓迎します．
タイトル: グレブナ基底を用いたパラメトリック整数計画アルゴリズムについて
講演者: 渋田 敬史氏（九州大学 マス・フォア・インダストリ研究所）
日時: 2013 年7 月19 日（金） 16:00〜17:00
場所: 自然系学系棟 D 棟 D814 セミナー室
概要:
パラメトリック整数計画問題とは線形制約の右辺ベクトルがパラメタになっているような整数計画問題である．コンパイラ最適化等への応用に動機付けられ，Feautrier のアルゴリズム，Verdoolaege のアルゴリズムなど種々のアルゴリズムが提案されているが，これらのアルゴリズムの時間計算量評価は難しい．
本講演では，Hosten-Thomas の代数的アルゴリズムによるパラメトリック整数計画問題求解法を紹介し, それがある意味で最も単純な解を計算することを示す.
また, アルゴリズムで中心的な役割を果たす標準対分解を単調論理関数双対化の観点から眺めることで，パラメトリック整数計画問題は $$2^{O(n(\log n+\log a_{\max}))}$$ 時間で解くことができることを示す(ただし, n は変数の数, $$a_{\max}$$ は行列の要素の最大絶対値, 行列のランクは定数とする) .
世話人: 田島 慎一，照井 章
連絡先: 照井 章 (terui at math.tsukuba.ac.jp) (at => @)
掲示・チラシはこちら:20130719-poster.pdf
