情報処理学会 プログラミング研究会
第64回 2007-06-07 ~ 2007-06-08 筑波大学総合研究棟B108プレゼンルーム
(64-1) 実装言語独立でモジュラリティーの良いコンパイラキット SCK
阿部 正佳 (フリープログラマ)，山崎 淳 (ミラクルアーツ)，山根 雅司 (ワイズケイ)
(64-2) 拡張Dewey Orderを用いたdistinct-doc-orderのエミュレーションに基づくXQueryの書き換え規則
加藤 弘之，日高 宗一郎 (国立情報学研究所)
(64-3) 枝刈り式構文解析法の応用と効率化
森本 真一 (日本電気航空宇宙システム)
(64-4) プログラム変換パターンの自動生成
千葉 勇輝，青戸 等人，外山 芳人 (東北大学)
(64-5) 抽象原理に基づく書き換え帰納法の健全性
青戸 等人 (東北大学)