第62回情報処理学会・プログラミング研究会

プログラム  --- 1件あたり45分 (発表25分 質疑・討論20分) ---
1月18日(木)午後

セッション1: 12:50--15:05 [座長] 八杉 昌宏 (京都大学)

(1) 一対多非同期結合型のデバッガによるWebアプリケーションのセッションアウェアな連続追跡
○小菅 圭介, 佐藤 規男 (金沢工業大学)

(2) COINS を用いるためのコンパイラの自動生成の一方式
○舞田 純一, 中井 央, 佐藤 聡 (筑波大学)

(3) 世代管理を保守的に行う世代別GCアルゴリズムの提案およびRubyへの実装と評価
○五百蔵 重典, 西尾 孝典, 野木 兼六 (神奈川工科大学)

[休憩: 15:05--15:15]

セッション2: 15:15--16:45 [座長] 加藤 暢 (近畿大学)

(4) On-the-fly model checking security protocols and its implementation by Maude
○Li Guoqiang, Mizuhito Ogawa (北陸先端大)

(5) 双方向CTLによるJava最適化器の生成
○方 玲, 佐々 政孝 (東京工業大学)

[休憩: 16:45--16:55]

セッション3: 16:55--18:25 [座長] 河野 真治 (琉球大学)

(6) Ajax による Collaborative 分散 MVC アーキテクチャ
○長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀 (産業技術大学院大学)

(7) An Equivalence Relation for Typed Ambient Calculus
○加藤 暢 (近畿大学)

----------------------------------------------

1月19日(金)午前

セッション4: 8:50--10:20 [座長] 小川 瑞史 (北陸先端大)

(8) 並行プログラミング言語へのチャネル使用法宣言の導入
○須藤 崇, 小林 直樹 (東北大学)

(9) 部分計算に基づく遷移述語抽象化
○フレデリクセン カール クリスチャン, 萩谷 昌己 (東京大学)

[休憩: 10:20--10:30]

セッション5: 10:30--12:00 [座長] 小林 直樹 (東北大学)

(10) 階層化コントロールオペレータに対する型システムの構築
○鈴木 輝信, 亀山 幸義 (筑波大学)

(11) 連邦型タプルスペースを使ったコンパクトルーティングの実験
○淵田 良彦, 河野 真治 (琉球大学)

----------------------------------------------

[昼休み 12:00--13:00]

----------------------------------------------

1月19日(金)午後

セッション6: 13:00--15:15 [座長] 五百蔵 重典 (神奈川工科大学)

(12) Ambient Calculusを用いた物流検査システム
○森本 大輔, 加藤 暢, 樋口 昌宏 (近畿大学)

(13) Java向け動的コンパイラによる冗長なBox化の削除
○千葉 雄司 (日立製作所)

(14) 効率的なプロファイリングを目的としたメソッドキャッシュにおけるエントリ置換アルゴリズムの提案
○長田 忍, 楢崎 修二 (長崎大学)

[休憩: 15:15--15:30]

セッション7: 15:30--17:00 [座長] 楢崎 修二 (長崎大学)

(15) OSカーネル用アスペクト指向システム KLASY
○柳澤 佳里, 光来 健一, 千葉 滋, 石川 零 (東京工業大学)

(16) 例外処理のためのアスペクト指向言語
○熊原 奈津子, 千葉 滋 (東京工業大学)

----------------------------------------------
→→ 案内のページ


最終更新:2006年1月9日