第56回プログラミング研究発表会 (PRO-2005-3) プログラム

10月11日 午後

13:45 〜 15:15

  1  岡本 秀輔 (成蹊大学理工学部), 下村 達也, 鎌田 賢, 
     米倉 達広 (茨城大学工学部)
    「対話型アニメ作成ツールIslayを用いたプログラミング」

  2  佐野 元之 (オープンテクノロジーズ, 明治大学理工学研究科),
     疋田 輝雄 (明治大学理工学研究科)
    「IIOSSにおけるUMLモデルの振舞い解析」

---

セッション2  15:30 〜 17:00

  3  石川 零, 千葉 滋 (東京工業大学 情報理工学研究科)
    「アスペクト指向プログラミングと Dependency Injection の融合」

  4  川端 英之, 北村 俊明 (広島市立大学情報科学部)
    「行列計算のためのMATLABベース静的型付け言語の設計と実装」

-------------------------------------------------------

10月12日 午前

セッション3  9:15 〜 10:45

  5  西崎 真也, 玉野 浩嗣 (東京工業大学 大学院情報理工学研究科)
    「定理アーカイブにおけるDoS攻撃耐性」

  6  奥居 哲 (中部大学工学部), 鈴木 太朗 (会津大学コンピュータ理工学部)
    「Pattern Matching Incompletely RE-Typed Expressions via Transformation」

---

セッション4  11:00 〜 12:30

  7   平石 拓, 八杉 昌宏, 湯淺 太一 (京都大学情報学研究科)
     「A Transformation-Based Implementation of Lightweight Nested Functions」

  8   田中 慎司 (日本電信電話株式会社), 山田 哲靖 (NTTソフトウェア株式会社),
      八尾 宏 (日本電信電話株式会社)
     「Javaにおけるコード配置の動的最適化」