No.1169
数学解析の理論的展開の計算機上での遂行可能性
Relevance and Feasibility of Mathematical Analysis on the Computer
研究集会報告集
 
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)