Computer Algebra --
Design of Algorithms,
Implementations and Applications 2008
| 研究代表者 | 藤本 光史 (福岡教育大学・教育学部) |
| 副代表 | 佐藤 洋祐 (東京理科大学・理学部) |
| 題目： | Computer Algebra -- Design of Algorithms, Implementations and Applications |
| 期間： | 2008年11月25日(火)13：15〜11月27日(木)15：00 |
| 場所： | 京都大学数理解析研究所4階402号室 |
| 25日(火) | |
| 13:15 〜 14:50 |
|
| オープニング | |
| ブーリアングレブナ基底を使った数独の解法
井上秀太郎(東京理科大学・理学研究科), 佐藤洋祐(東京理科大学・理学部), 鈴木 晃(神戸大学・情報管理室), 鍋島克輔(高知学芸高等学校) | |
| 多項式剰余環における逆元の計算と準素イデアル分解
佐藤洋祐(東京理科大学・理学部),井上秀太郎(東京理科大学・理学研究科), 鈴木 晃(神戸大学・情報管理室) | |
| 行列を使ったグレブナー基底計算
鈴木 晃(神戸大学・情報管理室) | |
| 休憩 | |
| 15:00 〜 16:00 |
|
| 折紙による代数方程式の解法について
森継修一，中村怜子(筑波大学・図書館情報メディア研究科) | |
| 浮動小数グレブナー基底の悪条件性について
佐々木建昭(筑波大学・数学系), 甲斐 博(愛媛大学・工学部) | |
| 休憩 | |
| 16:10 〜 17:00 |
|
| 拡張Hensel構成を用いたMonodromy群の計算法
久保隆貴(筑波大学・数理物質科学研究科) | |
| Hensel級数の多価性と共役性について
佐々木建昭(筑波大学・数学系), 稲葉大樹(数検) | |
| 26日(水) | |
| 9:30 〜 11:00 |
|
| 行列のスペクトル分解アルゴリズムについて
田島慎一(新潟大学・工学部), 飯塚由貴恵(新潟大学・自然科学研究科) | |
| レゾルベントを用いた固有ベクトル計算について
田島慎一(新潟大学・工学部), 樋口水紀(新潟大学・自然科学研究科) | |
| 行列のスペクトル分解・固有ベクトルの分散計算
小原功任(金沢大学・理工研究域), 田島慎一(新潟大学・工学部) | |
| 休憩 | |
| 11:10 〜 12:10 |
|
| パラメータつきの多項式スペクトル分解
篠原直行(JST CREST) | |
| QE のための数値数式 partial CAD の実装
岩根秀直(富士通研究所)， 穴井宏和(富士通研究所/九州大学)， 屋並仁史(富士通研究所) | |
| 休憩 | |
| 13:20 〜 14:50 |
|
| 係数に誤差を含む多項式同士の整除性判定
中山裕貴, 関川 浩(NTT・コミュニケーション科学基礎研究所) | |
| 安定化理論に基づく log method について
白柳 潔(東海大学・理学部), 関川 浩(NTT・コミュニケーション科学基礎研究所) | |
| Sum of Roots を用いた制御系設計に対する数値・数式ハイブリッド最適化
管野政明(JST CREST), 原 辰次(東京大学・情報理工学系研究科) | |
| 休憩 | |
| 特別講演 | |
| 15:00 〜 16:00 |
|
| 最適化と計算代数の融合が拓く信号処理 -- 過去・現在・未来への旅 --
山田 功(東京工業大学・理工学研究科) | |
| 休憩 | |
| 16:10 〜 17:40 |
|
| 局所 b 関数に付随する stratification アルゴリズムの実装および応用
西山絢太, 野呂正行(神戸大学・理学研究科) | |
| AGM列を用いた楕円曲線の有理点の位数計算法の超楕円を越える曲線への
一般化について
綾野孝則(大阪大学・理学研究科) | |
| 同じアソシエーションスキームを作る群の計算
宮本泉(山梨大学・医学工学総合研究部) | |
| 18:00〜 | 懇親会 |
| 27日(木) | |
| 9:30 〜 11:00 |
|
| 特異点定義方程式のパラメータに関する簡単化の提案
高橋 正(神戸大学・人間発達環境学研究科) | |
| 正規性検定統計量の提案
中川重和(倉敷芸術科学大学) | |
| 近似GCDによる人間らしい簡単化
長坂耕作(神戸大学・人間発達環境学研究科) | |
| 休憩 | |
| 11:10 〜 12:00 |
|
| Z上多項式の近似因数分解の試み
佐々木建昭(筑波大学・数学系) | |
| 数値多項式と関数空間
村上 弘(首都大学東京・理工学研究科) | |
| 休憩 | |
| 13:20 〜 14:50 |
|
| xfy上のMathML content markupエディタの実装と評価
河田貴幸, 片岡正彰, 甲斐 博(愛媛大学・理工学研究科), 田村恭士(ジャストシステム) | |
| 高校生による数式処理システムを使った数学研究3
宮寺良平(関西学院高等部), 峰松大介(大阪大学),松井啓史, 山内俊幸, 井上貴文, 内藤昌宗, 巽創(関西学院高等部) | |
| 視覚障害者の数式処理を用いたRubik's cube解法学習の試み
藤本光史(福岡教育大学・教育学部) | |
Last modified: $Jssac: program.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $