Computer Algebra --
Design of Algorithms,
Implementations and Applications 2007
| 研究代表者 | 藤本 光史 (福岡教育大学・教育学部) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 副代表 | 佐藤 洋祐 (東京理科大学・理学部) | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 題目： | Computer Algebra -- Design of Algorithms, Implementations and Applications |
| 期間： | ２００７年１１月７日(水)１３：３０〜１１月９日(金)１６：００ |
| 場所： | 京都大学数理解析研究所４階４２０号室 |
| 7日(水) | |
| 13:30 〜 14:30 | |
| 係数ドメインを多項式環とする多項式環の簡約グレブナ基底について
鍋島克輔 (JST/東京大学・情報理工学系研究科) | |
| Comprehensive Gr\"obner systemにおけるNabeshima's algorithmの改良とその検証
篠原直行 (JST/立教大学・理学部) | |
| 休憩 | |
| 14:40 〜 16:10 | |
| Groebner walk アルゴリズムの実装および効率化について
野呂正行 (神戸大学・理学研究科) | |
| 安定化理論に基づくInterval Trace Liftingについて
白柳 潔 (東海大学・理学部) 関川 浩 (NTT・コミュニケーション科学基礎研究所) | |
| 悪条件性を推定する浮動小数グレブナー基底の計算法
佐々木建昭 (筑波大学・数理物質科学研究科) 加古富志雄 (奈良女子大学・理学部) | |
| 休憩 | |
| 16:20 〜 17:20 | |
| 離散時間系多項式スペクトル分解の解法
管野政明 (JST/東京大学・情報理工学系研究科) 穴井宏和 (富士通研究所/CREST JST) 横山和弘 (立教大学・理学部/CREST JST) | |
| 高校生による数式処理システムを使った数学研究II
宮寺良平 (関西学院高等部) 峰松大介 (関西学院大学・理工学部) 井上貴文, 松井啓史, 山内俊幸, 内藤昌宗, 巽創, 浜田智, 稗田卓人, 斉田直希 (関西学院高等部) | |
| 8日(木) | |
| 9:30 〜 10:30 | |
| 安定化剰余列算法の改良
讃岐勝 (筑波大学・数理物質科学研究科) | |
| Ruppert行列による近似GCDの算出
長坂耕作 (神戸大学・人間発達環境学研究科) | |
| 休憩 | |
| 10:40 〜 12:10 | |
| 係数の小さい縮小基底
大倉安孝 (筑波大学・数理物質科学研究科) | |
| 判別式と拡張 Hensel 構成
小副川 健 (筑波大学・数理物質科学研究科) | |
| 多変数代数関数のTaylor級数根とHensel級数根の収束領域
佐々木建昭 (筑波大学・数理物質科学研究科) 稲葉大樹 (数検) | |
| 昼食休憩 | |
| 13:20 〜 14:50 | |
| 傾きを用いた衣服記号記述基盤について
桐生裕介 (スタジオフォンズ) 北本卓也 (山口大学・教育学部) 山口哲 (サイバーネットシステム) | |
| Computations of noncommutative Alexander invariants
逆井卓也 (東京大学・数理科学研究科) 桐生裕介 (スタジオフォンズ) | |
| 陰関数描画と区間数演算の効率化について
村尾裕一 (電気通信大学・電気通信学部) 齋藤友克 (アルファオメガ) 近藤祐史 (徳山工業高等専門学校) | |
| 休憩 | |
| 特別講演 | |
| 15:00 〜 16:00 | |
| インタラクティブコンピューティングの世界
五十嵐健夫 (東京大学大学院・情報理工学系研究科) | |
| 休憩 | |
| 16:10 〜 17:40 | |
| 数学ソフトウェアのフロントエンドについて
田村恭士 (ジャストシステム) 甲斐博 (愛媛大学・工学部) 桐生裕介 (スタジオフォンズ) | |
| Gapを用いたRubik's cube解法表示ソフトについて
田崎拓馬 (オービック) 藤本光史 (福岡教育大学・教育学部) | |
| GUIにおける数式の入力・編集について
出口博章(神戸大学) | |
| 18:00〜 | 懇親会 |
| 9日(金) | |
| 10:00 〜 11:00 | |
| 一般化 van der Monde 行列の行列式の計算とその応用
北本卓也 (山口大学・教育学部) 山口哲 (サイバーネットシステム) | |
| 数値代数方程式のフィルタ対角化法による解法
村上弘 (首都大学東京・理工学研究科) | |
| 休憩 | |
| 11:10 〜 12:10 | |
| The presupposed 1st primitive polynomial over a finite field
太刀川弘幸, 照井章 (筑波大学・数理物質科学研究科) | |
| 置換群の組合せ論的可移拡大からできるデザイン
宮本泉 (山梨大学・医学工学総合研究部) | |
| 昼食休憩 | |
| 13:20 〜 14:50 | |
| 脆弱性のない代数曲面公開鍵暗号にむけて
岩見真希 (大阪経済法科大学・教養部) | |
| Le cycle and Noether operators
田島慎一 (新潟大学・工学部) | |
| グレブナー基底による幾何定理の証明について (II) -- イデアル成分の分解の利用
森継修一, 荒井千里 (筑波大学・図書館情報メディア研究科) | |
| 休憩 | |
| 15:00 〜 16:00 | |
| ブール多項式環における消去イデアルの計算について
永井彰, 井上秀太郎 (東京理科大学・理学研究科) 佐藤洋祐 (東京理科大学・理学部) | |
| A new approach to Calculus of Set
井上秀太郎 (東京理科大学・理学研究科) | |