jssst sig-ppl

第14回プログラミングおよびプログラミング言語ワークショップ(PPL2012)

プログラム

[home]

注意: PPL2012 は国内の研究者に予備段階にある研究を発表する機会を与えるワーク ショップであるとともに,ここでの議論に基づき改良を加えた論文を国際会議 や学術雑誌に投稿することを推奨しています.そのため,ここにあるオンライ ン予稿集は(ISBN,ISSNなどを持たない)非公式のものであり,他の場所での出 版を妨げるものではありません.
本ページ上のカテゴリ1論文は各著者によって提供されたものであり,著作権 は各著者に属します.転載などに関しては各著作権者の許可を得る必要があり ます.
カテゴリ2は,査読付の国際会議または学術雑誌等で既発表(もしくは採録決 定済)であるが国内で未発表の研究を紹介をする場であり,そこでの発表は論 文の再出版・二重投稿などには該当しません.

NOTICE: PPL2012 aims to function as an informal workshop, which gives researchers an opportunity to disseminate their preliminary work and get feedbacks from the Japanase research community. It also encourages submissions of its revised version to international conferences or refereed journals. Thus, the online proceedings here should also be considered informal (neither ISBN nor ISSN is assigned) so as not to preclude publication elsewhere.
The documents distributed by this page have been provided by the contributing authors. Copyright of each document is maintained by the corresponding authors. These works may not be reposted or redistributed without the explicit permission of the copyright holder.
The second category of the PPL workshops is intended to help researchers disseminate their research to the domestic community by providing opportunities to present their papers that have already been accepted by international conferences or journals (but not presented in Japan before). Therefore, presentations in this category, which are informal, shouldn't be considered republication or results of double submissions of any kind.

論文置き場にはワークショップの時と同じパスワードがかかっています.
[ 1日目 | 2日目 | 3日目 ]
1日目: 2012年3月8日(木)
14:15 - 14:20 オープニング
14:20 - 15:20 セッション1
[PDF] Query-based RDF-object mapping with graph pattern matching [C1]
Shunichi Amano, Futoshi Iwama, Hideki Tai, Hisashi Miyashita (IBM Research)
[PDF] XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構 [C1]
白田 靜哉(1), 中野 圭介(2), 岩崎 英哉(1) ((1)電気通信大学大学院情報理工学研究科, (2)電気通信大学先端領域研究センター)
15:20 - 15:40 休憩
15:40 - 16:40 セッション2: 招待講演
プログラム意味論・テンソル圏・量子トポロジー [招待講演]
長谷川 真人 (京都大学)
16:40 - 17:00 休憩
17:00 - 18:30 セッション3
A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy [C2]
Naohiko Hoshino (Research Institute for Mathematical Sciences, Kyoto University)
出典: 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), LNCS6604, pp.320--334, 2011.
Constructing Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell [C2]
Makoto Hamana (Department of Computer Science, Gunma University)
出典: 11th International Symposium on Functional and Logic Programming (FLOPS 2012), to appear.
[PDF] 顕在的契約計算におけるアップキャスト除去 [C1]
関山 太朗, 五十嵐 淳 (京都大学大学院情報学研究科)
18:30 - 20:00 夕食
20:00 - 22:00 セッション4: ポスター・デモ1
A Higher-order Distributed Calculus with Name Creation [C3 (ポスター)]
Adrien Piérard, Eijiro Sumii (Tohoku University)
対応表明つきプロトコル記述からSpiCAへの変換と真正性検証 [C3 (ポスター・デモ)]
佐藤 悠史, 住井 英二郎 (東北大学)
HTML5構文解析のプッシュダウンオートマトンを用いた検証 [C3 (ポスター)]
森 俊介, 南出 靖彦 (筑波大学)
抽象DPLLのIsabelle/HOLによる形式化と検証 [C3 (ポスター)]
武井 裕也, 南出 靖彦 (筑波大学)
文字列解析によるクロスサイトスクリプティング脆弱性検査の改良 [C3 (ポスター)]
木村 将人, 南出 靖彦 (筑波大学)
A Practical Generate-Test-and-Aggregate Framework on Hadoop [C3 (ポスター)]
劉 雨(1), 江本 健斗(2), 胡 振江(3) ((1)総合研究大学院大学, (2)東京大学, (3)国立情報学研究所)
メタラムダ計算の定式化 [C3 (ポスター)]
岩井 亜里紗, 浅井 健一 (お茶の水女子大学)
高階依存型理論を用いた自然言語の意味論構築に向けて [C3 (ポスター)]
中野 悠紀, 戸次 大介 (お茶の水女子大学)
対称ラムダ計算の定式化 [C3 (ポスター)]
新井 祐美, 浅井 健一 (お茶の水女子大学)
js_of_ocamlによるMikiβの実装に向けて [C3 (ポスター・デモ)]
中野 祥, 浅井 健一 (お茶の水女子大学)
豊穣圏によるメタラムダ計算の意味論 [C3 (ポスター)]
増子 萌, 戸次 大介 (お茶の水女子大学)
LMNtal コンパイラにおけるアトム再利用最適化の再設計と実装 [C3 (ポスター)]
信夫 裕貴, 上田 和紀 (早稲田大学)
ハイブリッドシステムモデリング言語HydLaにおける統合開発環境HIDEの構築 [C3 (ポスター・デモ)]
櫻庭 翔, 上田 和紀 (早稲田大学)
ハイブリッド制約言語HydLaへの入出力機能の導入とその応用例 [C3 (ポスター・デモ)]
和田 亮, 竹口 輝, 上田 和紀 (早稲田大学)
JavaScriptアプリケーションの対話的実行時開発環境 [C3 (ポスター)]
吉永 卓矢, 脇田 建 (東京工業大学)
遅延スイープ法における局所性の改善 [C3 (ポスター)]
金野 千顕, 小宮 常康 (電気通信大学)
イベント駆動型プログラミングのためのストリームを導入したJavaScript拡張言語の設計 [C3 (ポスター)]
雪本 修一, 小宮 常康 (電気通信大学)
例外処理を用いた継続導入におけるオーバーヘッドの軽減 [C3 (ポスター)]
片桐 国建, 小宮 常康 (電気通信大学)
部分コンパクションの実行頻度と Evacuation Area 選択法の改良 [C3 (ポスター)]
加藤 瞬, 鵜川 始陽, 岩崎 英哉 (電気通信大学)
サーバサイドJavaScript処理系の開発について [C3 (ポスター・デモ)]
高田 祥, 鵜川 始陽, 中野 圭介, 岩崎 英哉 (電気通信大学)
FMMへの木スケルトンの適用 [C3 (ポスター)]
佐藤重幸, 岩崎英哉 (電気通信大学)
X-PCF --- {0,1,⊥}-無限列を表現とした実数上の形式計算体系 [C3 (ポスター)]
寺山 慧, 立木 秀樹 (京都大学)
ジョブ並列スクリプト言語Xcryptの他言語対応に向けて [C3 (ポスター・デモ)]
上野 優, 平石 拓, 岩下 武史, 中島 浩 (京都大学)
Azucar: コンパクト順序符号化を用いたSAT型制約ソルバー [C3 (デモ)]
丹生 智也, 田村 直之, 番原 睦則 (神戸大学)
自身のインスタンスを生成するクラス定義の型推論に関する一考察 (ポスター) [C3 (ポスター)]
樗木 辰哉, 廣瀬 貴裕, 木山 真人, 芦原 評 (熊本大学)
[ 1日目 | 2日目 | 3日目 ]
2日目: 2012年3月9日(金)
9:00 - 10:00 セッション5: 招待講演
大脳皮質の計算論 [招待講演]
細谷 晴夫 (理化学研究所脳科学総合研究センター,科学技術振興機構さきがけ)
10:00 - 10:20 休憩
10:20 - 11:50 セッション6
Extractability as Deduction Theorem in Subdirectional Combinatory Logic [C2]
Hiroko Ozaki, Daisuke Bekki (Ochanomizu University)
出典: 8th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.80-93, 2011.
[PDF] Illative Combinatory Logic を用いた前提の定式化に向けて [C1]
石下 裕里, 戸次 大介 (お茶の水女子大学大学院人間文化創成科学研究科)
[PDF] 一階述語条件論理とそのタブローシステム [C1]
尾崎 有梨, 戸次 大介 (お茶の水女子大学)
11:50 - 13:30 昼食
13:30 - 14:30 セッション7
Predicate abstraction and CEGAR for higher-order model checking [C2]
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno (Tohoku University)
出典: 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), pp.222-233, 2011.
Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling [C2]
Kohei Suenaga(1), Ichiro Hasuo(2) ((1)JSPS Research Fellow, Kyoto University, (2)University of Tokyo)
出典: 38th International Colloquium on Automata, languages and Programming (ICALP 2011), Volume Part II, pp. 392--403, 2011.
14:30 - 14:50 休憩
14:50 - 16:20 セッション8
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce [C2]
Kento Emoto(1), Sebastian Ficsher(2), Zhenjiang Hu(2) ((1)University of Tokyo, (2)National Institute of Informatics)
出典: 22nd European Symposium on Programming (ESOP 2012), to appear.
[PDF] 並列木縮約による並列データフロー解析 [C1]
森畑 明昌 (東北大学電気通信研究所)
[PDF] Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出 [C1]
姜 帆(1,2), 田辺 良則(2), 本位田 真一(1,2) ((1)東京大学大学院情報理工学系研究科, (2)国立情報学研究所)
16:20 - 16:40 休憩
16:40 - 18:10 セッション9
[PDF] コードシェーカ: コード配置効果を考慮した適正な性能評価システム [C1]
松田 友希(1), 八杉 昌宏(1), 鵜川 始陽(2) ((1)京都大学大学院情報学研究科, (2)電気通信大学情報理工学研究科)
Do We Really Need to Extend Syntax for Advanced Modularity? [C2]
Shigeru Chiba, Michihiro Horie, Kei Kanazawa, Fuminobu Takeyama, Yuuki Teramoto (Tokyo Institute of Technology)
出典: Modularity Visions track, 11th International Conference on Aspect-Oriented Software Development (AOSD 12), to appear.
[PDF] コンパイラの型推論を利用した型デバッグ手法の提案 [C1]
対馬 かなえ, 浅井 健一 (お茶の水女子大学)
18:10 - 20:00 夕食
20:00 - 22:00 セッション10: ポスター・デモ2
型付き関数型言語からシェルスクリプトへの外部関数インタフェース [C3 (ポスター・デモ)]
菊池 大志, 上野 雄大, 森畑 明昌, 大堀 淳 (東北大学)
定理証明系Coqを用いたSibling Propertyとハフマン木との同値性の形式的証明 [C3 (ポスター)]
須田 啓司, 山本 光晴 (千葉大学)
Standard ML用エラー回復機能を持つ変数名補完の実装 [C3 (ポスター・デモ)]
諏訪 覚, 篠埜 功 (芝浦工業大学)
仮想的なタグを用いた共用体入りプログラムの事前条件推定 [C3 (ポスター)]
今井 健男(1,2), 酒井 政裕(1), 遠藤 侑介(1), 萩谷 昌己(2) ((1)東芝, (2)東京大学)
プログラミング言語Egison [C3 (ポスター・デモ)]
江木 聡志 (東京大学)
Coqによる関係データベースの形式化とHaskellへのプログラム抽出の可能性 [C3 (デモ)]
中村 宇佑 (東京大学)
3次元量子エンタングルメントのグラフによる分類 [C3 (ポスター)]
本多 健太郎 (東京大学)
コード推薦システムの既存プログラムを用いた最適化 [C3 (ポスター)]
村上 直也, 増原 英彦 (東京大学)
GPU向けプログラムをRubyで記述できる言語処理系Ikra [C3 (ポスター・デモ)]
西口 裕介, 増原 英彦 (東京大学)
Webアプリケーション開発のための分散JavaScriptとそのアプリケーション [C3 (デモ)]
加藤 真人 (東京工業大学)
同期可能なコピー&ペーストによるコード再利用のためのモジュール化 [C3 (ポスター)]
寺本 裕基, 武山 文信, 千葉 滋 (東京工業大学)
モジュール機構Simplified Method Sheltersの提案とその効率の良い実装方法 [C3 (ポスター)]
竹下 若菜, 千葉 滋 (東京工業大学)
同期を考慮したメソッドの自動的配置が可能な言語とそのHPCへの応用 [C3 (ポスター)]
宗 桜子, 千葉 滋 (東京工業大学)
ブロック単位のコードの再利用を可能とするメソッド内メソッド [C3 (ポスター)]
平松 俊樹 (東京工業大学)
HPC向け実行時言語変換器WootinJの実装と可能性 [C3 (ポスター)]
穂積 俊平, 伊尾木 将之, 千葉 滋 (東京工業大学)
ユーザ定義N項演算子により内部DSLを実現する言語ProteaJ [C3 (ポスター)]
市川 和央, 千葉 滋 (東京工業大学)
家族継承の機能指向プログラミングへの導入 [C3 (ポスター)]
武山 文信, 千葉 滋 (東京工業大学)
Integrating events with methods by a single language construct [C3 (ポスター)]
YungYu Zhuan, Shigeru Chiba (Tokyo Institute of Technology)
述語論理計算を実現するデータフロー・ネットワーク [C3 (ポスター)]
鈴木 秀明(1), 吉田 幹(2), 澤井 秀文(1) ((1)(独)情報通信研究機構, (2)株式会社ビービーアール)
KonohaScriptからJavaScriptへのソースコード変換機の設計 [C3 (ポスター)]
志田 駿介, 井出 真広, 倉光 君郎 (横浜国立大学)
KonohaScriptを用いたJavaアプリケーションの実行時動作変更 [C3 (ポスター)]
若松 悠樹, 井出 真広, 倉光 君郎 (横浜国立大学)
JSON形式を用いた大規模ライブラリのFFI作成フレームワークの提案 [C3 (ポスター)]
小野田 武朗, 五嶋 壮晃, 倉光 君郎 (横浜国立大学)
D-Script フレームワーク:分散システムを統一的に管理,運用するためのフレームワーク [C3 (ポスター・デモ)]
養安 元気(1), 若森 拓馬(1), 中田 晋平(1), 菅谷 みどり(1,2), 倉光 君郎(1,2) ((1)横浜国立大学, (2)JST/CREST)
Coqによる集合論と数学の実装 [C3 (ポスター・デモ)]
佐藤 雅大 (名古屋大学)
エフェクトシステムの述語意味論 [C3 (ポスター)]
勝股 審也 (京都大学)
Type-Based Safe Resource Deallocation for Shared-Memory Concurrency [C3 (ポスター)]
Ryota Fukuda, Kohei Suenaga, Atsushi Igarashi (Kyoto University)
[ 1日目 | 2日目 | 3日目 ]
3日目: 2012年3月10日(土)
9:00 - 10:00 セッション11
[PDF] 永続性にもとづく項書き換えシステムの合流性証明 [C1]
鈴木 翼, 青戸 等人, 外山 芳人 (東北大学電気通信研究所)
[PDF] 片側減少ダイアグラム法による項書き換えシステムの可換性証明法 [C1]
的場 正樹, 青戸 等人, 外山 芳人 (東北大学電気通信研究所)
10:00 - 10:20 休憩
10:20 - 11:20 セッション12
Functional Programs as Compressed Data [C2]
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara (Tohoku University)
出典: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp.121--130, 2012.
Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals [C2]
Kazutaka Matsuda(1), Kazuhiro Inaba(2), Keisuke Nakano(3) ((1)Tohoku University, (2)National Institute of Infomatics, (3)The University of Electro-Communications (The second author has moved to Google))
出典: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp.5--14, 2012.
11:20 - 12:00 クロージング