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

2002年9月18日(水)午後 〜 9月20日(金)

千葉大学 理学部 (西千葉キャンパス 理学部1号館 2階 121講義室)

9月18日 (水)

13:40 (開会)

13:45 〜 14:30

高橋正子 (国際基督教大学), 論理学の歴史とコンピュータ, 要旨

14:30 〜 15:00

久馬栄道 (愛知学院大学教養部), NP完全問題を解ける弱い非決定性アルゴリズムについて

(休憩)
15:30 〜 16:00

坂本伸幸 (東北大学大学院理学研究科数学専攻), 選択汎関数と高階逆数学, 要旨

16:00 〜 16:30

鴨浩靖 (奈良女子大学 理学部 情報科学科), Ascoli-Arzel`a の定理の実効化

16:30 〜 17:00

宮崎 裕 (北陸先端大学院大学), There exists a continuum of normal modal logics over KTB, 要旨

9月19日 (木)

10:00 〜 10:30

岡本暁広 (京大情報学研究科), 明示的環境を持つ計算体系λεのS.N.の証明の新手法

10:30 〜 11:00

桜井貴文 (千葉大学 理学部 数学・情報数理学科), 線型シークエント計算と明示的代入計算

(休憩)
11:15 〜 12:15

菊池健太郎 (千葉大学 理学部 数学・情報数理学科), 明示的代入計算とカット除去の強正規化性について, 要旨

(休憩)
13:45 〜 14:15

西澤弘毅 (東京大学 情報理工学系研究科), 多様な Context の形式化のための Logical Framework, 要旨

14:15 〜 14:45

松野裕、佐藤周行 (東京大学大学院新領域創成科学研究科基盤情報学専攻), Flow Analytic Type System for Array Bound Checks, 要旨

(休憩)
15:00 〜 16:00

山本章博 (北海道大学 電子情報工学専攻・知識メディアラボラトリ), 論理と機械学習の接点に関する一考察 --反単一化の拡張を出発点として--, 要旨

16:00 〜 16:30

本多 和正 (九州大学大学院 システム情報科学府 情報理学専攻), Dedekind圏の不等式命題の自動証明システム, 要旨

(休憩)
16:45 〜 17:15

古森 雄一 (千葉大 理学部), Russel の逆理と BCK\beta\eta, 要旨

9月20日 (金)

10:00 〜 10:30

竹内泉 (東邦大学理学部), 型付Boehmの定理

10:30 〜 11:00

福井 清香,鹿島 亮 (東京工業大学 情報理工学研究科 数理・計算科学専攻), Standardization Theorem for Left-normal Orthogonal TRSs, 要旨

(休憩)
11:15 〜 12:15

永山操 (東京女子大学), ludics と proof nets の関係について

(終了)

SLACS 2002 Homeへ戻る


Last modified: Sun Sep 15 17:56:36 JST 2002