第72回 プログラミング研究発表会

日　　程　：　平成21年1月26日（月）・27日（火）

会　　場　：　〒464-0807 名古屋市千種区東山通1-38-1
　　　　　　 　　愛知工業大学 本山キャンパス 2F 多目的室Ａ・Ｂ
　　　　　　　　 http://www.aikoudai.com/facilities/index.html

問合せ先　：　河辺義信（愛知工大） E-mail: kawabe[at]aitech.ac.jp

案内ページ : http://aitech.ac.jp/￣kawabe/pro/pro72.html

------ プログラム ------

1月26日(月)　午後

(1) 13:00-13:45
　　 ORCA: 実行トレースと画面変化の対応を可視化することによるGUIプログラム理解支援システム
　　 佐藤 竜也，志築 文太郎，田中 二郎（筑波大学）

(2) 13:45-14:30
　　 ロボット制御プログラミング環境における状態遷移図プログラムの記述力
　　 竹原 陽道，岡本 秀輔（成蹊大学），鎌田 賢，米倉 達広(茨城大学)

14:30-14:45 休憩

(3) 14:45-15:30
　　 矩形領域に基づく定性空間推論の提案と実装
　　 雲川 翔，高橋 和子（関西学院大学）

(4) 15:30-16:15
　　 Context-Sensitive Innermost Reachability is Decidable for Linear
　　 Right-Shallow Term Rewriting Systems
　　 小島 芳治，酒井 正彦，西田 直樹，草刈 圭一朗，坂部 俊樹（名古屋大学）

(5) 16:15-17:00
　　 物流システムに対する Ambient Logic モデル検査システム
　　 植田　直人，加藤　暢，樋口　昌宏（近畿大学）

1月27日(火) 午前

(6) 10:30-11:15
　　 スクリプティング言語の機能別実装評価向けのベンチマークセット
　　 倉光　君郎，中田　晋平（横浜国立大学） 発表キャンセル

(7) 11:15-12:00
　　 階層的グループ化コピーアルゴリズムおけるCache-oblivious配置法と
　　 Cache-conscious配置法の実験的比較
　　 八杉 昌宏，後藤 裕輔，馬谷 誠二，湯淺 太一（京都大学）

12:00-13:15 昼休み

1月27日(火) 午後

(8) 13:15-14:00
　　 フルスピードトレースのためのPythonインタープリタのデバッガサポート
　　 小菅 圭介，佐藤 規男（金沢工業大学）

(9) 14:00-14:45
　　 Haskellプログラムの開発を支援するGHCiデバッガフロントエンド
　　 根岸 純一，岩崎 英哉（電気通信大学）

 

＊＊＊＊＊＊↓↓発表募集は終了しました↓↓＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

プログラミング研究会(PRO)は、

• プログラミング言語の設計、処理系の実装
• プログラミングの理論、基本概念
• プログラミング環境、支援システム
• プログラミング方法論、パラダイム
• これらを応用したシステムの開発事例
• その他、プログラミングに関する面白い話題

を対象とした研究発表の場で、1998年度から毎年3〜4回のペースで論文誌を発行しています。PRO論文誌は研究会と密接にリンクしており、研究会で発表されたもののうちあらかじめ論文投稿を希望し、論文原稿を提出されているものが査読の対象となっています（論文誌投稿を希望しない発表も歓迎します）。おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です。2008年度第4回研究会も多くの発表ならびに論文投稿をお待ちしてお ります。参加費は無料です。申込〆切は11月19日（投稿〆切は12月19日）ですので、よろしくご検討ください。尚、今までは本論文誌で採録された英文論文は Digital Courier にもオンライン版として掲載されていましたが、学会全体での論文誌の見直しに伴い、今後は掲載されないことになりました。ご了承ください。

第72回プログラミング研究発表会 （PRO-2008-4） 発表論文募集

日　　程　：　平成21年1月26日（月）・27日（火）

会　　場　：　愛知工業大学 本山キャンパス（名古屋市千種区）
　　　　　　　　 http://www.aikoudai.com/facilities/index.html

発表申込締切　：　平成20年11月19日（水）
投稿論文原稿提出締切　：　平成20年12月19日(金)

申 込 先　：　河辺義信（愛知工業大学 経営情報科学部 情報科学科）
　　 　　　　　　 E-mail: kawabe[at]aitech.ac.jp
　　　　　　　　　Tel: 0565-48-8121 (ext. 2412)　Fax: 0565-48-0509 (学部事務室内)

案内ページ : http://aitech.ac.jp/￣kawabe/pro/pro72.html

* 申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ を参照してください。
* できるだけE-mailでお願いします。
* 申込み後返信がない場合はご連絡下さい。