情報処理学会 プログラミング研究会
第67回 2008-01-24 ~ 2008-01-25 東北大学電気通信研究所2号館大会議室
(67-1) 定理証明器による電子現金プロトコルの検証
安田 武史，高橋 和子 (関西学院大学)
(67-2) 木構造処理からストリーム処理プログラムへの変換のための部分的バッファリングの挿入
佐藤 亮介，小林 直樹 (東北大学)
(67-3) Javaにおけるコンテナ向けキャストの除去
千葉 雄司 (中央大学)
(67-4) Java向け動的コンパイラによる配列参照の最適化
柳 優，田中 俊之，千葉 雄司，土居 範久 (中央大学)
(67-5) Javaプログラムを対象とするGUI操作記録・再生型デバッグシステム
柏村 俊太朗 (電気通信大学)，丸山 一貴 (東京大学)，寺田 実 (電気通信大学)
(67-6) Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
グエン バン タン，小川 瑞史 (北陸先端科学技術大学院大学)
(67-7) Java分散オブジェクトからπ計算プロセスへの変換系
甲斐 貴史，加藤 暢，樋口 昌宏 (近畿大学)
(67-8) Product Derivatives of Regular Expressions
鈴木 大郎，奥居 哲 (会津大学)
(67-9) JavaScriptと非同期HTTPリクエストによる共同作業支援ミドウェアの構築
長尾 雄行，土屋 陽介，森本 祥一，中鉢 欣秀 (産業技術大学院大学)
(67-10) 凹凸情報と接触パターンに基づく定性空間表現
雲川 翔，高橋 和子 (関西学院大学)
(67-11) プログラミングとマッピング
倉光 君郎 (横浜国立大学)