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.
Illative Combinatory Logic を用いた前提の定式化に向けて
[C1]
石下 裕里, 戸次 大介 (お茶の水女子大学大学院人間文化創成科学研究科)
一階述語条件論理とそのタブローシステム
[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.
並列木縮約による並列データフロー解析
[C1]
森畑 明昌 (東北大学電気通信研究所)
Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出
[C1]
姜 帆(1,2), 田辺 良則(2), 本位田 真一(1,2)
((1)東京大学大学院情報理工学系研究科, (2)国立情報学研究所)
16:20 - 16:40 休憩
16:40 - 18:10 セッション9
コードシェーカ: コード配置効果を考慮した適正な性能評価システム
[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.
コンパイラの型推論を利用した型デバッグ手法の提案
[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)