第64回 プログラミング研究発表会

日　　程　：　平成19年6月8日（金）

会　　場　：　筑波大学 総合研究棟B 108プレゼンルーム
　　　　　　　　（茨城県つくば市天王台1-1-1）

議　　題　：

13:00-13:45　　実装言語独立でモジュラリティーの良いコンパイラキット SCK
　　　　　　　　　　阿部正佳（フリープログラマ）、山崎　淳（ミラクルアーツ）、山根雅司（ワイズケイ）

13:45-14:00　　休憩

14:00-14:45　　拡張Dewey Orderを用いたdistinct-doc-orderのエミュレーションに基づくXQueryの書き換え規則
　　　　　　　　　　加藤弘之、日高宗一郎（NII）

14:45-15:30　　枝刈り式構文解析法の応用と効率化
　　　　　　　　　　森本真一（NEC）

15:30-15:45 休憩

15:45-16:30　　プログラム変換パターンの自動生成
　　　　　　　　　　千葉勇輝、青戸等人、外山芳人（東北大）

16:30-17:15　　抽象原理に基づく書き換え帰納法の健全性
　　　　　　　　　　青戸等人（東北大）

＊＊＊＊↓↓発表募集は終了しました↓↓＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

日　　程　：　平成19年6月8日（金）

会　　場　：　筑波大学 総合研究棟B 108プレゼンルーム
　　　　　　　　（茨城県つくば市天王台1-1-1）

発表申込締切　：　平成19年4月7日（土）
投稿論文原稿提出締切　：　平成19年5月7日（月）

申 込 先　：　南出靖彦（筑波大学システム情報工学研究科）
　　　　　　　　　E-mail: minamide@cs.tsukuba.ac.jp
　　　　　　　　　Tel: 029-853-5164　Fax: 029-853-6982

※申込みはできるだけE-mailでお願いします。申込みから５日以内に返信がない場合は、担当者あてにご連絡下さい。
※プログラミング研究会で発表する際の注意事項は研究会Webページをご覧下さい。