東京大学工学部計数工学科 システム情報談話会
科学技術振興機構 (JST) CREST 「数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォームの構築」にて フランスより招聘予定の Dr. Guenael Renault (Universite Pierre et Marie Curie, LIP6) および Dr. Guillaume Moroz (INRIA) のセミナーを，1/13（火）13時 より東京大学本郷キャンパスにおきまして， 東京大学計数工学科システム情報談話会として開催いたします． Dr. Renaultには，CAD などの代数計算で有効な効率化技法であるモジュラー技法における多項式の分解体の計算法について， ご講演いただきます． また，Dr. Morozのご講演は，パラメータを含む連立多項式方程式の解の計算法について考察したものです．日時：2009年1月13日（火）13:00-15:00 (Dr. G. Renault, Dr. G. Moroz には各45分程度でご講演いただきます．)
場所：東京大学 本郷キャンパス 工学部6号館 3階セミナー室AD
(アクセス) http://www.u-tokyo.ac.jp/campusmap/cam01_04_07_j.html#hongo
講演者：Dr. 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).
講演者：Dr. 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_at_jp.fujitsu.com), 原 辰次 (東京大学・shinji_hara_at_ipc.i.u-tokyo.ac.jp), 小島千昭 (東京大学・chiaki_kojima_at_ipc.i.u-tokyo.ac.jp)