PPL2000　プログラム

３月２０日(月）

13:30-13:50 受付
13:50-14:00 オープニング
14:00-15:00 セッション1　招待講演

Inferring and Utilising Sized Types

 Wei-Ngan Chin （National University of Singapore)
15:00-15:30 休憩
15:30-17:10 セッション2

 (このセッションの発表は、英語で行われます。The talks in this session will be presented in English.)

Calculating a New Data Mining Algorithm for Market Basket Analysis (25+5)　　　　

Z. Hu （東京大学）, W.N. Chin （National University of Singapore), M. Takeichi, （東京大学）

A Type System for Delimited Continuations(30+10)

亀山幸義 （京都大学）

Girard Translation, Logical Predicates and Full Completeness(25+5)

長谷川 真人（京都大学）
17:10-17:30 プログラム委員長からのレポート

３月２１日（火）

9:00-10:20 セッション3

再帰データ上の述語に基づく線形時間アルゴリズムの導出 (30+10)    

篠埜 功, 胡 振江, 武市 正人, 小川 瑞史（東京大学）

アセンブリ言語上でのプログラム特化(30+10)

徳生吉孝, 脇田　建, 佐々　政孝（東京工業大学）
10:20-10:50 休憩
10:50-12:00 セッション4

Parametric Polymorphic Type Inference in Constraint Form(30+10)　　　　

西村 進（京都大学）

Type-Based Useless Variable Elimination(25+5)

小林 直樹 （東京大学）
昼食
13:30-14:50 セッション5

安全性の抽象モデル検査について(30+10)　　　　　　　　　　　　　　　　　　　　　　

木下佳樹, 高橋孝一(電子技術総合研究所）, 萩谷昌己（東京大学）

Java2のPermission機構のモデル化と実験(30+10)

戸沢晶彦, 萩谷昌己 （東京大学）
14:50-15:20 休憩
15:20-16:30 セッション6

プロセス代数π-計算における名前制限と名前生成の同等性（30+10)　　　

河辺 義信, 真野 建, 堀田英一, 小暮潔(NTT)

Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation(25+5)　

南出　靖彦 （筑波大学）
16:30-16:40

休憩

16:40-17:50 ショート・プレゼンテーション

CPS 変換による強正規化性の証明

龍田真(京都大学)

Objective Caml 3 の新しい機能

Jacques Garrigue(京都大学)

非明示型付けデッドロックフリープロセス計算

小林直樹、斉藤新、住井英二郎(東京大学）

型代入の推論規則を持つ型つきラムダ計算

勝股 審也（京都大学）

実行時バイトコード特化の形式化へ向けて

増原英彦（東京大学）

項書換表現におけるプログラム融合

森本　真一（日本電気航空宇宙システム株式会社）

Attribute-Directed Extraction of a Context-Free Grammar

中野圭介（京都大学）

　

３月２２日（水）

9:00-10:20 セッション7

不決定性マルチヘッド・ストリーム・プログラミングのGHCによる実現と実数計算(30+10)

立木秀樹（京都大学）

移動計算のためのプログラミング言語MobileML(30+10)

橋本政朋,　米澤明憲 （東京大学）

　

10:20-10:50 休憩
10:50-11:50 セッション8

詳細化における完全性について(25+5)                       

木下 佳樹 （電子技術総合研究所）, ジョン・パワー (University of Edinburgh)

モナドとコモナドの分配則(25+5)

John Power (University of Edinburgh), 渡邊 宏 (電子技術総合研究所）