数理解析研究所講究録 986

数式処理における理論と応用の研究

京都大学数理解析研究所
1997 年 4 月

共同利用研究集会報告集

数式処理における理論と応用の研究
研究代表者
加古富志雄
平成 8 年 11 月 18 日 $\sim 21$ 日
次目

1. Geometry of 7 lines on the real projective plane and the root system oftype1$E_{7}$

姫路工大理

関口次郎 (Jiro Sekiguchi)

2. GAL における近似代数演算の諸機能
筑波大学数学奈良女子理

9佐々木建昭 (Tateaki Sasaki)
加古富志雄 (Fujio Kako)

3. Risa/Asir の関数描画機能の拡張について16

近藤祐史 (Yuji Kondoh)埼玉女子短大 三好善彦 (Yoshihiko Miyoshi)
上智大理工 齋藤友克 (Tomokatsu Saito)
詫間電波高専4. 近似代数を用いた代数曲面の描画方法
武庫川女子生活環境

22福井哲夫 (Tetsuo Fukui)

5. 超幾何多項式と整数計画法

31
北海道大理

University of California, Berkley
神戸大理

6. Replicable function の $Risa/Asir$ に
富士通

HPC 研

$X$

齋藤睦 (Mutsumi Saito)

Bernd Sturmfels
高山信毅 (Nobuki Takayama)
る計算

野呂正行 (Masayuki Noro)

7. Bifurcations for skew tent maps I (Stair type)
お茶の水
城西大学

理
理

理

理

41

市村圭子 (Keiko Ichimura)
西沢清子 (Kiyoko Nishizawa)

8. Bifurcations for skew tent maps II (Renormalization)
お茶の水
城西大学

34

伊藤みちほ (Michiho Ito)
西沢清子 (Kiyoko Nishizawa)49

9. Singular parts of moduli spaces for cubic polynomials and quadratic rational maps
57
藤村雅代 (

日本大理工$Mas_{\dot{c}}\iota yo$

FUJIMURA)

10. The Average Number of Modular Factors in Trager’s Polynomial Factorization Algorithm
66

Univ. of Philippines

Mark J. Encarnaci\’on

11. Ring Story

73
日本大理工
日本大理工

VSL
東京職業能力開発短大情報

小林英恒 (Hidetsune Kobayashi)
林東岱 (Dongdai Lin)酒井明彦 (Yoshihiko Sakai)
鈴木秀男 (Hideo Suzuki)

12. Algorithms of primary decomposition of polynomial ideals and theirapplications77
富士通HPC 研

横山和弘 (Kazuhiro Yokoyalna)

13. 逐次代数拡大体の簡約表現
電総研

78
元吉文男 (Fumio Motoyoshi)

14. 拡張された Mahler の measure による代数的数のゼロ判定$NTT\cdot CS$ 研

関川浩 (Hiroshi Sekigawa)15. 近似計算による代数関数の実特異点の検出について
筑波大数学
筑波大数学

92

章 (Akira Terui)
佐々木建昭 (Tateaki $Sasaki$ )照井

16. 多変数 Puiseux 級数の演算及びその応用 II
筑波大・数学83100

片町健太郎 (Kentaro Katanlachi)

17. 回数計算とヘンゼル構成の関係につぃて
筑波大数学

105

椎原浩輔 (Kosuke Shiihara)

18. -変数多項式の因数分解の効率化
因子の個々の係数上限の利用 –110
-筑波大理工筑波大数学

塚田康弘 ( $Yas$ uhiro Tsukada)佐々木建昭 (Tateaki $Sasaki$ )19. -変数多項式の因子分離法と重根近接根問題への応用
筑波大・理工筑波大数学

尾崎裕– (Yu-ichi Ozaki)
佐々木建昭 (Tateaki Sasaki)

20. 近似根とその応用について

127
北本卓也 (Takuya Kitamoto)筑波大数学

21. 連立代数方程式の近接根の分離と擬局所化の可能性について
東京職業能力開発短大情報
日本大学理工数学

神戸大教育
神戸大発達科学153

大西咲文 (Sakihumi Ohnishi)
高橋正 (TadashiTakahashi)-

24. 近似的 GCD を用いた連分数展開のハイブリッド積分への応用

157

甲斐博 (Hiroshi Kai)
野田松太郎 (Matu-Tarow Noda)

25. Risa/Asir による–般逆行列の計算とその連想記憶への応用
愛媛大工
愛媛大工
愛媛大工

147

呂其凡 (Qifan Lu)
野田松太郎 (Matu-Tarow Noda)

23. 数学教育における図形ツールと数式処理システムの併用

愛媛大工
愛媛大工

136

鈴木秀男 (Hideo Suzuki)
小林英回 (Hidetsune Kobayashi)

22. Implementing Sturm’s Algorithm and Its Application
愛媛大工
愛媛大工

118

166

水口寛之 (Hiroyuki Minakuchi)
甲斐博 (Hiroshi Kai)
野田松太郎 (Matu-Tarow Noda)

26. 数式処理システムとデータベースの結合とデータ解析への応用

174

愛媛大工白石啓– (Kei-ichi Shiraishi)
愛媛大工甲斐博 (Hiroshi Kai)
上智大理工 齋藤友克 (Tomokatsu Saito)
愛媛大工野田松太郎 (Matu-Tarow Noda)

27. Lagrange Maltipliers に関する
数式処理の 3 次元グラフィクスについて
笠嶋友美 (Tomomi Kasajima)

18128. 一般逆行列の modulo 計算アルゴリズムとその効率齊藤敏明 (Toshiaki Saito)

工学院大情報
工学院大数学29. 浮動小数$\sqrt[\grave{\backslash }]{}\backslash$185

牧野潔夫 (Isao Makino)

195

ョルダン標準形の安定化
新妻弘崇 (Hirotaka Niitsuma)

奈良先端大情報$NTT\cdot CS$ 研

白柳潔 (Kiyoshi Shirayanagi)

30. Distance-Regular Graph の分類について206

加藤誠 (Makoto Katoh)

上智大数学

31. 楕円母集団下での統計量分布高次漸近展開のための210

行列微分について

東京理科大
東京理科大
東京理科大
東京理科大

工工
工

工

井上達紀 (Tatsuki Inoue)
岩下登志也 (Toshiya Iwashita)
橋口博樹 (Hiroki Hashiguchi)
仁木直人 (Naoto Niki)

32. 線形要素を用いた境界要素法における解析的積分
工学院大

一般教育

218

北原清志 (Kiyoshi Kitahara)

33. 多項式の高速多点評価法とその並列処理について
高速プログラムの開発へ向けて –224
–東京大大型計算機

村尾裕– (Hirokazu MURAO)