情報処理学会 プログラミング研究会
第84回 2011-06-14 ~ 2011-06-15 サン・リフレ函館
(84-1) An Annotated Type System for Inlining
馬 雷，佐藤 周行 (東京大学)
(84-2) コントロールオペレータの表現力の比較
高島 尚希，亀山 幸義 (筑波大学)
(84-3) 拡張可能な外部識別子の設計と実装
倉光 君郎 (横浜国立大学)
(84-4) プログラム解析情報を利用可能なバイトコード操作器の設計と実装
若森 拓馬，井出 真広，中田 晋平，倉光 君郎 (横浜国立大学)
(84-5) 書き換え帰納法における文脈探索の有効性について
佐藤 晴彦，栗原 正仁 (北海道大学)
(84-6) 弱単項TRSのE重なり性について
三橋 一郎，大山口 通夫，松浦 邦博 (三重大学)
(84-7) GUIアクセシビリティ技術による網羅的な画面遷移の回帰検査の自動化
中島 一，増田 健，秋山 幸生 (日本電信電話株式会社)