Computer Algebra --
Design of Algorithms,
Implementations and Applications 2006
| 研究代表者 | 横山 和弘 (立教大学・理学部) |
| 副代表 | 藤本 光史 (福岡教育大学) |
| rims06@jssac.org |
| 題目： | Computer Algebra -- Design of Algorithms, Implementations and Applications |
| 期間： | ２００６年１２月１８日(月)１３：００〜１２月２１日(木)１１：５０ |
| 場所： | 京都大学数理解析研究所４階４２０号室 |
| 日時： | １２月１９日(火)１９：００〜 |
| 場所： | 居酒屋 くれしま 百万遍本店 |
| 注意： | １８日(月)午後５時までに参加人数を確定します。 参加希望の方は１８日(月)に研究集会会場(数理解析研究所４２０教室)の 所定の用紙に名前を記入されるか rims06@jssac.org にて御連絡ください。 |
| 18日(月) | |
| 特別講演 | |
| 13:00 〜 13:50 | |
| Quantifier Elimination and Cylindrical Algebraic Decomposition
Cristopher Brown (US Naval Academy) | |
| 休憩 | |
| 14:00 〜 15:00 | |
| Development of SyNRAC
屋並仁史 (富士通研究所・CAD研究部/CREST JST) 穴井宏和 (富士通研究所・CAD研究部/CREST JST) | |
| コンパートメントモデルにおける薬物動態の代数方程式を用いた解析
吉田 寛 (九州大学・数理学研究院) 穴井宏和 (富士通研究所・CAD研究部/CREST JST) 中川康二 (産業技術総合研究所) 堀本勝久 (産業技術総合研究所) | |
| 休憩 | |
| 15:15 〜 16:15 | |
| 数式処理を用いたLSI設計に関する研究
中林太美世 (奈良女子大学・人間文化研究科) | |
| 安定化理論における台収束の応用について
白柳 潔 (東海大学・理学部) 関川 浩 (NTT・コミュニケーション科学基礎研究所) | |
| 休憩 | |
| 16:30 〜 18:00 | |
| Frobenius pseudoprime and cyclotomic polynomials
篠原直行 (九州大学・数理学府) | |
| Coherent Configurationの同型計算
宮本 泉 (山梨大学・医学工学総合研究部) | |
| Mandelbrot集合の泡の計算
竹島 卓 (富士通研究所) 藤村雅代 (防衛大学校) | |
| 19日(火) | |
| 9:00 〜 10:00 | |
| 斉次化と inter-reduction によるグレブナー基底計算の効率化について
野呂正行 (神戸大学・理学部) | |
| Dynamic Evaluationを用いたDiscrete Comprehensive Groebner Bases
の計算
倉田陽介 (神戸大学・自然科学研究科) 野呂正行 (神戸大学・理学部) | |
| 休憩 | |
| 10:20 〜 11:50 | |
| Comprehensiveグレブナー基底の分散計算について
井上秀太郎 (東京理科大学・理学研究科) 河元義文 (東京理科大学・理学研究科) 佐藤洋祐 (東京理科大学・理学部) | |
| カテナリーを用いた衣服における記号記述の基盤整備
桐生裕介 (スタジオフォンズ) 北本卓也 (山口大・教育学部) 長坂耕作 (神戸大・発達科学部) 高橋 正 (神戸大・発達科学部) 山口哲 (サイバネットシステム) | |
| コーシー問題の解法とアルゴリズム
庄司卓夢 (新潟大・自然研) 田島慎一 (新潟大学・工学部) | |
| 昼食休憩 | |
| 特別講演 | |
| 13:00 〜 13:50 | |
| Change of orders for regular chains
Xavier Dahan (JSPS海外特別研究員・立教大学・理学部) | |
| 休憩 | |
| 14:00 〜 15:00 | |
| 零次元代数的局所コホモロジーの計算法とスタンダード基底計算について
II
田島慎一 (新潟大学・工学部) | |
| 一般余次元の準素イデアルに付随するNoether作用素について
田島慎一 (新潟大学・工学部) 中村弥生 (近畿大学・理工学部) | |
| 休憩 | |
| 15:15 〜 16:15 | |
| Groebner基底のEuclid幾何への応用
荒井千里 (筑波大学・図書館情報メディア研究科) 森継修一 (筑波大学・図書館情報メディア研究科) | |
| Smoothing arc splines by PH quintic curves
酒井 宦 (鹿児島大学・理学部) | |
| 休憩 | |
| 16:30 〜 18:00 | |
| MathMLに関するライブラリとその応用について
黒田 拓(北海道大学・理学院) | |
| xfyにおけるMathML編集機能の開発
甲斐 博 (愛媛大学・理工学研究科) 宮本敦史 (愛媛大学・理工学研究科) 久米正起 (愛媛大学・理工学研究科) 河田貴幸 (愛媛大学・工学部) 田村恭士 (ジャストシステム) 野田松太郎 (愛媛キャンパス情報サービス) | |
| 数学Webサービスの実装とプロセス実行に関する研究
中西智美 (愛媛大学・理工学研究科) 池田理世 (愛媛大学・理工学研究科) 甲斐 博 (愛媛大学・理工学研究科) | |
| 19:00〜 | 懇親会 |
| 20日(水) | |
| 9:00 〜 10:00 | |
| 異常な多変数多項式の近似GCD計算法
讃岐 勝 (筑波大学・数理物質科学研究科) 佐々木建昭 (筑波大学・数理物質科学研究科) | |
| k(u1,...,ul)[x]
に於ける拡張Hensel構成
小副川健 (筑波大学・数理物質科学研究科) | |
| 休憩 | |
| 10:20 〜 11:50 | |
| 拡張Hensel因子の収束・発散性と共役性
稲葉大樹 (茨城県立水海道第一高等学校) 佐々木建昭 (筑波大学・数理物質科学研究科) | |
| Green 関数法を用いた Sturm-Liouville 型固有値問題に対する
DE-Nystrom 法
久保隆貴 (筑波大学・数理物質科学研究科) | |
| Smith標準形と格子算法
大倉安孝 (筑波大学・数理物質科学研究科) | |
| 昼食休憩 | |
| 13:00 〜 14:00 | |
| 浮動小数グレブナー基底の計算法
佐々木建昭 (筑波大学・数理物質科学研究科) 加古富志雄 (奈良女子大学・理学部) | |
| 多変数の解析的因数分解の実装について
岩見真希 (大阪経済法科大学・教養部) | |
| 休憩 | |
| 14:15 〜 15:45 | |
| 整数係数の近似因数分解はなぜ難しいか
長坂耕作 (神戸大学・発達科学部) | |
| Niederreiterの因数分解法の実装について
山中亜希子 (神戸大学・総合人間科学研究科) | |
| １変数多項式の近接解の分離アルゴリズムについて
秋山寛子 (奈良女子大学・情報科学専攻) 加古富志雄 (奈良女子大学・理学部) | |
| 休憩 | |
| 16:00 〜 17:30 | |
| 代数 Riccati 方程式の定義多項式の計算について
北本卓也 (山口大学・教育学部) 山口 哲 (サイバネットシステム) | |
| パラメータを持つ有理関数のハイブリッド積分
中川菜菜美 (愛媛大学・理工学研究科) 甲斐 博 (愛媛大学・理工学研究科) 野田松太郎 (愛媛キャンパス情報サービス) | |
| Taylor展開による微分代数方程式の性能
舘野裕文 (神奈川工科大学・機械システム工学専攻) 平山 弘 (神奈川工科大学・工学部) | |
| 21日(木) | |
| 9:00 〜 10:00 | |
| InftyEditor with InftyReader -- pdf2latex を目指して
藤本光史 (福岡教育大学) | |
| 数式入力のための動的な入力インタフェースの紹介
出口博章 (神戸学院大・人文学部) | |
| 休憩 | |
| 10:20 〜 11:50 | |
| Risa/Asir のifplotの改良と並列化の試み
齋藤 友克 (アルファオメガ) 村尾 裕一 (電気通信大学) | |
| 根の和を用いた多項式スペクトル分解の解法とパラメータを含む
H2 最適制御
管野政明 (CREST 科学技術振興機構) 穴井宏和 (富士通研究所/CREST JST) 横山和弘 (立教大学・理学部/CREST JST) | |
| Sturm-Habicht列の符合表について
木村欣司 (京都大学・情報学研究科) | |