情報処理学会 プログラミング研究会
第88回 2012-03-15 ~ 2012-03-16 産業技術総合研究所 つくば中央 共用講堂 中会議室
(88-1) 対話を媒介する型を用いた非正格純粋関数プログラミング
山下 伸夫 (電気通信大学)
(88-2) MWF/MNWFに基づくFTAとSpec Patternsによるモデル検査式の導出
加藤 淳 (慶應義塾大学),松本 充広 (有人宇宙システム),春山 真一郎 (慶應義塾大学)
(88-3) エンドユーザがプログラム可能なWikiエンジン
横山哲郎 (南山大学)
(88-4) DJS: A distributed object library for Server-WebBrowser communication
Eki Ko,Koichi Sasada (東京大学)
(88-5) 日本語プログラミングによるプログラムの可読性の評価
馬場 祐人,筧 捷彦 (早稲田大学)
(88-6) Ruby オブジェクトの効率的なプロセス間転送・共有機構の設計と実装
中川 博貴,笹田 耕一 (東京大学)
(88-7) May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics
渡辺 敬介,西村 進 (京都大学)
(88-8) 部分冗長除去に基づく実践的な大域命令スケジューリング
及川 亮太郎,滝本 宗宏 (東京理科大学)
(88-9) 定理証明支援系Coqへの対話的修正機構の導入
森口 草介,渡部 卓雄 (東京工業大学)
(88-10) 限定継続命令shift/reset付きλ計算の評価器の抽出
廣田 知子,浅井 健一 (お茶の水女子大学)
(88-11) UNICOEN: 複数プログラミング言語対応のソースコード処理フレームワーク
坂本 一憲,大橋 昭 (早稲田大学),太田 大地 (ACCESS),鷲崎 弘宜,深澤 良彰 (早稲田大学)
(88-12) Join Token --- ゲームオブジェクトのイベント処理のための記述機構
西森 丈俊,久野 靖 (筑波大学)