情報処理学会 プログラミング研究会

第52回 2005-01-20 ~ 2005-01-21 NTT厚木研究センタ

(52-1) 情報隠蔽のための自動リファクタリング
    新田 直也 (奈良先端大学)
(52-2) Webアプリケーションの静的意味検査法
    大木 憲二,鈴木 徹也,徳田 雄洋 (東京工業大学)
(52-3) 拡張行列演算に基づくデータマイニング環境の実現
    松田 一孝,筧 一彦,胡 振江,武市 正人 (東京大学)
(52-4) 複数のCPUボードを用いたシステムの実行時間と稼働率を見積もり可能なビジュアルプログラミングシステムの開発
    玉井 清寛,山口 真悟,田中 稔 (山口大学)
(52-5) SAX上のlazy XML treeの構成によるXSLTの最適化
    真中 賢二,佐藤 周行 (東京大学)
(52-6) 疎な要求駆動型データフロー解析
    滝本 宗宏 (東京理科大学),福岡 岳穂 (管理工学研究所),佐々政 孝 (東京工業大学),原田 賢一 (慶應義塾大学)
(52-7) モンゴメリ乗算法の高速化
    テイ チョユウ,太田 昌孝,荒木 純道 (東京工業大学)
(52-8) スタックベースのML処理系における効率的な一級継続の実装
    皆川 宜久,鵜川 始陽,八杉 昌宏,湯淺 太一 (京都大学)
(52-9) 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa
    山田 聖 (北陸先端科学技術大学院大学),渡部 卓雄 (東京工業大学)
(52-10) プログラムスライシングに基づく関心事グラフ構築
    亀田 大輔,滝本 宗宏 (東京理科大学)
(52-11) Csp-Prover: プロセス代数CSPのための定理証明器
    磯部 祥尚 (産業技術総合研究所),Markus Roggenbach (ウェールズ大)
(52-12) パイ計算による仕様を検証する論理体系
    竹内 泉 (東邦大学)
(52-13) 定性空間推論の新しい枠組DLCSとその上での操作
    住友 孝郎,高橋 和子 (関西学院大学)