情報処理学会 プログラミング研究会
第51回 2004-10-21 ~ 2004-10-22 東京大学駒場キャンパス数理科学研究科棟056号室
(51-1) グリッド計算環境における制約解消システムの構築に向けて
松田 一人，川谷 宗之，岡本 英彰，北川 哲，大西 秀志，番原 睦則，田村 直之 (神戸大学)
(51-2) Grid計算環境における二つの制約解消系の試験的実装について
川谷 宗之，岡本 英彰，松田 一人，北川 哲，大西 秀志，番原 睦則，田村 直之 (神戸大学)
(51-3) 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
山田 聖 (北陸先端科学技術大学院大学)，渡部 卓雄 (東京工業大学)
(51-4) SOARS: 新しいエージェントベースシミュレーション言語の開発
田沼 英樹 (東京大学医科学研究所/東京工業大知能システム科学)，出口 弘 (東京工業大学)，清水 哲男 (東京大学)
(51-5) XQueryのソースレベル最適化のための等価変換に関する考察
日高 宗一郎，加藤 弘之 (国立情報学研究所)，吉川 正俊 (名古屋大学)
(51-6) オブジェクトの参照関係に基づいたメモリリーク原因箇所の自動検出手法
小幡 元樹 (日立製作所)
(51-7) 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
内山 雄司 (東京工業大学)，緒方 大介 (ソニー)，脇田 建 (東京工業大学)
(51-8) 実行可能なコンパイラの形式化と検証
大熊 浩示，南出 靖彦 (筑波大学)
(51-9) 多相環境計算の強正規化可能性
清水 亮 (新日鉄ソリューションズ)，西崎 真也 (東京工業大学)
(51-10) 項書き換えシステムにおける可簡約演算子とその応用
中村 正樹 (北陸先端科学技術大学院大学)，緒方 和博 (北陸先端科学技術大学院大学/NECソフトウェア北陸)，二木 厚吉 (北陸先端科学技術大学院大学)