情報処理学会 プログラミング研究会
第93回 2013-02-28 ~ 2013-03-01 国立情報学研究所 12階 1208, 1210 会議室
(93-1) 結果型を変更可能な限定継続の模倣
宮部浩太朗，亀山 幸義 (筑波大学)
(93-2) Duplicated Strings: How are they Created and Cured?
堀江 倫大，緒方 一則，河内谷 清久仁，小野寺 民也 (日本IBM)
(93-3) 表現、意味、言語に基づく処理モデルの提案
古宇田 フミ子，近山 隆 (東京大学)
(93-4) 動的再構成可能システムの仕様記述言語の提案およびその検証実験
山田 英史，中居 祐輝，山根 智 (金沢大学)
(93-5) 無限小定数と限量子除去法によるハイブリッドシステムの検証
岩塚 卓弥，寺内 多智弘，結縁 祥治 (名古屋大学)
(93-6) boost::proto を用いた融合変換機能付きライブラリの作成
松崎 公紀 (高知工科大学)，江本 健斗 (東京大学)
(93-7) 実時間システム向け文脈指向言語ProcneJ
安原 由貴，森口 草介，渡部 卓雄 (東京工業大学)
(93-8) Refactoring Script：再利用可能なリファクタリングスクリプトと処理系
神谷 知行，坂本 一憲，鷲崎 弘宜，深澤 良彰 (早稲田大学)
(93-9) Ruby on Railsにおけるテストケース自動生成の提案と実装
田代 克也，中野 圭介，岩崎 英哉 (電気通信大学)
(93-10) 参照カウントに対応したソフトウェアトランザクショナルメモリの実装
岡本 尚文，南出 靖彦 (筑波大学)