No.865

1993/10/28〜1993/10/29

鳥居 達生

Tatsuo Torii

目　次

1. グラム・シュミット法による第1種フレドホルム積分方程式の解法(数値計算における精度保証付き算法とその計算量に関する研究)-------------1

　　　　名古屋大学工学部 / 名古屋大学工学部　　　細田 陽介 / 鳥居 達生　(Hosoda, Yohsuke / Torii, Tatsuo)

　

2. On Interval Analysis of AC Network Equation(Self Validation Algorithm and its Complexity in Numerical Computation)---------------11

　　　　Department of Electrical Engineering II, Kyoto University / Department of Electrical Engineering II, Kyoto University　　　奥村 浩士 / 東野 哲　(OKUMURA, Kohshi / HIGASHINO, Satoru)

　

3. 特異に近い関数の積分に対する自動積分(数値計算における精度保証付き算法とその計算量に関する研究)-----------------------------------15

　　　　福井大学工学部 / 名古屋大学工学部　　　長谷川 武光 / 鳥居 達生　(Hasegawa, Takemitsu / Torii, Tatsuo)

　

4. 多項式のゼロ点を求める場合の計算量について(数値計算における精度保証付き算法とその計算量に関する研究)-----------------------------29

　　　　日本大学農獣医学部　　　五十嵐 正夫　(Igarashi, Masao)

　

5. 山辺の問題の解の漸近的挙動に対する数値的検証法の応用(数値計算における精度保証付き算法とその計算量に関する研究)-------------------40

　　　　九州大学理学部 / 龍谷大学理学部 / 東京工業大学理学部　　　山本 野人 / 四ツ谷 昌二 / 柳田 英二　(Yamamoto, Nobito / Yotsutani, Shoji / Yanagida, Eiji)

　

6. 補外計算におけるM$\phi$ller法について(数値計算における精度保証付き算法とその計算量に関する研究)----------------------------------46

　　　　職業能力開発大学校電子工学科 / 日本大学理工学部数学科　　　室伏 誠 / 永坂 秀子

　

7. Eigenvalue Problems of the Parameter Dependent System of Ordinary Differential Equations and Computer Aided Proof(Self Validation Algorithm and its Complexity in Numerical Computation)---57

　　　　Department of Mathematics, Kyoto University / Department of Mathematics, Kyoto University / Department of Mathematics, Kyoto University　　　NISHIDA, Takaaki / TERAMOTO, Yoshiaki / YOSHIHARA, Hideaki