Computer Algebra Seminar (計算代数セミナー, 第15回) at Kobe Univ.(神戸大学)

October 18 (Fri) and 19 (Sat), 2002. 10月18日(午後) および 19 日(全日) Computer Algebra Weekend!

神戸大学理学部 C 棟, C501 または C401

暫定時間割.
18 日 (金曜日)
論文紹介:
  1. 13:30 -- 14:30 未定
  2. 15:00 -- 16:00 田村恭士 : "A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk, Interactive Mathematical Documents on the Web, to appear in Algebra, Geometry and Software Systems (book)" の紹介.

研究発表:
  1. 16:30 -- 17:30 中村弥生 "代数的局所コホモロジー類のannihilator と semiquasihomogeneous singularities"
    Abstract: semiquasihomogeneous singularities に付随した代数的局所コホモロジー類の annihilatorを用いることにより, 特異点をD-加群の観点から考察する. 特に, quasihomogeneous singularity とunimodal singularity について得られ た結果について述べる.


19 日 (土曜日)
研究発表:
  1. 10:00 -- 11:00 高山信毅 "Generating Kummer Type Formulas of Hypergeometric Functions"
    Abstract: 超幾何関数の Kummer 型の公式を求める計算に現れる 数式処理の問題 (Plucker 関係式による消去法) について解説する.
  2. 11:15 -- 12:15 横山和弘 『計算機代数の Vertex Operator Algebra 研究への応用事例： W-algebra の singular vector と、Zhu algebra の計算』
    Abstract: 散在型有限単純群 Monster と関連のある、lattice から構成される VOA に現れ る W-algebra の既約性を証明するための問題を Risa/Asir で計算した事例を報 告する。ここでの計算は、W-algbera の singular vector を計算し、さらにそ れから Zhu algebra を完全に決定することであった。(本研究は、一橋大学 山 田裕理氏との共同研究である。)
  3. 14:00 -- 15:00 大阿久俊則 "Tangent cone algorithm for D-modules and its applications (collaboration with M. Granger)"
    Abstract: Mora の tangent cone algorithm (the ecart division algorithm) を（斉次化された）微分作用素に拡張し、解析的なD加群の standard base の計算などに応用する。
  4. 15:00 -- 研究連絡


Past Lectures.

---------------------------------------------------------------
The computer algebra seminar is co-organized by
M.Noro, noro@math.kobe-u.ac.jp
N.Takayama, takayama@math.kobe-u.ac.jp
K.Yokoyama, yokoyama@math.kyushu-u.ac.jp
For more info see http://www.math.kobe-u.ac.jp/seminar.html/compalg.html

http://www.math.kobe-u.ac.jp/seminars.html