Computer Algebra --
Design of Algorithms,Implementations and Applications
2005
| 題目： | Computer Algebra -- Design of Algorithms, Implementations and Applications |
| 期間： | ２００５年１２月１９日（月）１３：００〜１２月２２日（木）１２：１５ |
| 場所： | 京都大学数理解析研究所４階４２０号室 |
| 19日(月) | |
| 13:00 〜 15:30 | |
| 特異点への拡張ヘンゼル構成からのアプローチ
佐々木 建昭 (筑波大・数理物質科学研究科) 稲葉 大樹 (筑波大・ベンチャービジネスラボラトリ) 片町 健太郎 (岩手県立大・ソフトウェア情報) | |
| 特異点解消を用いた桁落ち無しべき級数計算
山内 歩 (筑波大・数理物質科学研究科) | |
| 従変数に重みをつけた拡張Hensel構成とNewton Polytope
小副川 健 (筑波大・数理物質科学研究科) 佐々木 建昭 (筑波大・数理物質科学研究科) | |
| 多変数多項式に対する新しい因数分解法
佐々木建昭 (筑波大・数理物質科学研究科) 稲葉 大樹 (筑波大・ベンチャービジネスラボラトリ) | |
| Riccati代数方程式の解について
北本 卓也 (山口大学・教育) | |
| 休憩 | |
| 15:45 〜 17:45 | |
| GAPの関数Normalizerの改良
宮本 泉 (山梨大・医学工学総合研究部) | |
| GF(3m)における Tate Pairing の計算および実装について
岩見 真希 (筑波大・システム情報工学研究科) 久保寺 範和 (NEC・システム基盤ソフトウェア開発本部) 側高 幸治 (NEC・ユビキタスソフトウェア事業部) 岡本栄司 (筑波大・システム情報工学研究科) | |
| An answer to an open problem on cubic spiral transition between two circles
Zulfiqar Habib (鹿児島大・理) Manabu Sakai (鹿児島大・理) | |
| 数式処理システムを用いた芸術における数理科学的アプローチ
桐生 裕介 (スタジオフォンズ) 長坂 耕作 (神戸大・発達科学) 高橋 正 (神戸大・発達科学) | |
| 20日(火) | |
| 9:00 〜 11:00 | |
| 多細胞生物における細胞タイプ多様性条件の限定子消去法による導出
吉田 寛 (東大・医科研) 穴井 宏和 (富士通研究所/CREST JST) 折居 茂夫 (富士通) 堀本 勝久 (東大・医科研) | |
| Symbolic-Numeric Optimization for estimation of parameters in biological kinetic model
Shigeo Orii (富士通) Katsuhisa Horimoto (東大・医科研) Hirokazu Anai (富士通研/CREST JST) | |
| Solving and visualizing parametric quantified constraints in control system design
Noriko Hyodo (アルファオメガ) Myunghoon Hong (富士通ソフトウェアテクノロジー) Hitoshi Yanami (富士通研究所/CREST JST) Hirokazu Anai (富士通研究所/CREST JST) Shinji Hara (東大・情報理工学系研究科/CREST JST) | |
| Development of SyNRAC
Hitoshi Yanami (富士通研/CREST JST) Hirokazu Anai (富士通研/CREST JST) | |
| 休憩 | |
| 11:15 〜 12:15 | |
| 1変数多項式の再帰的な多項式剰余列と入れ子部分終結式
照井 章 (筑波大・数理物質科学研究科) | |
| 有理式を要素とする行列式の計算法
梅田 恭 (筑波大・数理物質科学研究科) 佐々木 建昭 (筑波大・数理物質科学研究科) | |
| 昼食休憩 | |
| 特別講演 | |
| 13:15 〜 14:15 | |
| 数値線形代数を中心とした精度保証付き数値計算の研究の最近の状況
大石 進一 (早稲田大学・理工) | |
| 休憩 | |
| 14:30 〜 15:00 | |
| 種々の算法の多変数近似GCD計算
讃岐 勝 (筑波大・数理物質科学研究科) | |
| 多項式剰余公式アルゴリズム
庄司 卓夢 (新潟大・自然科学研究科) 田島 慎一 (新潟大・工) | |
| 有理関数近似の悪条件性の解析
甲斐 博 (愛媛大・工) | |
| 休憩 | |
| 16:15 〜 17:45 | |
| 区間数による関数描画の改良について
近藤 祐史 (詫間電波高専) 齋藤 友克 (アルファオメガ) | |
| 新しい suits はいかが?
竹島 卓 (富士通研究所) 齋藤 友克 (アルファオメガ) | |
| 多項式の実数解を求める方法について--再訪
平野 照比古 (神奈川工科大・情報) | |
| xx:xx〜 | 懇親会 |
| 21日(水) | |
| 9:00 〜 10:30 | |
| Comprehensiveブーリアン・グレブナー基底の構成方法について
佐藤 洋祐 (東京理科大・理) 井上 秀太郎 (東京理科大・理学研究科) | |
| prime decompositionを使ったcomprehensive Groebner basesの計算方法
鈴木 晃 (神戸大・情報管理室) | |
| On systems of algebraic equations with parametric exponents II
横山 和弘 (立教大・理) | |
| 休憩 | |
| 10:45 〜 12:15 | |
| ある affine monomial curve の tangent cone の CM 性
渋田 敬史 (九大・数理学府) | |
| Buchberger algorithm のための interactive user interface の作成について
中山 洋将 (神戸大・自然科学研究科) | |
| 代数的局所コホモロジーを用いたグレブナー基底の計算法
阿部 隆行 (新潟大・自然科学研究科) 田島 慎一 (新潟大・工) | |
| 昼食休憩 | |
| 13:15 〜 15:15 | |
| 付値環係数の多項式環に関するヘンゼルの補題のIsabelle/HOLによる実現
小林 英恒 (日大・理工) 鈴木 秀男 (職業訓練大・情報) | |
| 折り紙による３次方程式の解法について
森継 修一 (筑波大・図書館情報メディア研究科) | |
| ユーザ定義述語を含む系の限量子消去法
元吉 文男 (産業技術総合研究所) 秋葉 澄孝 (産業技術総合研究所) | |
| 円に関する人間らしい初等幾何証明を生成するための推論方法
山本 航 (法政大・工学研究科) 宮本 健司 (法政大・工) 関川 浩 (NTT・コミュニケーション科学基礎研究所) 白柳 潔 (NTT・コミュニケーション科学基礎研究所) | |
| 休憩 | |
| 15:30 〜 17:30 | |
| 剰余体における逆冪計算アルゴリズムとその応用
田島 慎一 (新潟大・工) | |
| 多項式行列の行列式の補間による計算II
木村 欣司 (立教大/CREST JST) | |
| 逆関数のTaylor展開とその応用
舘野 裕文 (神奈川工科大・工学研究科) 平山 弘 (神奈川工科大・工) | |
| ２重積分によるオイラーの定数の評価
西沢 清子 (城西大・理) 宮崎 里美 (城西大・理学研究科) | |
| 22日(木) | |
| 9:00 〜 10:30 | |
| リーマンゼータ函数の冪級数展開について
村上 弘 (首都大学東京・都市教養) | |
| 精度保証付き制御系解析・設計
管野 政明 (東大/CREST JST) | |
| 数式処理システムにおけるマルチスレッド化の試み
村尾 裕一 (電通大・情報工学科) 兵頭 礼子 (アルファオメガ) 齋藤 友克 (アルファオメガ) | |
| 休憩 | |
| 10:45 〜 12:15 | |
| AsirPad の関数グラフ描画機能について
藤本 光史 (福岡教育大) | |
| 数式埋め込みコンテンツと標準化 -現状理解と標準化プロセスについて-
長坂耕作 (神戸大・発達科学) | |
| Risa/Asir における新しい形式の式の取扱いについて
野呂 正行 (神戸大・理) 高山 信毅 (神戸大・理) | |
Last Modefied $Jssac: program.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $