情報処理学会 プログラミング研究会
第83回 2011-04-25 ~ 2011-04-26 京都大学 楽友会館
(83-1) 日本語プログラミング言語における関数の多重定義解決の実装と評価
馬場 祐人，筧 捷彦 (早稲田大学)
(83-2) グラフ書換え言語REGRELによるメタプログラミングの表現
東 達軌，武田 正之 (東京理科大学)
(83-3) メモ化表へのプリフェッチによるPackrat Parserの並列化
遠藤 仁，前田 敦司，山口 喜教 (筑波大学)
(83-4) 正規表現マッチングの並列化とそのHadoopでの評価
松崎 公紀 (高知工科大学)，江本 健斗 (東京大学)，劉 雨 (総合研究大学院大学)
(83-5) Decidability of Reachability for Right-Shallow Context-Sensitive Term Rewriting Systems
小島 芳治，酒井 正彦，西田 直樹，草刈 圭一朗，坂部 俊樹 (名古屋大学)
(83-6) 純粋関数型言語を用いた超コンパクト音声認識デコーダの開発
篠崎 隆宏 (千葉大学)，関嶋 政和，萩原 茂樹，古井 貞煕 (東京工業大学)
(83-7) 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価
雨宮 聡史 (九州大学)，雨宮 真人 (大阪工業大学)
(83-8) 証明支援系Coqのプログラムに対する対話的修正機構の提案
森口 草介，渡部 卓雄 (東京工業大学)
(83-9) Determinization of Conditional Term Rewriting Systems for Program Generation
長島 正憲，酒井 正彦，坂部 俊樹 (名古屋大学)
(83-10) サーバ・クライアント処理の動的分割・再配置機能を備えた Webアプリケーション用言語
石橋 崇，小宮 常康，多田 好克 (電気通信大学)
(83-11) Rubyの文字列処理の手軽な高速化
中川 博貴，笹田 耕一 (東京大学)
(83-12) CNFSATからHornSATへの変換手法について
小林 弘二 (フリー)
(83-13) 大規模主記憶環境における GC 方式の性能評価
井出 真広，平岡 佑太郎，養安 元気，中田 晋平，菅谷 みどり，倉光 君郎 (横浜国立大学)