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

日本IBMの河内谷と申します．

この場を借りて，3/9(水)〜3/11(金)に北海道で開催される， 第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) の参加最終案内をさせて頂きたく存じます．

参加申込の期限が【2/25(金)】に迫っています．以下からお急ぎください． http://www.info.kochi-tech.ac.jp/ppl2011/registration.html

また，プログラムが決定しましたので，お知らせいたします． 論文発表が17件，既発表論文の紹介が10件，ポスター・デモ発表が54件です． 招待講演として，以下のお二方にご講演いただきます． 田中 哲朗 氏 (東京大学) 「将棋プログラムの大規模並列実行」 照井 一成 氏 (京都大学) 「線形論理とラムダ計算の計算量」

非常に充実した内容になっておりますので，ぜひご参加ください．

--------------------------------------------------------------------------

第13回プログラミングおよびプログラミング言語ワークショップ （PPL2011）

http://www.info.kochi-tech.ac.jp/ppl2011/

主催: 日本ソフトウェア科学会 プログラミング論研究会 日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市 定山渓ビューホテル http://www.jozankeiview.com/

PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂 に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイ ディア交換等を行うことを目的とした，合宿形式のワークショップです．プロ グラミングおよびプログラミング言語の理論・設計・実装・処理系などに関す る研究発表が，カテゴリ別に幅広く行われます．

カテゴリ１: 国内外で未発表の論文の発表 カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の 研究の紹介 カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません）

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

発表時間: C1, C2: 質疑応答も含め25分

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1日目 (3月9日(水)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

13:45 - 13:55 オープニング

13:55 - 15:10 (75分) セッション1

(C1) Java における適切な同期機構の選択システム 山田 佑二, 鵜川 始陽, 岩崎 英哉 (電気通信大学)

(C1) 生存区間を変数名とする中間表現の実装と, それに基づく最適化 高橋 和将, 森畑 明昌, 上野 雄大, 大堀 淳 (東北大学)

(C2) A Study of Java's Non-Java Memory (出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 191-204, 2010) Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera (IBM Research)

15:10 - 15:30 休憩

15:30 - 16:30 セッション2 招待講演

将棋プログラムの大規模並列実行 田中 哲朗 (東京大学情報基盤センター)

16:30 - 16:50 休憩

16:50 - 18:30 (100分) セッション3

(C1) 条件論理 Cb とそのタブローシステム 尾崎 有梨, 戸次 大介 (お茶の水女子大学)

(C1) 先読み付き正規表現の効率の良いマッチングアルゴリズム 森畑 明昌 (東北大学)

(C1) メタラムダ計算の圏論的意味論 増子 萌, 戸次 大介 (お茶の水女子大学)

(C2) A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (出典: 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), to appear) Naoki Kobayashi (Tohoku University)

18:30 - 20:30 夕食

20:30 - 22:00 セッション4 (ポスター・デモ1)

(C3) ポスター 型システムによる高階木変換器の逆像計算 塚田 武志, 松田 一孝 (東北大学)

(C3) デモ MoCHi: 高階関数型プログラム用モデル検査器 佐藤 亮介, 海野 広志, 小林 直樹 (東北大学)

(C3) ポスター オブジェクトを移動させない，関数型言語に適したビットマップマーキ ングガベージコレクションの提案 大友 聡顕, 上野 雄大, 大堀 淳 (東北大学)

(C3) ポスター・デモ コンパイラ内部機能を利用したプログラム開発環境の構築 齋藤 啓太, 上野 雄大, 大堀 淳 (東北大学)

(C3) ポスター 正規表現マッチングのトランスデューサへの変換 佐久間 雄和*, 南出 靖彦*, Andrei Voronkov** (*筑波大学, **マンチェスター大学)

(C3) ポスター コントロールオペレータ control/prompt を用いた nested shift/reset のマクロ表現 高島 尚希 (筑波大学)

(C3) ポスター 証明支援系 Coq における対話的修正機構の提案 森口 草介, 渡部 卓雄 (東京工業大学)

(C3) ポスター 総称型に対応した拡張型緩和織込機構の提案 当山 学*, 青谷 知幸**, 増原 英彦* (*東京大学, **北陸先端科学技術大学院大学)

(C3) ポスター GPGPU プログラミングのための Ruby 言語処理系 西口 裕介 (東京大学)

(C3) ポスター 操作の一意性の推論形式からの自動判定 中村 宇佑 (東京大学)

(C3) ポスター スキーマを持った実行可能なデータ形式 大谷 桂介 (東京工業大学)

(C3) ポスター ビジュアルプログラミング言語とプログラム変換 吉永 卓矢, 脇田 建 (東京工業大学)

(C3) ポスター 構文マクロ定義を利用したプログラム整形システム 甫水 佳奈子 (東京工業大学)

(C3) ポスター 分散 JavaScript 言語による Web アプリケーションの効率的な開発 加藤 真人 (東京工業大学)

(C3) ポスター プログラムの更新を可能とする Checkpoint/Restart 機構 室井 雅仁, 鵜川 始陽, 岩崎 英哉 (電気通信大学)

(C3) ポスター 仮想化支援技術を用いた純関数型言語による仮想マシンモニタの設計 加藤 瞬, 岩崎 英哉 (電気通信大学)

(C3) ポスター 探索アルゴリズムのための非決定性オペレータの実装 金子 ちひろ, 浅井 健一 (お茶の水女子大学)

(C3) デモ Emacs における対話的な型デバッガの実装と改良 対馬 かなえ (お茶の水女子大学)

(C3) ポスター 部分方向性組み合わせ論理の計算論的性質 尾崎 博子, 戸次 大介 (お茶の水女子大学)

(C3) ポスター 前提記述のための動的論理の証明論構築に向けて 石下 裕里, 戸次 大介 (お茶の水女子大学)

(C3) ポスター 階層グラフ書換え言語 LMNtal における管理アトムの処理 目黒 学, 中川 遼平, 上田 和紀 (早稲田大学)

(C3) ポスター ハイブリッドシステムモデリング言語 HydLa の処理系による非決定性の扱い 松本 翔太*, 高田 賢士郎*, 細部 博史**, 上田 和紀* (*早稲田大学, **国立情報学研究所)

(C3) ポスター・デモ OCaml によるスマートフォン向け動的 Web ページの開発事例 今井 敬吾*, 今井 宜洋*, 小笠原 啓*, 結縁 祥治** (*有限会社ITプランニング，**名古屋大学)

(C3) ポスター 形式手法を含む言語教育の成果と課題 小川 清, 斉藤 直希 (名古屋市工業研究所)

(C3) ポスター 例外機構を持つ型付きラムダ計算におけるパラメトリシティ 大里 陽一, 五十嵐 淳, 中澤 巧爾 (京都大学)

(C3) ポスター 多相型と存在型に対する型検査問題の同値性 加藤 祐輝, 中澤 巧爾 (京都大学)

(C3) ポスター・デモ Safe アンビエントに基づく分散アプリケーション開発用 Lisp 環境 林 奉行, 馬谷 誠二, 八杉 昌宏, 湯淺 太一 (京都大学)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 2日目 (3月10日(木)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

9:00 - 10:00 セッション5 招待講演

線形論理とラムダ計算の計算量 照井 一成 (京都大学数理解析研究所)

10:00 - 10:20 休憩

10:20 - 12:00 (100分) セッション6

(C1) 基底項書き換え系の多項式時間合流性判定法の改良 村井 正勝, 青戸 等人, 外山 芳人 (東北大学)

(C1) 多項式サイズ正規形を保証する項書き換えシステムの経路順序 磯部 耕己, 青戸 等人, 外山 芳人 (東北大学)

(C2) Verification of Tree-Processing Programs via Higher-Order Model Checking (出典: 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), pp. 312-327, 2010) Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi (Tohoku University)

(C2) General Bindings and Alpha-Equivalence in Nominal Isabelle (出典: 20th European Symposium on Programming (ESOP 2011), to appear) Christian Urban*, Cezary Kaliszyk** (*TU Munich, **University of Tsukuba)

12:00 - 13:30 昼食

13:30 - 14:45 (75分) セッション7

(C1) A Homomorphism-based Framework for Systematic Parallel Programming with MapReduce Yu Liu*, Zhenjiang Hu** (*The Graduate University for Advanced Studies, **National Institute of Informatics)

(C1) 標準 Java 仮想機械上で動的にメンバーの追加を行う機構の提案 早船 総一郎, 千葉 滋 (東京工業大学)

(C2) Mostly modular compilation of crosscutting concerns by contextual predicate dispatch (出典: 25th ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2010), pp. 539-554, 2010) Shigeru Chiba*, Atsushi Igarashi**, Salikh Zakirov* (*Tokyo Institute of Technology, **Kyoto University)

14:45 - 15:10 休憩

15:10 - 16:50 (100分) セッション8

(C1) 模倣に基づくグラフスキーマを利用したビュー更新可能性判定 中野 圭介*, 日高 宗一郎**, 胡 振江**, 稲葉 一浩**, 加藤 弘之** (*電気通信大学, **国立情報学研究所)

(C1) An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions Kento Emoto (University of Tokyo)

(C2) Bidirectionalizing Graph Transformations (出典: 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), pp. 205-216, 2010) Soichiro Hidaka*, Zhenjiang Hu*, Kazuhiro Inaba*, Hiroyuki Kato*, Kazutaka Matsuda**, Keisuke Nakano*** (*National Institute of Informatics, **Tohoku University, ***The University of Electro-Communications)

(C2) Calculating Tree Navigation with Symmetric Relational Zipper (出典: 20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM 2011), pp. 101-110, 2011) Yuta Ikeda, Susumu Nishimura (Kyoto University)

16:50 - 17:15 休憩

17:15 - 18:30 (75分) セッション9

(C1) Haskellによる拡張性の高いプレゼンテーション・システム 今村 悠, 岩崎 英哉 (電気通信大学)

(C1) 宣言的記述からの関数型言語によるゲームプログラムの導出 松島 勇介, 上野 雄大, 森畑 明昌, 大堀 淳 (東北大学)

(C2) MikiBeta : A General GUI Library for Visualizing Proof Trees --- System Description and Demonstration --- (出典: 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), LNCS, to appear) Kanako Sakurai, Kenichi Asai (Ochanomizu University)

18:30 - 20:30 夕食

20:30 - 22:00 セッション10 (ポスター・デモ2)

(C3) ポスター Java 言語のための暗黙的に型定義される構造体 大久保 貴司, 千葉 滋 (東京工業大学)

(C3) ポスター IDE を活用した言語機構に頼らないコード再利用のためのモジュール化 寺本 裕基, 武山 文信, 千葉 滋 (東京工業大学)

(C3) ポスター 内部ドメイン専用言語支援のための型に連動した字句・構文ルールの 変更機構 市川 和央, 千葉 滋 (東京工業大学)

(C3) ポスター 機能モジュールの合成コードのより良いモジュール化に向けて 武山 文信, 千葉 滋 (東京工業大学)

(C3) ポスター 細かい粒度でコードの再利用を可能とするメソッド内メソッドの Java 言語への導入 平松 俊樹 (東京工業大学)

(C3) ポスター プログラム構造に強く依存しないポイントカットの提案 伊尾木 将之 (東京工業大学)

(C3) ポスター プログラムの織り込み関係を可視化するアウトラインビューの提案と実装 大谷 晃司 (東京工業大学)

(C3) ポスター 量子プロトコルの形式的検証のための観測同値 久保田 貴大, 角谷 良彦 (東京大学)

(C3) ポスター Coq を用いた Hadoop MapReduce アプリケーションの仕様記述とプログ ラム抽出 小野 洸亮*, 田辺 良則**, 谷 幹也***, 中野 雄介*, 野田 夏子***, 萩谷 昌己*, 平井 洋一*, 細野 繁***, 蒔原 省吾* (*東京大学, **国立情報学研究所, ***日本電気株式会社)

(C3) ポスター 型に場所がついた計算体系 木村 大輔*, 角谷 良彦** (*NII, **東京大学)

(C3) ポスター コレクションデータのパターンマッチ 江木 聡志 (東京大学)

(C3) ポスター 対称λ計算と古典論理 Reloaded 上田 やよい (お茶の水女子大学)

(C3) ポスター・デモ AlGoL: プログラミング言語の基礎を学ぶアプリケーションの提案 対馬 かなえ, 増子 萌 (お茶の水女子大学)

(C3) ポスター Automatic Parallelization via Matrix Multiplication Shigeyuki Sato, Hideya Iwasaki (The University of Electro-Communications)

(C3) ポスター Haskell で記述した仮想マシンモニタの評価 大山 恵弘, 岩崎 英哉 (電気通信大学)

(C3) デモ Haskell による拡張性の高いプレゼンテーション・システム 今村 悠, 岩崎 英哉 (電気通信大学)

(C3) ポスター スクリプト言語向けスタックベース GC と Lua への実装 小室 直, 阿部 公輝 (電気通信大学)

(C3) ポスター・デモ 並行処理記述のための DynAlloy の拡張 岩塚 卓弥, 結縁 祥治 (名古屋大学)

(C3) ポスター・デモ CONPASU: 記号処理に基づく並行プロセスの状態数削減ツール 磯部 祥尚 (産業技術総合研究所)

(C3) ポスター・デモ OCaml への GADT の導入 Jacques Garrigue, Jacques Le Normand (名古屋大学)

(C3) ポスター・デモ 制約付き項書換え系における木準同型写像を用いた等価性証明ツール 高桑 一也, 西田 直樹, 大場 康司, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗 (名古屋大学)

(C3) ポスター・デモ 難解言語 Malbolge におけるプログラミング環境の構築と改良 長坂 哲, 安藤 聡, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹 (名古屋大学)

(C3) ポスター・デモ 難解言語 Malbolge における高級アセンブリ言語への加算命令の追加 安藤 聡, 長坂 哲, 酒井 正彦, 坂部 俊樹, 草刈 圭一朗, 西田 直樹 (名古屋大学)

(C3) ポスター モナド的意味論の比較問題について 勝股 審也 (京都大学)

(C3) ポスター 確率的オートマトンにおける決定的スケジューラのための非決定的確率 的モナド 佐藤 哲也 (京都大学)

(C3) ポスター 分離論理を用いた，C 言語プログラムの機械的検証 アフェルト レナルド*, 山田 聖** (*産業技術総合研究所, **株式会社 レピダム)

(C3) ポスター Java 経験者を対象とした関数型プログラム学習支援環境の開発 佐藤 功二, 高田 喜朗 (高知工科大学)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 3日目 (3月11日(金)) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

9:00 - 10:15 (75分) セッション11

(C1) 暗に型付けられた関数型言語に対する変数名補完方式の提案 後藤 拓実, 篠埜 功 (芝浦工業大学)

(C1) Kide: 開発環境によるオブジェクト指向言語でのアスペクト指向開発の支援 金澤 圭, 堀江 倫大, 千葉 滋 (東京工業大学)

(C2) EventCJ: A Context-Oriented Programming Language with Declarative Event-based Context Transition (出典: 10th Annual Aspect-Oriented Software Development Conference (AOSD 2011), to appear) Tetsuo Kamina*, Tomoyuki Aotani**, Hidehiko Masuhara* (*University of Tokyo, **Japan Advanced Institute of Science and Technology)

10:15 - 10:40 休憩

10:40 - 11:55 (75分) セッション12

(C1) 名前渡しプロセス計算における優先度ガード 結縁 祥治, 太田 正悟 (名古屋大学)

(C1) エフェクトを持つマルチステージ計算体系の型推論 小鍛治 雄一郎, 亀山 幸義 (筑波大学)

(C2) Polymorphic Contracts (出典: 20th European Symposium on Programming (ESOP 2011), to appear) Joao Filipe Belo*, Michael Greenberg*, Atsushi Igarashi**, Benjamin C. Pierce* (*University of Pennsylvania, **Kyoto University)

11:55 - 12:20 休憩

12:20 - 13:00 クロージング --------------------------------------------------------------------------