第52回 プログラミング研究発表会

• [入館手続き] 正門警備員に、“プログラミング研究会参加”の旨をお伝えいただき名簿にチェック（名前のない方は記入）してください。2 日参加される方は、両日とも名簿チェックをおねがいします。
  
  

問い合わせ先：　真野　健 （NTT コミュニケーション科学基礎研究所）
　　　　　　　　　　　　E-mail mano@theory.brl.ntt.co.jp

議　　題：

1 月 20 日 （木）
13:00-13:45 情報隠蔽のための自動リファクタリング
新田直也（奈良先端大）

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の最適化
真中賢二、佐藤周行（東大）

1 月 21 日 （金）

10:00-10:45 疎な要求駆動型データフロー解析
滝本宗宏（東京理科大）、福岡岳穂（管理工学研）、佐々政孝（東工大）、原田賢一（慶大）

10:45-11:30 モンゴメリ乗算法の高速化
テイ チョユウ、太田昌孝、荒木純道（東工大）

11:30-12:15 スタックベースのML処理系における効率的な一級継続の実装
皆川宜久、鵜川始陽、八杉昌宏、湯淺太一（京大）

12:15-13:15 昼休み

13:15-14:00 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa
山田　聖（JAIST）、渡部卓雄（東工大）

14:00-14:45 プログラムスライシングに基づく関心事グラフ構築
亀田大輔、滝本宗宏（東京理科大）

14:45-15:00 休憩

15:00-15:45 Csp-Prover: プロセス代数CSPのための定理証明器
磯部祥尚（産総研）、Markus Roggenbach（ウェールズ大）

15:45-16:30 パイ計算による仕様を検証する論理体系
竹内　泉（東邦大）

16:30-17:15 定性空間推論の新しい枠組DLCSとその上での操作
住友孝郎、高橋和子（関西学院大）

※その他詳細は研究会Webページをご覧ください。

**************↓↓発表募集は終了しました↓↓*********************

　プログラミング研究会（PRO）は1998年度から毎年3〜4回のペースで論文誌を発行しています。PRO論文誌は研究会と密接にリンクしており、研究会で発表されたもののうちあらかじめ論文投稿を希望し、論文原稿を提出されているものが査読の対象となっています。おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です。来年1月の研究会も多くの発表ならびに論文投稿をお待ちしております。参加費は無料です。申込〆切は11月20日（原稿〆切は12月20日）ですので、よろしくご検討ください。