No.1395
Computer Algebra - Design of Algorithms, Implementations and Applications
研究集会報告集
 
2003/12/15〜2003/12/18
野呂 正行
Masayuki Noro
 
目 次
 
1. グレブナー基底計算のためのweight生成アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)------1
    神戸大学自然科学研究科 / 神戸大学理学部数学科   木村 欣司 / 野呂 正行 (Kimura, Kinji / Noro, Masayuki)
 
2. パラメーターが指数部に現れる連立代数方程式について (Computer Algebra : Design of Algorithms, Implementations and Applications)----8
    九州大学数理学研究院   横山 和弘 (Yokoyama, Kazuhiro)
 
3. トーリックイデアルに対する$F_4,F_5$アルゴリズムの解析 (Computer Algebra : Design of Algorithms, Implementations and Applications)---16
    東京大学情報理工学系研究科コンピュータ科学専攻   中山 裕貴 (Nakayama, Hiroki)
 
4. Stability of Grobner bases and ACGB (Computer Algebra : Design of Algorithms, Implementations and Applications)------------------24
    東京理科大学理学部   佐藤 洋祐 (Sato, Yosuke)
 
5. Generic Grobner basis in $\mathcal{\hat{D}}$-announcement (Computer Algebra : Design of Algorithms, Implementations and Applications)---31
    神戸大学理学部   Bahloul, Rouchdi
 
6. Transformations of Gauss hypergeometric functions (Computer Algebra : Design of Algorithms, Implementations and Applications)----38
    九州大学数理学研究院   Vidunas, Raimundas
 
7. Risa/Asir Package for Non-commutative Grobner Bases and its Applications (Computer Algebra : Design of Algorithms, Implementations and Applications)---45
    金沢大学理学部計算科学科   小原 功任 (Ohara, Katsuyoshi)
 
8. 有理関数のローラン展開アルゴリズムと代数的局所コホモロジー (Computer Algebra : Design of Algorithms, Implementations and Applications)---50
    新潟大学工学部情報工学科 / 新潟大学工学部情報工学科   加藤 涼香 / 田島 慎一 (Kato, Sayaka / Tajima, Shinichi)
 
9. 零次元準素イデアルとNoether作用素アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)--------57
    新潟大学工学部情報工学科   田島 慎一 (Tajima, Shinichi)
 
10. 多変数多項式の絶対既約半径の改良? (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------64
    山口大学メディア基盤センター   長坂 耕作 (Nagasaka, Kosaku)
 
11. Approximate Computation of Pseudovarieties (Computer Algebra : Design of Algorithms, Implementations and Applications)----------71
    / 愛媛大学工学部 /   / 甲斐 博 / (Corless, Robert M. / Kai, Hiroshi / Watt, Stephen M.)
 
12. 多項式とその導関数の近接根を分離する定理 (Computer Algebra : Design of Algorithms, Implementations and Applications)------------76
    筑波大学数学系   佐々木 建昭 (Sasaki, Tateaki)
 
13. 近似特異な多項式と多項式系 (Computer Algebra : Design of Algorithms, Implementations and Applications)--------------------------83
    筑波大学数学系   佐々木 建昭 (Sasaki, Tateaki)
 
14. PC-PRS算法による多変数近似GCD計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------91
    筑波大学数理物質科学研究科   讃岐 勝 (Sanuki, Masaru)
 
15. 再帰的な部分終結式と1変数代数方程式の実根の個数の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)---97
    筑波大学数学系   照井 章 (Terui, Akira)
 
16. 多項式GCDを用いた復号法に関する研究 (Computer Algebra : Design of Algorithms, Implementations and Applications)----------------104
    愛媛大学理工学研究科 / 愛媛大学工学部 / 愛媛大学工学部   上原 剛 / 甲斐 博 / 野田 松太郎 (Uehara, Go / Kai, Hiroshi / Noda, Matu-Tarow)
 
17. 拡張Hensel構成を用いた多変数多項式の因数分解 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------111
    筑波大学数学研究科   稲葉 大樹 (Inaba, Daiju)
 
18. 多変数多項式の解析的因数分解アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------119
    筑波大学数理物質科学研究科   岩見 真希 (Iwami, Maki)
 
19. 代数幾何的な多変数多項式既約証明アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications)-------126
    東京大学情報理工学系研究科コンピュータ科学専攻   ベック 和穂 エリック (Beck, Kazuho Erik)
 
20. PDA用手書き数式入力インターフェースAsirPadの開発 (Computer Algebra : Design of Algorithms, Implementations and Applications)---132
    福岡教育大学   藤本 光史 (Fujimoto, Mitsushi)
 
21. OpenXMの新サーバ, 新プロトコル (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------138
    OpenXM開発グループ / OpenXM開発グループ / OpenXM開発グループ / OpenXM開発グループ   岩根 秀直 / 小原 功任 / 野呂 正行 / 高山 信毅 (Iwane, Hidenao / Ohara, Katsuyoshi / Noro, Masayuki / Takayama, Nobuki)
 
22. スクリプト言語による計算数論システムの開発 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------144
    東京都立大学理学研究科   松井 鉄史 (Matsui, Tetsushi)
 
23. 実射影平面上8直線アレンジメントの観測による幾何学的性質 (Computer Algebra : Design of Algorithms, Implementations and Applications)---150
    武庫川女子大学 / 東京農工大学   福井 哲夫 / 関口 次郎 (Fukui, Tetsuo / Sekiguchi, Jiro)
 
24. 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)---157
    法政大学工学部 / 法政大学工学部 / 日本電信電話株式会社NTTコミュニケーション科学基礎研究所 / 日本電信電話株式会社NTTコミュニケーション科学基礎研究所   宮本 健司 / 大矢 孝次 / 関川 浩 / 白柳 潔 (Miyamoto, Kenji / Ohya, Koji / Sekigawa, Hiroshi / Sirayanagi, Kiyoshi)
 
25. Constrained Guided Spiral Transition Curves (Computer Algebra : Design of Algorithms, Implementations and Applications)--------164
    鹿児島大学理工学研究科 / 鹿児島大学理工学研究科   / 酒井 宦 (Habib, Zulfiqar / Sakai, Manabu)
 
26. Associative binary operators for quadratic rational maps (Computer Algebra : Design of Algorithms, Implementations and Applications)---171
    城西大学理学部 / 城西大学大学院   西沢 清子 / 尾身 和馬 (Nishizawa, Kiyoko / Omi, Kazuma)
 
27. ハミルトン系の標準化逆問題と数式処理 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------178
    京都大学情報学研究科   上野 嘉夫 (Uwano, Yoshio)
 
28. アソシエーションスキームの拡張と2重可移群の計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)----185
    山梨大学医学工学総合研究部   宮本 泉 (Miyamoto, Izumi)
 
29. 部分積分法による数値積分法 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------------190
    神奈川工科大学工学部 / 神奈川工科大学工学部 / 神奈川工科大学情報学部   平山 弘 / 館野 裕文 / 平野 照比古 (Hirayama, Hiroshi / Tateno, Hirobumi / Hilano, Teruhiko)
 
30. 整定時間のべき級数表現について (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------196
    山口大学教育学部   北本 卓也 (Kitamoto, Takuya)
 
31. 一変数代数方程式の行列固有値解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------198
    東京都立短期大学経営情報学科   村上 弘 (Murakami, Hiroshi)
 
32. $G$関数を用いた数学公式データベースの実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)---205
    愛媛大学理工学研究科 / 愛媛大学工学部 / 愛媛大学工学部   森永 昌義 / 甲斐 博 / 野田 松太郎 (Morinaga, Masayoshi / Kai, Hiroshi / Noda, Matu-Tarow)
 
33. HTMLによる数式表示 (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------------------212
    独立行政法人産業技術総合研究所   元吉 文男 (Motoyoshi, Fumio)
 
34. 行列計算と基本線形演算の実装法について (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------218
    株式会社アルファオメガ / 電気通信大学 / 株式会社アルファオメガ   兵頭 礼子 / 村尾 裕一 / 齋藤 友克 (Hyodo, Noriko / Murao, Hirokazu / Saito, Tomokazu)
 
35. 多項式行列の行列式の補間による計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)-----------------224
    神戸大学自然科学研究科   木村 欣司 (Kimura, Kinji)
 
36. A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)---231
    株式会社アルファオメガ / 株式会社富士通研究所 / 株式会社富士通研究所 / 東京大学   坂部 啓 / 屋並 仁史 / 穴井 宏和 / 原 辰次 (Sakabe, Kei / Yanami, Hitoshi / Anai, Hirokazu / Hra, Shinji)
 
37. SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)---238
    株式会社富士通研究所   屋並 仁史 (Yanami, Hitoshi)
 
38. 未定パラメータを含む常微分方程式の取り扱いについて : 動力学的設計問題への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)---245
    産業技術総合研究所   沢田 浩之 (Sawada, Hiroyuki)
 
39. Mathematical Knowledge Browser (Computer Algebra : Design of Algorithms, Implementations and Applications)---------------------252
    九州大学数理学研究院 / 九州大学数理学研究院   中川 康二 / 鈴木 昌和 (Nakagawa, Koji / Suzuki, Masakazu)
 
40. 自動証明を効果的に行うための手法 (Computer Algebra : Design of Algorithms, Implementations and Applications)-------------------259
    電気通信大学情報工学科 / 電気通信大学情報工学科   大嶋 真治 / 村尾 裕一 (Ohshima, Shinji / Murao, Hirokazu)
 
41. Risa/Asirの新グレブナー基底計算パッケージについて (Computer Algebra : Design of Algorithms, Implementations and Applications)---267
    神戸大学理学部   野呂 正行 (Noro, Masayuki)