第67回情報処理学会・プログラミング研究会
プログラム --- 1件あたり45分 (発表25分、
質疑・討論20分) ---
---------------
1月24日(木)午後
---------------
セッション1: 13:00--14:30
2007-4-(1): 13:00-13:45
定理証明器による電子現金プロトコルの検証
安田 武史, 高橋 和子（関西学院大学）
2007-4-(2): 13:45-14:30
木構造処理からストリーム処理プログラムへの変換のための部分的バッファ
リングの挿入
佐藤 亮介, 小林 直樹（東北大学）
-----------
14:30-14:45
休憩
-----------
セッション2: 14:45--17:00
2007-4-(3): 14:45-15:30
Javaにおけるコンテナ向けキャストの除去
千葉 雄司（日立製作所）
2007-4-(4): 15:30-16:15
Java向け動的コンパイラによる配列参照の最適化
柳 優, 田中 俊之, 千葉 雄司, 土居 範久（中央大学）
2007-4-(5): 16:15-17:00
Javaプログラムを対象とするGUI操作記録・再生型デバッグシステム
柏村 俊太朗*, 丸山 一貴**, 寺田 実*（電気通信大学*, 東京大学**）
-----------
17:00-17:15
CS領域奨励賞授与式
19:00-21:00
懇親会
---------------
1月25日(金)午前
---------------
セッション3: 9:30--11:45
2007-4-(6): 9:30-10:15
Alternate Stacking Technique Revisited: Inclusion Problem
of Superdeterministic Pushdown Automata
グエン バン タン、小川 瑞史（北陸先端科学技術大学院大学）
2007-4-(7): 10:15-11:00
Java分散オブジェクトからπ計算プロセスへの変換系
甲斐 貴史, 加藤 暢, 樋口 昌宏（近畿大学）
2007-4-(8): 11:00-11:45
Product Derivatives of Regular Expressions
鈴木 大郎, 奥居 哲（会津大学）
---------------
11:45-13:00
昼食
---------------
1月25日(金)午後
---------------
セッション4: 13:00--15:15
2007-4-(9): 13:00-13:45
JavaScriptと非同期HTTPリクエストによる共同作業支援ミドウェアの構築
長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀（産業技術大学院大学）
2007-4-(10): 13:45-14:30
凹凸情報と接触パターンに基づく定性空間表現
雲川 翔, 高橋 和子（関西学院大学）
2007-4-(11): 14:30-15:15
プログラミングとマッピング
倉光 君郎（横浜国立大学）
-----------------------------------------------
→→ 案内のページ
最終更新：2007年12月26日