情報処理学会ホームに戻る |
最終更新日:2005年1月12日 |
第52回 プログラミング研究発表会 |
日 程 : 平成17年1月20日(木)・21日(金)
問い合わせ先: 真野 健 (NTT コミュニケーション科学基礎研究所) 1 月 20 日 (木) 13:45-14:30 Webアプリケーションの静的意味検査法 14:30-14:45 休憩 14:45-15:30 拡張行列演算に基づくデータマイニング環境の実現 15:30-16:15 複数のCPUボードを用いたシステムの実行時間と稼働率を見積もり可能なビジュアルプログラミングシステムの開発 16:15-17:00 SAX上のlazy XML treeの構成によるXSLTの最適化
10:45-11:30 モンゴメリ乗算法の高速化 11:30-12:15 スタックベースのML処理系における効率的な一級継続の実装 12:15-13:15 昼休み 13:15-14:00 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa 14:00-14:45 プログラムスライシングに基づく関心事グラフ構築 14:45-15:00 休憩 15:00-15:45 Csp-Prover: プロセス代数CSPのための定理証明器 15:45-16:30 パイ計算による仕様を検証する論理体系 16:30-17:15 定性空間推論の新しい枠組DLCSとその上での操作
※その他詳細は研究会Webページをご覧ください。
**************↓↓発表募集は終了しました↓↓********************* 日 程 平成17年1月20日(木)・21日(金) 発表申込締切 平成16年11月20日(土) (CLOSED)
申 込 先 真野 健 (NTT コミュニケーション科学基礎研究所) |