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

一件あたり45分（発表25分，質疑・討論20分）です．

1月26日（月）

　セッション１：13:00-14:30
　　　2008-4-(1)：13:00-13:45
　　　　　ORCA: 実行トレースと画面変化の対応を可視化することによる
　　　　　GUIプログラム理解支援システム
　　　　　佐藤 竜也，志築 文太郎，田中 二郎（筑波大学）
　　　2008-4-(2)：13:45-14:30
　　　　　ロボット制御プログラミング環境における状態遷移図プログラムの記述力
　　　　　竹原 陽道，岡本 秀輔（成蹊大学），鎌田 賢，米倉 達広(茨城大学)
　
　14:30-14:45　休憩
　
　セッション２：14:45-17:00
　　　2008-4-(3)：14:45-15:30
　　　　　矩形領域に基づく定性空間推論の提案と実装
　　　　　雲川 翔，高橋 和子（関西学院大学）
　　　2008-4-(4)：15:30-16:15
　　　　　Context-Sensitive Innermost Reachability is Decidable for Linear
　　　　　Right-Shallow Term Rewriting Systems
　　　　　小島 芳治，酒井 正彦，西田 直樹，草刈 圭一朗，坂部 俊樹（名古屋大学）
　　　2008-4-(5)：16:15-17:00
　　　　　物流システムに対する Ambient Logic モデル検査システム
　　　　　植田 直人，加藤 暢，樋口 昌宏（近畿大学）
　
　19:00-21:00　懇親会
　

1月27日（火）

　セッション３：10:30-12:00　11:15-12:00
　　　(発表キャンセル)　2008-4-(6)：10:30-11:15
　　　　　スクリプティング言語の機能別実装評価向けのベンチマークセット
　　　　　倉光 君郎，中田 晋平（横浜国立大学）
　　　2008-4-(7)：11:15-12:00
　　　　　階層的グループ化コピーアルゴリズムにおけるCache-oblivious配置法と
　　　　　Cache-conscious配置法の実験的比較
　　　　　八杉 昌宏，後藤 裕輔，馬谷 誠二，湯淺 太一（京都大学）
　
　12:00-13:15　昼食
　
　セッション４：13:15-14:45
　　　2008-4-(8)：13:15-14:00
　　　　　フルスピードトレースのためのPythonインタープリタのデバッガサポート
　　　　　小菅 圭介，佐藤 規男（金沢工業大学）
　　　2008-4-(9)：14:00-14:45
　　　　　Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
　　　　　根岸 純一，岩崎 英哉（電気通信大学）
　

案内ページへ：　http://aitech.ac.jp/~kawabe/pro/pro72.html
最終更新：2009年1月22日