幾何学分科会MLの皆さま

東大数理の境圭一氏より計算機とトポロジーに関する
勉強会のお知らせをいただきましたのでご案内いたします。

--
首都大学東京理工学研究科
数理情報科学専攻
酒井 高司



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

重複して受け取られる場合は、どうかご容赦ください。

東大数理の境圭一と申します。
以下の通りに勉強会を企画いたしましたので、お知らせいたします。
年度初めのお忙しい時期とは存じますが、多くのご参加をお待ちいたしております。


【計算機とトポロジー分野を中心とした勉強会のお知らせ】

計算機とトポロジー分野を中心とした勉強会のお知らせです。

計算機も日常へ普及し、数学研究の様々な側面においても利用され始めています。
本勉強会では計算機利用について議論することを目的に、若手を中心とした様々
な数学分野での利用を紹介し積極的な議論を見込みます。

日時：平成21年4月15日（水） 10:00 - 18:10

場所：東京大学大学院数理科学研究科 002号室

プログラム：

境 圭一（東京大学大学院数理科学研究科）10:00 - 10:40
"Various algebraic models for computing the (co)homology of the
embedding space"

桐生 裕介（スタジオフォンズ）10:50 - 11:30
"Design of Algorithms, Implementation and Applications about low
dimensional topology 2"

丹下 基生（京都大学数理解析研究所）11:40 - 12:10
"Criterion and computation for lens space surgery"

野沢 啓（お茶ノ水女子大学）13:20 - 14:00
"Toric Geometry and Semi-Toric Geometry"

久野 雄介（東京大学大学院数理科学研究科）14:10 - 14:50
"Computing topological monodromies of fibering structure on algebraic
surfaces"

北山 貴裕（東京大学大学院数理科学研究科）15:00 - 15:40
"Reidemeister torsion for linear representation and Dehn surgery on knots"

伊藤 哲也（東京大学大学院数理科学研究科）15:50 - 16:30
"Computation of braid groups and knots"

柳川 浩二（関西大学） 16:40-17:20
"Derived category in combinatorial commutative algebra"

蓮尾 一郎（京都大学数理解析研究所、JSTさきがけ）17:30 - 18:10
"2-Dimensional Structural Operational Semantics via the Microcosm
Principle --- An Instance of Category Theory in Computer Science"


セミナー後に懇親会を予定しております。ご参加いただけます方は、お手数です
が、なるべく4月9日（木）までに
境 圭一
ksakai at ms.u-tokyo.ac.jp
へご連絡いただきますよう、お願い申し上げます。

詳しくは下記のウェブもご覧ください。
http://yusuke.kiriu.googlepages.com/petitseminar

この勉強会は、「若手研究者自主企画事業」として、グローバルCOEプログラム
「数学新展開の研究教育拠点」（東京大学大学院数理科学研究科、拠点リー
ダー：川又雄二郎）から援助を受けております。


世話人

境 圭一
東京大学大学院数理科学研究科
ksakai at ms.u-tokyo.ac.jp

桐生裕介
スタジオフォンズ
seminar.phones at gmail.com