| 13日(月) | |
| 13:00 〜 15:00 | |
| 主係数が特異な場合の多変数多項式の解析的因数分解
岩見真希 (筑波大・数理物質科学研究科) | |
| 拡張Hensel構成を用いた多変数多項式の因数分解の効率性
稲葉大樹 (筑波大・数理物質科学研究科) | |
| 近接根をもつ1変数多項式の最小根間距離について
佐々木建昭 (筑波大・数学系)加古富志雄(奈良女子大・理) | |
| 1変数代数方程式の1つの近接根クラスタに含まれる近接根の計算
照井章 (筑波大・数理物質科学研究科) 佐々木建昭 (筑波大・数理物質科学研究科) | |
| 休憩 | |
| 15:30 〜 16:30 | |
| genus0の代数曲線のparametrization
藤堂秀平 (神戸大・自然科学研究科) | |
| 置換群の可移拡大の計算法
宮本泉 (山梨大・医学工学総合研究部) | |
| 14日(火) | |
| 9:00 〜 10:30 | |
| Symbolic-Numeric Optimization for Kinetic Models---An application to bioinformatics field---
Shigeo Orii (富士通) Hirokazu Anai (富士通研/CREST JST) Katsuhisa Horimoto (東大・医科学研究所) | |
| Numerical Cylindrical Algebraic Decomposition with Certificated Reconstruction
Hirokazu Anai (富士通研/CREST JST) Kazuhiro Yokoyama (九大・数理) | |
| Development of SyNRAC---A Cylindrical Algebraic Decomposition Procedure
Hitoshi Yanami (富士通研/CREST JST) Hirokazu Anai (富士通研/CREST JST) | |
| 休憩 | |
| 11:00 〜 12:00 | |
| Sum of Roots with Negative Real Parts
Kazuhiro Yokoyama (九大・数理)Hirokazu Anai (富士通研/CREST JST)Shinji Hara (東大・情報理工学系研究科) | |
| A quick computation of all kinds of transversals for dissections of an arrangement
Tetsuo Fukui (武庫川女子大・生活環境学部) Jiro Sekiguchi (東京農工大・工) | |
| 昼食休憩 | |
| 13:30 〜 15:00 | |
| 数学 Web サービスにおけるグラフ表示サービスとその教育への応用
渡辺巧 (愛媛大・工) 甲斐博 (愛媛大・工) 野田松太郎 (愛媛大・工) | |
| Web 上での数式表現について
甘利淳一 (神戸大・総合人間科学研究科) 田畑博光 (神戸大・総合人間科学研究科) 高橋正 (神戸大・発達科学) | |
| 数式処理機能をもつ黒板アプレットの数学教育における利用について
出口博章 (神戸大・国際協力研究科) 高橋正 (神戸大・発達科学) | |
| 休憩 | |
| 15:30 〜 17:00 | |
| 人間らしい初等幾何証明における角の取り扱いについて
白柳潔 (NTTコミュニケーション科学基礎研究所) 宮本健司 (法政大・工) 山本航 (法政大・工) 関川浩 (NTTコミュニケーション科学基礎研究所) | |
| 数式処理とコンパイラ-コンパイラインフラストラクチャ coins の活用-
藤瀬哲朗 (三菱総研) 西岡利博 (三菱総研) 渡邊坦 (電通大) | |
| 式変形支援システムの作成
元吉文男 (産総研・知能システム研究部門) | |
| 18:30〜 | 懇親会 |
| 15日(水) | |
| 9:00 〜 10:00 | |
| 局所グレブナファンの存在定理, 計算アルゴリズム, およびその実装
高山信毅 (神戸大・理) RouchdiBahloul (神戸大・理) | |
| Mora の割り算アルゴリズムと local-b 関数の計算アルゴリズム
中山洋将 (神戸大・自然科学研究科) | |
| 休憩 | |
| 10:30 〜 12:00 | |
| 零次元代数的局所コホモロジーとパラメータつきスタンダード基底の計算法
田島慎一 (新潟大・工) 中村弥生 (近畿大・理工) | |
| 留数計算アルゴリズム
田島慎一 (新潟大・工) 庄司卓夢 (新潟大・自然科学研究科) | |
| Risa/Asir の行列演算の実装 II
兵頭礼子 (アルファオメガ) 齋藤友克 (アルファオメガ) 村尾裕一 (電通大・情報工学科) | |
| 昼食休憩 | |
| 13:30 〜 15:00 | |
| 数論システム NZmath における複数多項式二次篩法 (MPQS)の実装について
熊木幸司 (東京都立大・理学研究科) | |
| SCILAB への冪級数の導入について
北本卓也 (山口大・教育) | |
| 一般化されたオイラーの定数について
西沢清子 (城西大・理学研究科) 斎藤真一 (城西大・理学研究科) | |
| 休憩 | |
| 15:30 〜 17:00 | |
| 指数対数関数等の超越関数の多倍精度計算
平山弘 (神奈川工科大・工) 森川敦司 (神奈川工科大・工) | |
| real root counting に関する話題
木村欣司 (九大・数理) 山澤宏樹 (京大・情報学研究科) 曽我部知広 (東大・工学系研究科) 横山和弘 (九大・数理) | |
| 連分数展開による有理函数の復元とその応用について
村上弘 (都立短大・経営情報学科) | |
| 16日(木) | |
| 9:00 〜 10:00 | |
| グレブナー基底のスタビリティーについて-その2-
佐藤洋祐 (東京理科大・理) | |
| Discrete Comprehensive Groebner Basesと計算比較
倉田陽介 (立命館大・理工学研究科) 佐藤洋祐 (東京理科大・理) | |
| 休憩 | |
| 10:30 〜 12:00 | |
| 代数体上のイデアルのグレブナー基底計算について
野呂正行 (神戸大・理) | |
| Calculation of Groebner Basis with Parametric Coefficients or Indeterminante Exponents
長坂耕作 (神戸大・発達科学) 高橋正 (神戸大・発達科学) | |
| 数式処理ソフトウェア Maple の現状と数式処理に対する期待
山口 哲 (サイバネットシステム) | |
Last Modefied $Jssac: program.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $