- 追加された行はこの色です。
- 削除された行はこの色です。
[[過去のセミナー/2015年度]]
[[過去のセミナー]]
** 2015年度 セミナー [#baeacab8]
-世話人: [[溝口 佳寛:http://imi.kyushu-u.ac.jp/~ym/]]（九大IMI），[[谷口 哲至:http://researchmap.jp/tetsuzit-14/]]（広島工大），[[島袋 修:http://researchmap.jp/read0093535]]（長崎大），田上真（九州工大）,栗原大武（北九州高専）,千葉周也(熊本大)
Organizers:~
[[Yoshihiro Mizoguchi:http://imi.kyushu-u.ac.jp/~ym/]] (Kyushu University),~
[[Tetsuji Taniguchi:http://researchmap.jp/tetsuzit-14/]] (Hiroshima Institute of Technology),~
Osamu Shimabukuro (Nagasaki University),~
Makoto Tagami ( Kyushu Institute of Technology),~
Hirotake Kurihara (Kitakyushu National College of Technology),~
Shuya Chiba (Kumamoto University)
-アドバイザー: 坂内 英一（上海交通大学／九州大学）
Advisary:~
Eiichi Bannai (Shanhai Jiao Tong University / Kyushu University)
** 第1回 2015年 11月7日(土) [#vffe0466]
-場所: [[マス・フォア・インダストリ研究所 百道研究室 No.1(会議室),No.2(セミナー室):http://bit.ly/imi_momochi]]~
(Location:Meeting Room [[Academic Research and Industrial Collaboration management office of Kyushu University:http://imaq.kyushu-u.ac.jp/ja/imaq/access.php]]
-時間: 13:30-17:000
-講演者:栗原 大武(北九州高専), 横山 俊一(九州大), 工藤 桃成(九大数理), 高藤 政典(広島工業大)
-プログラム(Program)
||~講演者(Speaker)|~タイトル(Title)|
|13:27-13:30|>|開会宣言（谷口 哲至）&br; Opening (Tetsuji Taniguchi)|
|13:30-14:15|[[栗原 大武>#kurihara-01]]&br; (Hirotake Kurihara)|直径3の距離正則グラフの Euclid 歪みについて&br; (On the Euclidean distortions of distance-regular graphs of diameter three)|
|14:20-15:05|[[横山 俊一>#yokoyama-01]]&br; (Shun'ichi Yokoyama)|日本語タイトル&br; (英語タイトル)|
|15:15-16:00|[[工藤 桃成>#kudo-01]]&br; (Momonari Kudo)|日本語タイトル&br; (英語タイトル)|
|14:20-15:05|[[横山 俊一>#yokoyama-01]]&br; (Shun'ichi Yokoyama)|楕円モジュラー形式の高速計算について|
|15:15-16:00|[[工藤 桃成>#kudo-01]]&br; (Momonari Kudo)|グレブナー基底計算に基づく連接コホモロジー群の計算アルゴリズム|
|16:10-16:55|[[高藤 政典>#takahashi-01]]&br; (Masanori Takahashi)|日本語タイトル&br;(英語タイトル)|
|16:55-17:00|>|総括（溝口 佳寛）&br; Closing (Yoshihiro Mizoguchi)|
#br
-アブストラクト(Abstract)
***栗原 大武(北九州工業高等専門学校) [#kurihara-01]
Hirotake Kurihara(National Institute of Technology, Kitakyushu College)
-タイトル(Title):直径 3 の距離正則グラフの Euclid 歪みについて~
(On the Euclidean distortions of distance-regular graphs of diameter thre)
-アブストラクト(Abstract):
距離空間Xを Euclid 空間に埋め込んだとき、「Euclid 歪み」はXの距離構造を Euclid 空間でどのくらい保てるかを表す指標として与えられる。
一般に距離空間が与えられたときに、その距離空間の Euclid 歪みの正確な値を決定することは易しくはない。
今回の発表では直径 3 の距離正則グラフの Euclid 歪みの決定について話をしたいと思う。
なおその証明において距離正則グラフの固有値と intersection array に関するある不等式が表れるのだが、その不等式自体も組み合わせ論的に興味深いと思われる。
***横山 俊一(九州大学) [#yokoyama-01]
Shun'ichi Yokoyama(Kyushu University)
-タイトル(Title):日本語タイトル~
(英語タイトル)
-タイトル(Title):楕円モジュラー形式の高速計算について~
-アブストラクト(Abstract):
日本語アブストラクト
楕円モジュラー形式, とくに discriminant form の Fourier 係数を
高速に求めるための Edixhoven-Couveignes の手法を解説する.
また, 本手法に用いられている幾つかの計算代数的アイデアを
紹介する. 時間が許せば, 本手法の数論への応用についても触れたい.
***工藤 桃成(九州大学大学院数理学府) [#kudo-01]
Momonari Kudo(Kyushu University)
-タイトル(Title):日本語タイトル~
(英語タイトル)
-タイトル(Title):グレブナー基底計算に基づく連接コホモロジー群の計算アルゴリズム~
-アブストラクト(Abstract):
日本語アブストラクト
体上で定義された射影スキーム上の連接層が定めるコホモロジー群の次元を計
算することは重要である。なぜならば、コホモロジー群の次元を計算することで、
幾つかの幾何学的不変量を求めることができるからである。
J. -P. Serre によってその計算可能性が証明されて以降、幾つかの計算アル
ゴリズムが提案されている。
本講演ではまず、そのようなアルゴリズムの一つとして、自由加群上のグレブ
ナー基底計算に基づくものを紹介する。また、講演者が実装した関数を用いてデ
モを行う。実験結果から、加群の自由分解によって誘導される高次コホモロジー
群のランクの振舞いについても言及し、高速計算に向けたアルゴリズムの改良に
ついても考察できれば、と考えている。
***高藤 政典(広島工業大学) [#takahashi-01]
Masanori Takahashi(Hiroshima Institute of Technology)
-タイトル(Title):日本語タイトル~
(英語タイトル)
-アブストラクト(Abstract):
日本語アブストラクト
