No.1318

2002/12/16〜2002/12/20

木下　佳樹

Yoshiki　Kinoshita

目　次

1. Pointwise and Sequential Continuity in Constructive Analysis (Algebra, Logic and Geometry in Informatics)-------------------------1

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

　

2. Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)-----------------------------------------------3

　　　　東邦大学理学部情報科学科　　　竹内 泉　(Takeuti, Izumi)

　

3. 整合的ドメインの極限要素集合の次元について (代数・論理・幾何と情報科学)----------------------------------------------------------15

　　　　京都大学総合人間学部　　　立木 秀樹　(Tsuiki, Hideki)

　

4. メレオトポロジ-と計算 (代数・論理・幾何と情報科学)-------------------------------------------------------------------------------21

　　　　京都産業大学理学部計算機科学科　　　三好 博之　(Miyoshi, Hiroyuki)

　

5. Structural Induction and the $\lambda$-Calculus (Algebra, Logic and Geometry in Informatics)-------------------------------------30

　　　　北陸先端科学技術大学院大学　　　Vestergaard, Rene

　

6. Nominal Sets, Equivariance Reasoning, and Variable Binding (Algebra, Logic and Geometry in Informatics)--------------------------46

　　　　Computer Laboratory, Cambridge University　　　Gabbay Murdoch J.

　

7. Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)------48

　　　　産業技術総合研究所/産業技術総合研究所　　　大崎 人士/高井 利憲　(Ohsaki, Hitoshi/Takai, Toshinori)

　

8. Towards a Convenient Category of Topological Domains (Algebra, Logic and Geometry in Informatics)--------------------------------53

　　　　LFCS, School of Informatics, University of Edinburgh　　　Simpson, Alex

　

9. Channel Theory as a Philosophical Experiment : Abstract (Algebra, Logic and Geometry in Informatics)-----------------------------74

　　　　北陸先端科学技術大学院大学　　　下嶋 篤　(Shimojima, Atsushi)

　

10. Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)------------------------------75

　　　　東京女子大学文理学部　　　永山 操　(Nagayama, Misao)

　

11. 関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)-----------------------------------------------------94

　　　　九州大学システム情報科学府　　　本多 和正　(Honda, Kazumasa)

　

12. Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)--------------------------102

　　　　九州大学システム情報科学研究院/九州大学システム情報科学府　　　河原 康雄/大隈 ひとみ　(Kawahara, Yasuo/Okuma, Hitomi)

　

13. 明示的環境計算体系への部分型の導入 (代数・論理・幾何と情報科学)----------------------------------------------------------------113

　　　　京都大学情報学研究科　　　澤田 康秀　(Sawada, Yasuhide)

　

14. A study on an immune network dynamical system model (Algebra, Logic and Geometry in Informatics)-------------------------------122

　　　　ATR・適応コミュニケーション研究所　　　板谷 聡子　(Itaya, Satoko)

　

15. Coherence of the Double Negation in Linear Logic (Algebra, Logic and Geometry in Informatics)----------------------------------133

　　　　京都大学数理解析研究所　　　長谷川 真人　(Hasegawa, Masahito)

　

16. 一般設計学と抽象設計論に関する考察 (代数・論理・幾何と情報科学)----------------------------------------------------------------136

　　　　神戸大学工学部情報知能工学科　　　菊池 誠　(Kikuchi, Makoto)

　

17. Exponential Free Typed Bohm Theorem (Algebra, Logic and Geometry in Informatics)-----------------------------------------------149

　　　　産業技術総合研究所　　　松岡 聡　(Matsuoka, Satoshi)

　

18. Embedding into Wreath Product and the Yoneda Lemma (Algebra, Logic and Geometry in Informatics)--------------------------------150

　　　　東京大学数理科学研究科　　　長谷川 立　(Hasegawa, Ryu)

　

19. Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)-------------------------------------------------160

　　　　慶応義塾大学日吉数学研究室　　　白旗 優　(Shirahata, Masaru)