[logic-ml] [開催案内] 情報処理学会 第88回プログラミング研究発表会(3/15-16)

[Keisuke Nakano]

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

この場を借りまして，情報処理学会 第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 --- ゲームオブジェクトのイベント処理のための記述機構
               ○西森 丈俊 (筑波大学)
                 久野 靖 (筑波大学)