情報処理学会 プログラミング研究会
第72回 2009-01-26 ~ 2009-01-27 愛知工業大学本山キャンパス2F
(72-1) ORCA: 実行トレースと画面変化の対応を可視化することによるGUIプログラム理解支援システム
佐藤 竜也，志築 文太郎，田中 二郎 (筑波大学)
(72-2) ロボット制御プログラミング環境における状態遷移図プログラムの記述力
竹原 陽道，岡本 秀輔 (成蹊大学)，鎌田 賢，米倉 達広 (茨城大学)
(72-3) 矩形領域に基づく定性空間推論の提案と実装
雲川 翔，高橋 和子 (関西学院大学)
(72-4) Context-Sensitive Innermost Reachability is Decidable for Linear Right-Shallow Term Rewriting Systems
小島 芳治，酒井 正彦，西田 直樹，草刈 圭一朗，坂部 俊樹 (名古屋大学)
(72-5) 物流システムに対する Ambient Logic モデル検査システム
植田 直人，加藤 暢，樋口 昌宏 (近畿大学)
(72-6) (発表キャンセル)スクリプティング言語の機能別実装評価向けのベンチマークセット
倉光 君郎，中田 晋平 (横浜国立大学)
(72-7) 階層的グループ化コピーアルゴリズムにおけるCache-oblivious配置法とCache-conscious配置法の実験的比較
八杉 昌宏，後藤 裕輔，馬谷 誠二，湯淺 太一 (京都大学)
(72-8) フルスピードトレースのためのPythonインタープリタのデバッガサポート
小菅 圭介，佐藤 規男 (金沢工業大学)
(72-9) Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
根岸 純一，岩崎 英哉 (電気通信大学)