＊＊＊＊複数受け取られた場合はご容赦ください＊＊＊＊

この場を借りまして，情報処理学会 第88回プログラミング研究発表会開催の ご案内をさせて頂きます．日程は3月15日-16日で，場所は産総研つくばセンター です．皆様のご参加をお待ちしております．

また，3月15日の研究会終了後には懇親会を予定しております．参加希望者は あわせて出席予定をお知らせ下さい．

-------- To: y.oiwa <at> aist.go.jp Subject: PRO88参加予定

第88回PRO研究会に出席します．

(↓どちらかを消して下さい) 3月15日の懇親会に参加します． 3月15日の懇親会に参加しません．

御名前: 御所属: --------

懇親会への参加申込は3/9(金)までにお願いします．

最新情報は下記ページに掲示されますのでご確認ください． http://millsmess.cs.uec.ac.jp/pro/2011-5/

担当：中野圭介(電通大)，大岩寛(産総研)

---------------- 第88回プログラミング研究会 (PRO-2011-5) 日程: 2012年 3月 15日(木)・16日(金) 場所: 産業技術総合研究所 つくば中央 共用講堂 中会議室 〒305-8561　茨城県つくば市東1-1-1　中央第1 つくばエクスプレス線つくば駅からバス約20分 ---------------- プログラム

2012/03/15 (木)

10:30 - 11:15 (1) 対話を媒介する型を用いた非正格純粋関数プログラミング ○山下 伸夫 (電気通信大学)

11:15 - 12:00 (2) MWF/MNWFに基づくFTAとSpec Patternsによるモデル検査式の導出 ○加藤 淳 (慶應義塾大学) 松本 充広 (有人宇宙システム) 春山 真一郎 (慶應義塾大学)

12:00 - 13:15 休憩

13:15 - 14:00 (3) エンドユーザがプログラム可能なWikiエンジン ○横山哲郎 (南山大学)

14:00 - 14:45 (4) DJS: A distributed object library for Server-WebBrowser communication ○Eki Ko (東京大学) Koichi Sasada (東京大学)

14:45 - 14:55 休憩

14:55 - 15:40 (5) 日本語プログラミングによるプログラムの可読性の評価 ○馬場 祐人 (早稲田大学) 筧 捷彦 (早稲田大学)

15:40 - 16:25 (6) Ruby オブジェクトの効率的なプロセス間転送・共有機構の設計と実装 ○中川 博貴 (東京大学) 笹田 耕一 (東京大学)

16:25 - 16:40 CS領域奨励賞授与式および拡大運営委員会

18:20 - 20:50 懇親会

2012/03/16 (金)

10:30 - 11:15 (7) May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics ○渡辺 敬介 (京都大学) 西村 進 (京都大学)

11:15 - 12:00 (8) 部分冗長除去に基づく実践的な大域命令スケジューリング ○及川 亮太郎 (東京理科大学) 滝本 宗宏 (東京理科大学)

12:00 - 13:15 休憩

13:15 - 14:00 (9) 定理証明支援系Coqへの対話的修正機構の導入 ○森口 草介 (東京工業大学) 渡部 卓雄 (東京工業大学)

14:00 - 14:45 (10) 限定継続命令shift/reset付きλ計算の評価器の抽出 ○廣田 知子 (お茶の水女子大学) 浅井 健一 (お茶の水女子大学)

14:45 - 14:55 休憩

14:55 - 15:40 (11) UNICOEN: 複数プログラミング言語対応のソースコード処理フレームワーク ○坂本 一憲 (早稲田大学) 大橋 昭 (早稲田大学) 太田 大地 (ACCESS) 鷲崎 弘宜 (早稲田大学) 深澤 良彰 (早稲田大学)

15:40 - 16:25 (12) Join Token --- ゲームオブジェクトのイベント処理のための記述機構 ○西森 丈俊 (筑波大学) 久野 靖 (筑波大学)