投稿日:2009/01/06投稿者:小島千昭
1/13(火)13時 より,科学技術振興機構 (JST) CREST 「数値/数式ハイ
ブリッド計算に基づくロバスト最適化プラットフォームの構築」にて
フランスより招聘予定の Dr. Guenael Renault (Universite Pierre et 
Marie Curie, LIP6) および Dr. Guillaume Moroz (INRIA) のセミナーを,
東京大学計数工学科システム情報談話会として開催いたします.
なお,両博士はともに計算機代数を専門としていまして,
以下のURLにて紹介されております.
  Dr. Renault → http://www-calfor.lip6.fr/~renault/
  Dr. Moroz → http://www-spiral.lip6.fr/~moroz/fr/index.html
Dr. Renaultには,CAD などの代数計算で有効な効率化技法である
モジュラー技法における多項式の分解体の計算法について,
ご講演いただきます.
また,Dr. Morozのご講演は,パラメータを含む連立多項式方程式の
解の計算法について考察したものです.
本セミナーの題目と概要につきましては以下に記載しております.
以上,皆様のご参加をお待ちしております.

小島千昭


%-----------------------------------------------------------------%

東京大学工学部計数工学科 システム情報談話会

日時:2009年1月13日(火)13:00-15:00
   ※ Dr. G. Renault, Dr. G. Moroz には各45分程度でご講演いただきます.

場所:東京大学本郷キャンパス工学部6号館3F セミナー室A・D
      http://www.u-tokyo.ac.jp/campusmap/cam01_04_07_j.html#hongo


(1) Dr. G. Renault セミナー

講演者:Guenael Renault (Universite Pierre et Marie Curie,LIP6)

講演題目:Efficient Computation of Splitting Fields

概要:
Effective Galois theory is an important tool in constructive number
theory. In this talk we will focus on the efficient computation of
splitting fields (denoted SF). First we recall definitions and
motivations of Galois theory: the link between permutation groups and
roots of polynomials.  Then, we show how the interaction between the
Galois group and the SF can be used to compute efficiently the Groebner
basis representation of SF.  All the presented results are obtained in
collaboration with K. Yokoyama (Rikkyo Univ. Japan).


(2) Dr. G. Moroz セミナー

講演者:Guillaume Moroz (INRIA)

講演題目:Description of the real roots of a parametric system

概要:
Let S be a parametric system of polynomial equations and inequations. 
We address the problem of computing the open connected sets U of the
parameters space such that S restricted to U has a constant number of
real solutions. 
We will present some of the difficulties raised by this problem and
show how to overcome them. Then we will present an application of our
methods to solve an open problem coming from the robotics field.



連絡先: 穴井宏和 (富士通研究所/九州大学・anai@jp.fujitsu.com)
        原 辰次 (東京大学・shinji_hara@ipc.i.u-tokyo.ac.jp)
        小島千昭 (東京大学・chiaki_kojima@ipc.i.u-tokyo.ac.jp)


%-----------------------------------------------------------------%