情報処理学会 プログラミング研究会
第44回 2003-06-16 ~ 2003-06-17 筑波大学大塚キャンパスG501
(44-1) 状態機械を用いるフレームワーク記述言語FwMLの設計とXMLアプリケーションへの適用
中鉢 欣秀 (慶應大/ニューメリック)，岡田 健，大岩 元 (慶應義塾大学)
(44-2) フレームワーク手法に基づく制御系設計プロセス記述言語について
小林 正幸，池田 英俊，片岡 正俊 (三菱電機)
(44-3) Visual Mail Reader を使ったプログラミングの実験
伊知地 宏 (ラムダ数学教育研究所)，倉部 淳 (フロンテッジ・レーザーフィッシュ)
(44-4) Calcコンパイラの作成
浜田 陽子，渡辺 理沙，坂下 徳子，浅井 健一 (お茶の水女子大学)
(44-5) 実行環境が異なる2つのコード間の遷移を行う際の効果的な最適化手法
川人 基弘，小松 秀昭 (日本IBM)
(44-6) 一般支配関係の効率的な検査法
滝本 宗宏，武田 正之 (東京理科大学)
(44-7) 実時間並行ゴミ集め
竹内 郁雄 (電気通信大学)，天海 良治 (NTT)，山崎 憲一 (NTTドコモ)，吉田 雅治 (NTT-IT)
(44-8) 携帯情報端末におけるJavaプログラム実行状態リモート検証システム
吉田 聡 (愛知学院大学)，大原 茂之 (東海大学)
(44-9) 抽象高階書換え系におけるナローイング
奥居 哲 (中部大学)，鈴木 太朗 (会津大学)