| 19日(月) | |
| 13:15 | Opening |
| 座長：高山 信毅 | |
| 13:20 〜 14:20 | |
|
代数的局所コホモロジー類の満たすホロノミック系の構成法について II
田島 慎一（新潟大学工学部）、中村 弥生(お茶の水女子大学大学院） | |
|
非同次常微分方程式の可解条件について II
田島 慎一（新潟大学工学部） | |
| 休憩 | |
| 14:30 〜 15:30 | |
|
Asir による有限群の不変式環の生成元の計算
渡邊 芳英（同志社大学工学部） | |
|
GAPパッケージ parallelGAP の計算実験
宮本 泉(山梨大学) | |
| 休憩 | |
| 15:40 〜 17:00 | |
|
極限コンパスの実装
宮本 健司(法政大学工学部) | |
|
A Machine proof of the proposition
"Ideal $\subseteq \bigcup_i$ PrimeIdeal$_i$
$\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$"
陳 凌鈞 [Chen Lingjun]、 小林 英恒（日大理工）、 村尾 裕一 （電通大）、 鈴木 秀男（職業能力開発総合大） | |
| Machine proof of propositions in ring theory: demo with Isabelle HOL
陳 凌鈞 [Chen Lingjun]，小林 英恒（日大理工）、 村尾 裕一 （電通大）、 鈴木 秀男（職業能力開発総合大） | |
| 20日(火) | |
| 座長：平野 照比古 | |
| 9:00 〜 10:00 | |
|
遅延微分方程式の数値級数展開による解法
平山 弘（神奈川工科大学システムデザイン工学科） | |
|
REDUCEによる有理型差分方程式の保存量の計算
高 敏、加藤泰幸、伊藤雅明（広島大学） | |
| 休憩 | |
| 座長：平山 弘 | |
| 10:10 〜 12:10 | |
|
量子アルゴリズムを用いた多項式GCDの計算
武田 邦敬(愛媛大学理工学研究科)，甲斐 博，野田 松太郎(愛媛大学工学部) | |
|
NMR量子計算機を用いた素因数分解アルゴリズム
國廣 昇 (NTT コミュニケーション科学基礎研究所) | |
|
小標数有限体上の多変数多項式の因数分解について
野呂 正行(神戸大学理学部)，横山 和弘（九州大学数理学府） | |
|
大整数に対する整数・有理数変換について
佐々木 建昭（筑波大学数学系），高橋 善徳（筑波大学教育研究科）， 杉本 卓也（筑波大学理工学研究科） | |
| 休憩 | |
| 座長：白柳 潔 | |
| 13:20 〜 15:20 | |
|
整数行列のFrobenius標準形のモジュラー計算法について
森継 修一（図書館情報大学）、栗山 和子（国立情報学研究所） | |
|
Projective Moduli Space for the Polynomials of Degree n or less
藤村 雅代（防衛大），西沢 清子（城西大） | |
|
Deformation of Singularity on an Irreducible Quartic Curve
by Using the Computer Algebra System Risa/Asir
高橋 正(神戸大学 発達科学部) | |
|
Spiral spline interpolations to a planar spiral
Z. Habib & M.Sakai(鹿児島大学理学部数理情報科学科) | |
| 休憩 | |
| 座長：竹島 卓 | |
| 15:30 〜 17:00 | |
|
数式処理システムの教育利用におけるインタフェースについて
出口 博章（神戸大学発達科学部） | |
|
J/LINKを用いた数式処理計算の方法について
下村 祐貴子，高橋 正(神戸大学 発達科学部) | |
| 数式処理システムを用いた数学教材のWeb化とテストシステムの作成
正田 功，若松 隆，仁井 直人（神戸大学 総合人間科学研究科）， 橋場 弘和（神戸大学附属明石中学校）， 笠原 敏志，高橋 正(神戸大学 発達科学部) | |
| webMathematicaとデータベースの効果的利用について
若松 隆（神戸大学 総合人間科学研究科），高橋 正(神戸大学 発達科学部) | |
| 懇親会 | |
| 21日(水) | |
| 座長：高橋 正 | |
| 9:00 〜 10:30 | |
|
1変数代数方程式の微小根の上界を用いた近接根の計算
照井 章（筑波大学数学系） | |
|
代数関数の解析接続について
佐々木 建昭（筑波大学数学系），稲葉 大樹（筑波大学数学研究科） | |
|
多変数のHensel構成における展開点の特異点からの距離について(仮)
長坂 耕作 (筑波大学大学院数学研究科) | |
| 休憩 | |
| 座長：甲斐 博 | |
| 10:40 〜 12:10 | |
|
非線形振動の分岐現象問題への数式処理の活用
川中子 正(東京工業大学理工学研究科) | |
|
近似グレブナー基底の精度保証計算
鈴木 正幸(岩手大学工学部) | |
| 有効浮動小数点数を使ったＷｕの算法の近似計算
加古 富志雄（奈良女子大学） | |
| 休憩 | |
| 座長：野呂 正行 | |
| 13:20 〜 15:20 | |
|
A Parameter Space Approach for Fixed-order
robust controller synthesis by a quantifier elimination
穴井 宏和 (富士通研究所)，原 辰次 (東京工業大学) | |
|
媒介変数を係数に含む多項式に対するGr\"obner basesについて
佐藤 洋祐(立命館大学)，鈴木 晃(神戸大学) | |
|
グレブナ基底計算を効率的に行うための項順序自動設定法
沢田 浩之（産業技術総合研究所） | |
|
整数計画問題のためのGroebner基底変換アルゴリズム
伊藤 雅史，平林 隆一(東京理科大学) | |
| 休憩 | |
| 座長：佐藤 洋祐 | |
| 15:30 〜 17:00 | |
|
安定化理論に関するいくつかの注意
白柳 潔(NTT コミュニケーション科学基礎研究所) | |
|
区間演算によるハイブリッド有理関数近似と安定化理論について
村上 裕美(愛媛大学理工学研究科)， 甲斐 博，野田 松太郎(愛媛大学工学部) | |
|
安定化した Wu's method のロボット制御への応用
白石 啓一(詫間電波高専)，甲斐 博，野田 松太郎(愛媛大学工学部) | |
| 22日(木) | |
| 座長：牧野 潔夫 | |
| 9:30 〜 10:30 | |
| 線形分離写像による連立代数方程式の求解
竹島 卓（富士通研究所），齋藤 友克（アルファオメガ）， 近藤 祐史(詫間電波高専) | |
|
べき級数の係数の計算法について
北本 卓也（山口大学教育学部） | |
| 休憩 | |
| 10:40 〜 12:10 | |
| 逆行列計算における Lanczos法と Wiedemannのアルゴリズムの比較
青山 豪，牧野 潔夫（工学院大） | |
|
asir の Matrix 演算の実装について
兵頭 礼子（アルファオメガ），村尾 裕一（電通大），齋藤 友克（アルファオメガ） | |
|
区間演算による多項式の評価について
平野 照比古(神奈川工科大学) | |
| 12:10 | Closing |