No.848

1992/11/24〜1992/11/26

仁木 直人

Naoto Niki

目　次

1. 5次方程式の可解性の高速判定法(数式処理における理論と応用の研究)-------------------------------------------------------------------1

　　　　電子技術総合研究所　　　元吉 文男　(MOTOYOSHI, Fumio)

　

2. On Kronecker-Trager's Factorization Method(Theory and applications in computer algebra)-------------------------------------------6

　　　　筑波大学大学院数学研究科 / 筑波大学自然学類 / 筑波大学数学系　　　片町 健太郎 / 椎原 浩輔 / 佐々木 建昭　(KATAMACHI, Kentaro / SHIIHARA, Kousuke / SASAKI, Takeaki)

　

3. Factoring Multivariate Polynomial modulo a Monic Reducible Polynomial(Theory and applications in computer algebra)---------------13

　　　　筑波大学数学系 / 筑波大学数学系　　　北本 卓也 / 佐々木 建昭　(KITAMOTO, Takuya / SASAKI, Takeaki)

　

4. 零因子をもつ環上の逆行列計算について(数式処理における理論と応用の研究)-----------------------------------------------------------17

　　　　富士通国際研究所 / 富士通国際研究所　　　竹島 卓 / 横山 和弘　(TAKESHIMA, Taku / YOKOYAMA, Kazuhiro)

　

5. 組合せ論に現れたある種の行列式と行列の記号的LDU分解(数式処理における理論と応用の研究)--------------------------------------------27

　　　　熊本大学理学部　　　吉田 知行　(YOSHIDA, Tomoyuki)

　

6. Young tableaux の構成アルゴリズム(数式処理における理論と応用の研究)--------------------------------------------------------------38

　　　　九州大学総合理工学研究科 / 九州大学理学部 / 岡山理科大学理学部　　　橋口 博樹 / 仁木 直人 / 中川 重和　(HASHIGUCHI, Hiroki / NIKI, Naoto / NAKAGAWA, Shigekazu)

　

7. Simple K3 Singularities の Moduli について II(数式処理における理論と応用の研究)--------------------------------------------------49

　　　　神戸大学発達科学部　　　高橋 正　(TAKAHASHI, Tadashi)

　

8. 最近の素数判定アルゴリズム(数式処理における理論と応用の研究)---------------------------------------------------------------------58

　　　　工学院大学　　　牧野 潔夫　(MAKINO, Isao)

　

9. The configuration space of 6 points in P$^2$, the moduli space of cubic surfaces and the Weyl group of type $E_6$(Theory and applications in computer algebra)---74

　　　　電気通信大学　　　関口 次郎　(SEKIGUCHI, Jiro)

　

10. Algebraic Manipulation for Formal Solutions(Theory and applications in computer algebra)----------------------------------------86

　　　　熊本大学理学部　　　交野 雅代　(KATANO, Masayo)

　

11. Algorithm of solving second order linear ordinary differential equations and its implementation in REDUCE(Theory and applications in computer algebra)---100

　　　　Dept. Algebra and Geometry, Samara State University / Dept. Applied Mathematics, Samara State Avia-Space University　　　Berkovich, L.M. / Berkovich, F.L.

　

12. The Entropy of the Moduli Space of the Real Cubic Polynomials(Theory and applications in computer algebra)---------------------109

　　　　上智大学理工学部数学科 / 上智大学理工学部数学科　　　野尻 朝子 / 西沢 清子　(NOJIRI, Asako / NISHIZAWA, Kiyoko)

　

13. 幾何学的手法によるNewton写像の収束鉢の幅の評価(数式処理における理論と応用の研究)-----------------------------------------------120

　　　　上智大学大学院理工学研究科数学専攻 / 上智大学理工学部数学科　　　藤村 雅代 / 西沢 清子　(FUJIMURA, Masayo / NISHIZAWA, Kiyoko)

　

14. 数式処理と区間演算の結合 : 複素区関数の場合(数式処理における理論と応用の研究)--------------------------------------------------132

　　　　愛媛大学工学部 / 愛媛大学工学部　　　近藤 祐史 / 野田 松太郎　(KONDOH, Yuji / NODA, Matu-Tarow)

　

15. 近似的GCDを用いた有理関数近似(数式処理における理論と応用の研究)----------------------------------------------------------------147

　　　　愛媛大学工学部 / 愛媛大学工学部　　　甲斐 博 / 野田 松太郎　(KAI, Hiroshi / NODA, Matu-Tarow)

　

16. 近似代数計算のためのC++による数式処理クラスライブラリーの開発(数式処理における理論と応用の研究)--------------------------------162

　　　　詫間電波工業高等専門学校　　　福井 哲夫　(FUKUI, Tetsuo)

　

17. The algorithms for deciding some properties of finite convergent string rewriting systems(Theory and applications in computer algebra)---177

　　　　Lanzhou University / Lanzhou University　　　Mingchao, Guo / Lian, Li

　

18. 数学理解支援システムINGRASYの構築(数式処理における理論と応用の研究)------------------------------------------------------------188

　　　　慶應義塾大学理工学部 / 慶應義塾大学理工学部　　　斉藤 洋美 / 永田 守男　(SAITO, Hiromi / NAGATA, Morio)

　

19. Kan(環):非可換環の得意な数式処理システム(数式処理における理論と応用の研究)-----------------------------------------------------195

　　　　神戸大学理学部数学科　　　高山 信毅　(TAKAYAMA, Nobuki)

　

20. Macintosh 版 Risa/Asir(数式処理における理論と応用の研究)-----------------------------------------------------------------------196

　　　　富士通国際研究所　　　野呂 正行　(NORO, Masayuki)

　

21. 公式データベースによる不定積分の求解パッケージ(数式処理における理論と応用の研究)-----------------------------------------------199

　　　　豊橋技術科学大学 / 豊橋技術科学大学 / 豊橋技術科学大学　　　高橋 岳之 / 長野 英二 / 斉藤 制海　(TAKAHASHI, Takeyuki / CHONO, Eiji / SAITO, Osami)