| 15日(月) | |
| 13:00 〜 15:00 | |
| グレブナー基底計算のための weight 生成アルゴリズム
木村 欣司 (神戸大・自然科学研究科), 野呂 正行 (神戸大・理) | |
| On Systems of Polynomial Equations with Indeterminate Exponents
横山 和弘 (九大・数理) | |
| トーリックイデアルのグレブナ基底を求めるアルゴリズムについて
中山 裕貴 (東大・情報理工学系研究科) | |
| グレブナー基底のスタビリティーと ACGB について
佐藤 洋祐 (東京理科大・理) | |
| 休憩 | |
| 15:15 〜 17:45 | |
| Generic Groebner basis in {$\hat D$}
Rouchdi Bahloul (神戸大・理) | |
| Transformations of Gauss hypergeometric functions
Raimundas Vidunas (九大・数理) | |
| Risa/Asir Package for Non-commutative Gr\"obner Bases and its Applications
小原 功任 (金沢大・理) | |
| 有理関数のローラン展開アルゴリズムと代数的局所コホモロジー
加藤 涼香 (新潟大・工), 田島 慎一 (新潟大・工) | |
| 零次元準素イデアルとネター作用素アルゴリズム
田島 慎一 (新潟大・工) | |
| 16日(火) | |
| 9:00 〜 10:30 | |
| 多変数多項式の近似因数分解について
長坂 耕作 (山口大・メディア基盤センター) | |
| 擬多様体の近似計算
甲斐 博 (愛媛大・工) | |
| 多項式とその導関数の近接根の存在領域定理
佐々木 建昭 (筑波大・数学系) | |
| 休憩 | |
| 10:45 〜 12:15 | |
| 近似特異と近似特異点
佐々木 建昭 (筑波大・数学系) | |
| PC-PRS 算法による多変数近似 GCD 計算
讃岐 勝 (筑波大・数理物質科学研究科) | |
| 再帰的な部分終結式と1変数代数方程式の実根の個数の計算
照井 章 (筑波大・数学系) | |
| 昼食休憩 | |
| 13:15 〜 15:15 | |
| 多項式 GCD を用いた復号法に関する研究
上原 剛 (愛媛大・理工学研究科) | |
| 拡張 Hensel 構成による多変数多項式の因数分解
稲葉 大樹 (筑波大・数学研究科) | |
| 多変数多項式の解析的因数分解アルゴリズム
岩見 真希 (筑波大・数理物質科学研究科) | |
| 多変数多項式が既約であることの十分条件を計算するアルゴリズム
ベック和穂エリック (東大・情報理工学系研究科) | |
| 休憩 | |
| 15:30 〜 17:00 | |
| PDA 用手書き数式入力インターフェース AsirPad の開発
藤本 光史 (福岡教育大・教育) | |
| OpenXM の新 RFC および新規サーバについて
岩根 秀直, 野呂 正行, 小原 功任, 高山 信毅 (OpenXM committers) | |
| スクリプト言語による計算数論システムの開発
松井 鉄史 (都立大・理学研究科) | |
| 18:30〜 | 懇親会 |
| 17日(水) | |
| 9:00 〜 10:00 | |
| 実射影平面上 8 直線アレンジメントの観測による幾何学的性質
福井 哲夫 (武庫川女子大・生活環境学部), 関口 次郎 (東京農工大・工) | |
| 初等幾何の自動証明における補助線の効率的な発見法について
宮本 健司, 大矢 孝次(法政大・工) | |
| 休憩 | |
| 10:15 〜 12:15 | |
| Constrained Guided Spiral Transition Curves
Zulfiqar Habib (鹿児島大・理工学研究科), Manabu Sakai (鹿児島大・理) | |
| Associative binary operators for quadratic rational maps
西沢 清子, 尾身 和馬 (城西大・理学研究科) | |
| ハミルトン力学系の標準化逆問題と数式処理
上野 嘉夫 (京大・情報学研究科) | |
| アソシエーションスキームの拡張と 2 重可移群の計算
宮本 泉 (山梨大・医学工学総合研究部) | |
| 昼食休憩 | |
| 13:15 〜 14:45 | |
| 部分積分法を利用した数値積分法
平山 弘, 舘野 裕文 (神奈川工科大・工), 平野 照比古 (神奈川工科大・情報) | |
| ステップ応答の整定時間のベキ級数表現について
北本 卓也 (山口大・教育) | |
| 代数方程式の行列固有値解法について
村上 弘 (都立短大・経営情報学科) | |
| 休憩 | |
| 15:00 〜 17:00 | |
| G 関数を用いた数学公式データベースの実装について
森永 昌義 (愛媛大・理工学研究科), 甲斐 博, 野田 松太郎 (愛媛大・工) | |
| HTML による数式の記述
元吉 文男 (産総研・知能システム研究部門) | |
| 行列計算と基本線形演算の実装について
兵頭 礼子(アルファオメガ), 村尾 裕一 (電通大・情報工学科), 齊藤 友克 (アルファオメガ) | |
| 多項式行列の行列式の補間による計算
木村 欣司 (神戸大・自然科学研究科) | |
| 18日(木) | |
| 9:00 〜 10:00 | |
| A MATLAB Toolbox for Parametric Robust Control System
Design based on symbolic computation
坂部 啓 (), 屋並 仁史, 穴井 宏和 (富士通研・IT コア研究所) 原 辰次 (東大・情報理工学系研究科) | |
| Maple 上の代数制約問題解決ツール SyNRAC
屋並 仁史 (富士通研・IT コア研究所) | |
| 休憩 | |
| 10:15 〜 12:15 | |
| 未定パラメータを含む常微分方程式の取り扱いについて
-動力学的設計問題への応用-
沢田 浩之 (産総研・ものづくり先端技術センター) | |
| OCR 後の数学文書からの構造とリンクの抽出
中川 康二(九大・数理) | |
| 自動証明を効果的に行うための手法
大嶋 真治, 村尾 裕一 (電通大・情報工学科) | |
| Risa/Asir 上での新グレブナー基底計算パッケージについて
野呂 正行 (神戸大・理) | |
Last Modefied $Jssac: program.html,v 1.1.1.1 2015/11/18 16:09:26 html Exp $