第18回 「記号論理学と情報科学」(SLACS 2001) プログラム

2001年10月17日(水) 〜 10月19日(金)

東京大学数理科学研究科(駒場キャンパス)大講義室

10/17 (水)

13:00 (開会)

13:10 〜 13:40

佐藤雅彦 (京都大学大学院情報学研究科),判断と導出の理論, 要旨

13:40 〜 14:10

竹内泉 (京都大学情報工学教室),論理的必然性の論理, 要旨

(休憩)
14:40 〜 15:10

向井国昭・片山寛之 (慶応大学), アインシュタインボールパズルのモデル論とそれに基づく解の自動生成, 要旨

(休憩)
15:40 〜 16:10

黒田覚 (群馬県立女子大学), Proof complexity of Grzegorcyk and other complexity classes

16:10 〜 16:40

河野泰人 (NTT東日本研究開発センタ), 不完全性定理とフォーシング, 要旨

10/18 (木)

9:50 〜 10:20

宮崎裕 (北陸先端大), Kripke style semantics of predicate orthologic, 要旨

10:20 〜 10:50

田中義人 (九州産業大学経済学部), Incompleteness results in intermediate infinitary logics, 要旨

(休憩)
11:20 〜 11:50

鹿島亮 (東京工業大学 情報理工学研究科), λβη計算の標準化定理の簡単な証明について, 要旨

11:50 〜 12:20

横内寛文 (群馬大学情報工学科), Conditional type と principal typing, 要旨

(昼食)
14:00 〜 14:30

鴨浩靖 (奈良女子大学 理学部 情報科学科) 実効的σコンパクト距離空間上の点の属するコンパクト部分空間について

14:30 〜 15:00

小林聡 (京都産業大学理学部計算機科学科), Lifschitz の論理及び関連する体系について

(休憩)
15:30 〜 16:00

藤田憲悦 (島根大学 総合理工学部), direct and continuation semantics for type-free lambda-mu-calculus

16:00 〜 16:30

中沢巧爾 (京都大学大学院理学研究科), CPS変換を用いたラムダミュー計算の強正規化性の証明について

10/19 (金)

9:50 〜 10:20

竹内大輔 (東北大学 理学研究科), 黄金比などによる実数の0,1表現と誤り検出, 要旨

10:20 〜 10:50

本浜陽子 (Udine大学, 数学・情報科学科), Compositional characterizations of lambda terms using Intersection Types

(休憩)
11:20 〜 11:50

高橋正子 (国際基督教大学), A practical proof system, 要旨

11:50 〜 12:20

木下佳樹 (産業技術総合研究所情報科学連携研究体), クリーニ圏について

(終了)

SLACS 2001 Homeへ戻る


Last modified: Wed Oct 10 03:28:36 JST 2001