数理科学協会研究集会　平成９年度　於神戸大学

　　　　　　　　「論理数学」プログラム

８月２７日午後

(1) 八杉満利子　（京都産業大学理学部）
　　 解析学における計算可能性-入門-
　　（３０分） 13:00-13:30

(2) 石原哉　（北陸先端科学技術大学院大学）
      Constructivity, computability and  complexity on real numbers
             --入門を含む--
　　（１時間） 13:40-14:40

(3) 鷲原雅子・八杉満利子（京都産業大学理学部）
　　　Frechet 空間の距離付けと計算可能性
　　（３０分） 15:00-15:30

(4) 小森　洋平　（大阪市立大学理学部）
　　　力学系におけるアルゴリズム
      　--入門を含む--
　　（１時間） 16:00-17:00

８月２８日午前

(5)  鴨浩靖 （奈良女子大学理学部）
　　　Euclid空間の計算可能集合
　　（３０分）10:00-10:30

(6) 河邑紀子　（奈良女子大学人間文化研究科）　　　自己相似集合の計算可能性について　	-　　　　　　--計算量を目指して---
　　（３０分） 10:40-11:10

(7)　森隆一・辻井芳樹・八杉満利子（京都産業大学理学部）
　　　距離空間における計算可能性構造
　　（３０分）11:20-11:50