第 52 回プログラミング研究会 プログラム

1 月 20 日 (木)

13:00-13:45  情報隠蔽のための自動リファクタリング
	新田直也（奈良先端大）

13:45-14:30  Webアプリケーションの静的意味検査法
	大木憲二，鈴木徹也，徳田 雄洋（東工大）

		14:30-14:45 休憩

14:45-15:30  拡張行列演算に基づくデータマイニング環境の実現
        松田一孝，筧一彦，胡振江，武市正人（東京大学）

15:30-16:15  複数のCPUボードを用いたシステムの実行時間と稼働率を見積もり可能な
            ビジュアルプログラミングシステムの開発
	玉井清寛，山口真悟，田中稔（山口大学）

16:15-17:00  SAX上のlazy XML treeの構成によるXSLTの最適化
	真中賢二，佐藤周行（東大）

1 月 21 日 (金)

 
10:00-10:45  疎な要求駆動型データフロー解析
	滝本宗宏（東京理科大），福岡岳穂（管理工学研），佐々政孝（東工大），
        原田賢一（慶應）

10:45-11:30  モンゴメリ乗算法の高速化
	 テイ チョユウ，太田昌孝，荒木純道（東工大）

11:30-12:15  スタックベースのML処理系における効率的な一級継続の実装
	皆川宜久，鵜川始陽，八杉昌宏，湯淺太一（京大）

		12:15-13:15 昼休み

13:15-14:00  契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa
	山田聖（JAIST），渡部卓雄（東工大）

14:00-14:45  プログラムスライシングに基づく関心事グラフ構築
	亀田大輔，滝本宗宏（東京理科大）

                14:45-15:00 休憩

15:00-15:45  Csp-Prover: プロセス代数CSPのための定理証明器
	磯部祥尚（産総研），Markus Roggenbach（ウェールズ大）

15:45-16:30  パイ計算による仕様を検証する論理体系
        竹内泉（東邦大）

16:30-17:15  定性空間推論の新しい枠組DLCSとその上での操作
        住友孝郎，高橋和子（関西学院大）