情報処理学会 プログラミング研究会
第78回 2010-03-15 ~ 2010-03-16 電気通信大学
(78-1) IMAD: 操作とその表示を統合した設計支援ツールの実現
御手洗 潔 (ニコン)，田中 二郎 (筑波大学)
(78-2) 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
吉丸 始須雄，高橋 和子 (関西学院大学)
(78-3) UMLモデルのC言語実装におけるTECSの適用事例
石川 拓也，安積 卓也，一場 利幸，柴田 誠也，高田 広章 (名古屋大学)
(78-4) ロボット制御プログラミング環境に対する小学校での使用評価
竹原 陽道，岡本 秀輔 (成蹊大学)，鎌田 賢，米倉 達広 (茨城大学)
(78-5) 世代別Mostly-Copying GCのRuby VMへの実装と評価
永原 治，鵜川 始陽，岩崎 英哉 (電気通信大学)
(78-6) ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
雨宮 聡史，長谷川 隆三 (九州大学)，雨宮 真人 (大阪工業大学)
(78-7) サーバ/クライアント自動分割を備えたWebフレームワークの設計と実装
稲津 和磨，岩崎 英哉 (電気通信大学)
(78-8) ウェブアプリケーションのソースコード隠蔽機構
折戸 隆洋，岩崎 英哉 (電気通信大学)
(78-9) バックトラックのないマッチングオートマトンを用いたXML変換のためのアルゴリズム
柴田 裕哉，鈴木 大郎 (会津大学)
(78-10) 等価変換計算モデルに基づく正当な並列計算を行うための言語処理系の開発
小池 英勝 (札幌学院大学)，赤間 清 (北海道大学)
(78-11) ポインタのあるプログラミング言語のための資源使用法解析
上野 慎平，小林 直樹，海野 広志 (東北大学)
(78-12) Improving Error Message in Type System
Cynthia Kustanto，Yukiyoshi Kameyama (筑波大学)
(78-13) GUIコンポーネントに基づく視覚的言語に対するエディタの自動生成
佐々木 晃，市川 寛 (法政大学)，田沼 英樹 (東京工業大学)
(78-14) GPUコンピューティング向け中間言語の研究
平澤 将一 (電気通信大学)，大島 聡史 (東京大学)，本多 弘樹 (電気通信大学)
(78-15) Design and Implementation of Memory Profiler for Ruby
Tetsu Soh，Koichi Sasada (東京大学)
(78-16) データ列に関するアルゴリズムの逆変換に基づく導出
森本 真一 (日本電気航空宇宙システム)
(78-17) Prologへのラムダ項の導入とマクロとしての展開
井出 陽子，向井 国昭 (慶應義塾大学)