情報処理学会 プログラミング研究会
第81回 2010-10-28 ~ 2010-10-29 高知県立文学館
(81-1) Argument Filterings and Usable Rules in Higher-Order Rewrite Systems
SUZUKI Sho，KUSAKARI Keiichirou (Nagoya University)，Ｆｒéｄéｒiｃ Blanqui (INRIA)
(81-2) 例外処理を持つ関数型プログラムの停止性・非停止性証明法
濱口 毅，酒井 正彦，馬場 正貴，阿草 清滋 (名古屋大学)
(81-3) 文脈自由言語と超決定性言語の包含判定問題の決定可能性の型理論を用いた証明
塚田 武志，小林 直樹 (東北大学)
(81-4) ブラウザ上のWebアプリケーションの応答性を高める実装手法
涌井 智寛，沼崎 隼一，三塚 恵嗣，畠山 正行 (茨城大学)
(81-5) SH4A向けコンパイラにおける0-1整数計画法を使った浮動小数点演算精度指定命令の選択と挿入
坂本 諒，千葉 雄司，久保田 光一，土居 範久 (中央大学)
(81-6) 2つのメソッド呼び出しに関わる最適化を可能にするアスペクト指向言語
伊尾木 将之，千葉 滋 (東京工業大学)
(81-7) 最適化Packrat Parserの空間計算量の計算手法の提案
水島 宏太，前田 敦司，山口 喜教 (筑波大学)
(81-8) 静的単一代入形式を用いたポインタ解析アルゴリズム
田中 雄一，大山口 通夫 (三重大学)
(81-9) スクリプト言語GavaOneの設計と実装
木村 紀介 ()
(81-10) Scheme言語によるリスト構造に特化したXMLデータ処理の効率化と記述性の向上
坪井 啓明，前田 敦司，山口 喜教 (筑波大学)
(81-11) 同一入力位置で複数発生する左再帰へ対応したPackrat Parsingの設計と実装
白田 佳章，木山 真人，芦原 評 (熊本大学)
(81-12) 領域限定言語に基づく最適経路問合せ
森畑 明昌 (東北大学)，松崎 公紀 (高知工科大学)，武市 正人 (東京大学)