SLACS'96

SLACS'96 (at 電子技術総合研究所)のプログラム

9月24日（火）

（於研究交流センター第一会議室）

10:00--10:40: 小林聡（龍谷大学理工学部数理情報学科）
Refinement型の理論を用いたevaluation modalityの解釈
10:45--11:25: 香川考司（香川大学経済学部情報管理学科）
Monadic functional programmingにおける Implicitスタイルと Reference-passingスタイル
11:25--13:30: 休憩（昼食）
13:30--14:10: 古澤仁、河原康雄（九州大学大学院システム情報科学研究科）
Dedekind圏とZadeh圏の表現定理について
14:15--14:55: 森雅生、河原康雄（九州大学大学院システム情報科学研究科）
A variant of small final coalgebra theorems
14:55--15:30: 休憩
15:30--16:10: 小方一郎（電子技術総合研究所）
直観主義線形論理の項計算
16:15--16:55: 白旗優（慶応大学商学部）
A sequent calculus for compact closed categories
16:55--17:25: ビジネスミーティング（次回のSLACS、その他）

9月25日（水）

（於研究交流センター第一会議室）

9:00--9:40

中野浩（龍谷大学理工学部数理情報学科）
構成的プログラミングのための論理（予定）

9:45--10:25

10:25--10:45

休憩

10:45--11:25

佐々木克巳（南山大学経営学部）
選言のない命題論理式について

11:30--12:10

大塚寛（九州大学大学院数理学研究科）
分散メモリ環境における配列構造の管理とその解釈について

12:10--15:15

休憩（昼食）

15:15--17:30

この時間は SLACS はお休みですが、日本ソフトウェア科学会大会で「単一化と項書換」のセッションが開催されています:

19:00--

懇親会（割烹三徳, つくば市大曽根3087, 電話 0298 (64) 3109）

9月26日（木）

（於電子技術総合研究所視聴覚室）

9:00--9:40: 長谷川立（東京大学数理科学研究科）
ラムダ計算の数え上げ組合せ論的モデル
9:40--10:15: 休憩
10:15--10:55: 鴨浩靖、河邑紀子（奈良女子大学理学部情報科学科、人間文化研究科）
Koch 曲線とKoch島の計算可能性
11:00-11:40: 奈古屋広昭（東京工業大学大学院情報理工学研究科数理・計算科学専攻）
A Characterization of Infinite Binary Sequences with Low Kolmogorov Complexity
11:40--13:30: 休憩（昼食）
13:30--14:10: 竹内泉（東京都立大学理学部）
λ方体の項に対する共形性
14:15--14:55: 毛利貴久（東京大学理学部情報科学科）
バイカテゴリーの形式化について
14:55--15:30: 休憩
15:30--16:10: 岩沼宏治（山梨大学工学部電子情報工学）
非領域限定式を扱う双方向定理証明器の理論的考察：SATCHMOREとPTTPの融合
16:15--16:55: 廣川佐千男（九州大学大学院システム情報科学研究科）
インターネット・プルーバー