No.1169

2000/03/21〜2000/03/22

吉川　敦

Atsushi Yoshikawa

目　次

1. Why such a meeting? (Relevance and Feasibility of Mathematical Analysis on the Computer)------------------------------------------1

　　　　九州大学数理学研究科　　　吉川 敦　(Yoshikawa,Atsushi)

　

2. Harmonic Relations between Green's Functions and Green's Matrices for Boundary Value Problems (Relevance and Feasibility of Mathematical Analysis on the Computer)---15

　　　　愛媛大学理学部　　　山本 哲朗　(Yamamoto,Tetsuro)

　

3. Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations (Relevance and Feasibility of Mathematical Analysis on the Computer)---27

　　　　九州大学数理学研究科　　　中尾 充宏　(Nakao,Mitsuhiro T.)

　

4. 可換代数におけるグレブナー基底の果たす役割 (数学解析の理論的展開の計算機上での遂行可能性)----------------------------------------57

　　　　大阪大学理学部/大阪大学理学部　　　大杉 英史/日比 孝之　(Ohsugi,Hidefumi/Hibi,Takayuki)

　

5. Realistic models of computability on the real numbers (Relevance and Feasibility of Mathematical Analysis on the Computer)-------62

　　　　Theoretische Informatik I, Fern Universitat Hagen　　　Brattka,Vasco

　

6. Feasibly constructive analysis (Relevance and Feasibility of Mathematical Analysis on the Computer)------------------------------76

　　　　北陸先端科学技術大学院大学情報科学研究科　　　石原 哉　(Ishihara,Hajime)

　

7. How to understand the computability aspects of step functions (Relevance and Feasibility of Mathematical Analysis on the Computer)---84

　　　　京都産業大学理学部　　　八杉 満利子　(Yasugi,Mariko)

　

8. 矩形領域を生成する可変ブロックパターン要素の組み合わせマッチングによる行列認識手法 (数学解析の理論的展開の計算機上での遂行可能性)---92

　　　　九州大学数理学研究科　　　金堀 利洋　(Kanahori,Toshihiro)

　

9. 数式処理システムの手書き入力インターフェイス (数学解析の理論的展開の計算機上での遂行可能性)--------------------------------------97

　　　　九州大学数理学研究科/九州大学数理学研究科/福岡教育大学教育学部　　　岡村 博文/金堀 利洋/叢 偉　(Okamura,Hirofumi/Kanahori,Toshihiro/Sou,I)

　

10. Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)---102

　　　　神戸大学工学部　　　林 晋　(Hayashi,Susumu)