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

2004年9月9日(木) 〜 9月10日(金)

9月9日 (木)

10:00(開会)

10:10 〜 10:40

久馬栄道(愛知学院大学教養部)、 フーリエ変換を用いたSATの解法、 要旨

10:40 〜 11:10

鴨浩靖(奈良女子大学理学部情報科学科)、 擬コンパクト空間におけるDiniの定理の計算可能性版について、 要旨

11:10 〜 11:40

小林 聡 (京都産業大学理学部コンピュータ科学科)、 情報と依存関係の論理、 要旨

(昼休み)
13:00 〜 13:30

桜井貴文(千葉大)、 Strong Normalizability of Calculus of Explicit Substitutions、 要旨

13:30 〜 14:00

中野 浩(龍谷大学 理工学部)、 近似様相と不動点演算子、 要旨

(休憩)
14:20 〜 14:50

佐々木克巳(南山大学数理情報学部)、 様相論理S4における1変数の論理式について、 要旨

14:50 〜 15:20

竹内泉(東邦大学理学部)、 証人の論理―伝聞を表す様相述語論理、 要旨

15:20 〜 15:50

関隆宏(九州大学 大学評価情報室)、 General frames for relevant modal logics、 要旨

(休憩)
16:10 〜 17:00

石垣 良(東京工業大学 情報理工学研究科)、 Gentzen Style Sequent Calculi for Logics with Strict Implication and Weak Logics、 要旨

***懇親会***

9月10日 (金)

10:00 〜 10:40

山下秀康(愛知学院大学教養部)、 量子論理と束論

10:40 〜 11:10

岡本圭史(産業技術総合研究所)、 高階論理の完全性とその周辺について、 要旨

11:10 〜 11:50

只木孝太郎 (中央大学21世紀COEプログラム)、 An extension of Chaitin's halting probability \Omega to measurement operator in infinite dimensional quantum system、 要旨

(終了)

SLACS 2004 Homeへ戻る