********************************************************
第51回プログラミング研究会 (PRO-2004-3) プログラム

  日  程    10月21日(木)13:00〜17:00
                22日(金)10:00〜15:00
  会  場    東京大学 駒場キャンパス (東京都目黒区駒場)(交通)
            数理科学研究科棟 056号室(地図)

********************************************************


=================
10月21日(木) 午後
=================

13:00〜14:30 (2件)

(1) 松田 一人, 川谷 宗之, 岡本 英彰,
    北川 哲, 大西 秀志(神戸大学自然科学研究科),
    番原 睦則, 田村 直之(神戸大学術情報基盤センター)
    「グリッド計算環境における制約解消システムの構築に向けて」

(2) 川谷 宗之, 岡本 英彰, 松田 一人,
    北川 哲, 大西 秀志(神戸大学自然科学研究科),
    番原 睦則, 田村 直之(神戸大学術情報基盤センター)
    「Grid計算環境における二つの制約解消系の試験的実装について」

14:45〜17:00 (3件)

(3) 山田 聖(北陸先端科学技術大学院大学情報科学研究科),
    渡部 卓雄(東京工業大情報理工学研究科)
    「契約による設計を支援する表明記述のアスペクト指向的モジュール化方式」

(4) 田沼 英樹(東京大学医科学研究所, 東京工業大知能システム科学),
    出口 弘(東京工業大知能システム科学), 清水 哲男(東京大学医科学研究所)
   「SOARS: 新しいエージェントベースシミュレーション言語の開発」

(5) 日高 宗一郎, 加藤 弘之(国立情報学研究所),
    吉川 正俊(名古屋大学情報連携基盤センター)
    「XQueryのソースレベル最適化のための等価変換に関する考察」


懇親会 18:30〜
    「ぶーにゃ」 (電話 03-3770-1325)
    旧山手通り沿い 最寄り駅: 京王神泉駅 (会場から徒歩10分)


=================
10月22日(金) 午前
=================

10:00〜12:15 (3件)

(6) 小幡 元樹 (日立製作所システム開発研究所)
    「オブジェクトの参照関係に基づいたメモリリーク原因箇所の自動検出手法」

(7) 内山 雄司(東京工業大情報理工学研究科), 緒方 大介(ソニー),
    脇田 建(東京工業大情報理工学研究科)
    「仮想機械の仕様記述に基づくバイトコードインタプリタ生成系」

(8) 大熊 浩示, 南出 靖彦(筑波大システム情報工学研究科)
    「実行可能なコンパイラの形式化と検証」

=================
10月22日(金) 午後
=================

13:30〜15:00 (2件)

(9) 清水 亮(新日鉄ソリューションズ)，西崎 真也(東京工業大情報理工学研究科)
    「多相環境計算の強正規化可能性」

(10)中村 正樹(北陸先端科学技術大学院大学),
    緒方 和博(北陸先端科学技術大学院大学, NECソフトウェア北陸),
    二木 厚吉(北陸先端科学技術大学院大学)
    「項書き換えシステムにおける可簡約演算子とその応用」