No.986
数式処理における理論と応用の研究
 
1996/11/18〜1996/11/21
加古富志雄
 
目 次
 
1. Geometry of 7 lines on the real projective plane and the root system of type $E_7$------------------------------------------------1
    姫路工業大学理学部   関口 次郎 (Sekiguchi, Jiro)
 
2. GALにおける近似代数演算の諸機能(数式処理における理論と応用の研究)-----------------------------------------------------------------9
    筑波大学数学系 / 奈良女子大学理学部   佐々木 建昭 / 加古 富志雄 (Sasaki, Tateaki / Kako, Fujio)
 
3. Risa/Asir の関数描画機能の拡張について(数式処理における理論と応用の研究)---------------------------------------------------------16
    詫間電波高等専門学校 / 埼玉女子短期大学 / 上智大学理工学部   近藤 祐史 / 三好 善彦 / 齋藤 友克 (Kondoh, Yuji / Miyoshi, Yoshihiko / Saito, Tomokatsu)
 
4. 近似代数を用いた代数曲面の描画方法(数式処理における理論と応用の研究)-------------------------------------------------------------22
    武庫川女子大学生活環境学部   福井 哲夫 (Fukui, Tetsuo)
 
5. 超幾何多項式と整数計画法(数式処理における理論と応用の研究)-----------------------------------------------------------------------31
    北海道大学理学部 / 神戸大学理学部   齋藤 睦 / 高山 信毅 (Saito, Mutsumi / Takayama, Nobuki)
 
6. Replicable function の Risa/Asir による計算(数式処理における理論と応用の研究)----------------------------------------------------34
    (株)富士通研究所HPC研究センター   野呂 正行 (Noro, Masayuki)
 
7. Bifurcation for skew tent maps I : Stair type :----------------------------------------------------------------------------------41
    お茶の水女子大学 / 城西大学理学部   市村 圭子 / 西沢 清子 (Ichimura, Keiko / Nishizawa, Kiyoko)
 
8. Bifurcations for skew tent maps II : Renormalization :---------------------------------------------------------------------------49
    お茶の水女子大学理学研究科 / 城西大学理学部   伊藤 みちほ / 西沢 清子 (Ito, Michiho / Nishizawa, Kiyoko)
 
9. Singular parts of moduli spaces for cubic polynomials and quadratic rational maps------------------------------------------------57
    Dept. of Math., College of Sci. and Tech., Nihon Univ.   FUJIMURA, Masayo
 
10. The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm--------------------------------------------66
       Encarnacion, Mark J.
 
11. Ring Story----------------------------------------------------------------------------------------------------------------------73
    Dept. of Math., Coll. of Sci. / Dept. of Math., Coll. of Sci. / Dept. of Math., Coll. of Sci.   Kobayashi, Hidetsune / Lin, Dongdai / Sakai, Yoshihiko[他]
 
12. Algorithms of primary decomposition of polynomial ideals and their applications-------------------------------------------------77
    High Performance Computing Research Center, FUJITSU LABORATORIES LIMITED   Yokoyama, Kazuhiro
 
13. 逐次代数拡大体の簡約表現(数式処理における理論と応用の研究)----------------------------------------------------------------------78
    電子技術総合研究所   元吉 文男 (Motoyoshi, Fumio)
 
14. 拡張された Mahler の measure による代数的数のゼロ判定(数式処理における理論と応用の研究)-----------------------------------------83
    NTTコミュニケーション科学基礎研究所   関川 浩 (Sekigawa, Hiroshi)
 
15. 近似計算による代数関数の実特異点の検出について(数式処理における理論と応用の研究)------------------------------------------------92
    筑波大学大学院数学研究科 / 筑波大学数学系   照井 章 / 佐々木 建昭 (Terui, Akira / Sasaki, Tateaki)
 
16. 多変数 Puiseux 級数の演算及びその応用 II(数式処理における理論と応用の研究)-----------------------------------------------------100
    筑波大学大学院数学研究科   片町 健太郎 (Katamachi, Kentaro)
 
17. 種数計算とヘンゼル構成の関係について(数式処理における理論と応用の研究)---------------------------------------------------------105
    筑波大学数学研究科   椎原 浩輔 (Shiihara, Kosuke)
 
18. 一変数多項式の因数分解の効率化 : 因子の個々の係数上限の利用(数式処理における理論と応用の研究)----------------------------------110
    筑波大学大学院理工学研究科 / 筑波大学数学系   塚田 康弘 / 佐々木 建昭 (Tsukada, Yasuhiro / Sasaki, Tateaki)
 
19. 一変数多項式の因子分離法と重根・近接根問題への応用(数式処理における理論と応用の研究)-------------------------------------------118
    筑波大学大学院理工学研究科 / 筑波大学数学系   尾崎 裕一 / 佐々木 建昭 (Ozaki, Yu-ichi / Sasaki, Tateaki)
 
20. 近似根とその応用について(数式処理における理論と応用の研究)---------------------------------------------------------------------127
    筑波大学数学系   北本 卓也 (Kitamoto, Takuya)
 
21. 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)---------------------------------------136
    東京職業能力開発短期大学情報処理学科 / 日本大学理工学部数学科   鈴木 秀男 / 小林 英恒 (Suzuki, Hideo / Kobayashi, Hidetsune)
 
22. Implementing Sturm's Algorithm and Its Application-----------------------------------------------------------------------------147
    愛媛大学工学部 / 愛媛大学工学部   呂 其凡 / 野田 松太郎 (Lu, Qifan / Noda, Matu-Tarow)
 
23. 数学教育における図形ツールと数式処理システムの併用(数式処理における理論と応用の研究)-------------------------------------------153
    神戸大学大学院教育学研究科 / 神戸大学発達科学部   大西 咲文 / 高橋 正 (Ohnishi, Sakihumi / Takahashi, Tadashi)
 
24. 近似的GCDを用いた連分数展開のハイブリッド積分への応用(数式処理における理論と応用の研究)----------------------------------------157
    愛媛大学工学部 / 愛媛大学工学部   甲斐 博 / 野田 松太郎 (Kai, Hiroshi / Noda, Matu-Tarow)
 
25. Risa/Asir による一般逆行列の計算とその連想記憶への応用(数式処理における理論と応用の研究)---------------------------------------166
    愛媛大学工学部 / 愛媛大学工学部 / 愛媛大学工学部   水口 寛之 / 甲斐 博 / 野田 松太郎 (Minakuchi, Hiroyuki / Kai, Hiroshi / Noda, Matu-Tarow)
 
26. 数式処理システムとデータベースの結合とデータ解析への応用(数式処理における理論と応用の研究)-------------------------------------174
    愛媛大学工学部 / 愛媛大学工学部 / 上智大学理工学部   白石 啓一 / 甲斐 博 / 齋藤 友克[他] (Shiraishi, Kei-ichi / Kai, Hiroshi / Saito, Tomokatsu)
 
27. Lagrange Maltipliers に関する数式処理の3次元グラフィックスについて(数式処理における理論と応用の研究)---------------------------181
       笠嶋 友美 (Kasajima, Tomomi)
 
28. 一般逆行列のmodulo計算アルゴリズムとその効率(数式処理における理論と応用の研究)-------------------------------------------------185
    工学院大学 / 工学院大学   齊藤 敏明 / 牧野 潔夫
 
29. 浮動小数ジョルダン標準形の安定化(数式処理における理論と応用の研究)-------------------------------------------------------------195
    奈良先端科学技術大学院大学 / NTTコミュニケーション科学研究所   新妻 弘崇 / 白柳 潔 (Niitsuma, Hirotaka / Shirayanagi, Kiyoshi)
 
30. Distance-Regular Graph の分類について(数式処理における理論と応用の研究)--------------------------------------------------------206
    Sophia University   加藤 誠 (Katoh, Makoto)
 
31. 楕円母集団下での統計量分布高次漸近展開のための行列微分について(数式処理における理論と応用の研究)-------------------------------210
    東京理科大学工学研究科 / 東京理科大学工学部 / 東京理科大学工学部   井上 達紀 / 岩下 登志也 / 橋口 博樹[他] (Inoue, Tatsuki / Iwashita, Toshiya / Hashiguchi, Hiroki)
 
32. 線形要素を用いた境界要素法における解析的積分(数式処理における理論と応用の研究)-------------------------------------------------218
    工学院大学一般教育部   北原 清志 (Kitahara, Kiyoshi)
 
33. 多項式の高速多点評価法とその並列処理について : 高速プログラムの開発へ向けて(数式処理における理論と応用の研究)------------------224
    東京大学大型計算機センター   村尾 裕一 (MURAO, Hirokazu)