情報処理学会 プログラミング研究会
第92回 2013-01-15 ~ 2013-01-16 AiAiひろば
(92-1) 多重Ambient CalculusとUHF帯RFID機器を用いた海上物流監視システム
橋本 隆弘，加藤 暢 (近畿大学大学院)，樋口 昌宏 (近畿大学理工学部情報学科)
(92-2) L-Closureの呼び出しコストの削減
田附 正充 (京都大学大学院情報学研究科)，八杉 昌宏 (九州工業大学大学院情報工学研究院)，平石 拓 (京都大学学術情報メディアセンター)，馬谷 誠二 (京都大学大学院情報学研究科)
(92-3) 定理証明器によって証明された C プログラムのマージャー
後藤 裕貴，高橋 和子 (関西学院大学理工学部)
(92-4) 時間付きAmbient Calculus
樋口 昌宏 (近畿大学理工学部情報学科)
(92-5) 実行速度を考慮した実装法による細粒度でのコード再利用のためのメソッド内メソッド
平松 俊樹 (東京工業大学大学院情報理工学研究科数理・計算科学専攻)，佐藤 芳樹，千葉 滋 (東京大学大学院情報理工学系研究科創造情報学専攻)
(92-6) Packrat Parserのメモ化領域の自動調整手法
森永 孝仁 (筑波大学情報学群情報科学類)，前田 敦司，山口 喜教 (筑波大学システム情報工学研究科コンピュータサイエンス専攻)
(92-7) モバイルアプリケーションのための階層キーバリューストア
喜田 一成 (筑波大学情報学群情報科学類)，前田 敦司，山口 喜教 (筑波大学システム情報工学研究科コンピュータサイエンス専攻)
(92-8) Ada 2012 プログラムのためのタスキングデッドロック検出ツール
驛場 猛雄，程 京徳，後藤 祐一 (埼玉大学大学院理工学研究科)
(92-9) ジョブ並列スクリプト言語XcryptにおけるRPCに基づく多言語対応
上野 優 (京都大学大学院情報学研究科)，平石 拓 (京都大学学術情報メディアセンター)，日比野 元春 (京都大学大学院情報学研究科)，岩下 武史，中島 浩 (京都大学学術情報メディアセンター)
(92-10) 効率的な要求駆動型部分冗長除去
澄川 靖信，滝本 宗宏 (東京理科大学)
(92-11) 設計時の決定における依存関係の表記法
大森 洋一，荒木 啓二郎 (九州大学 大学院システム情報科学研究院)
(92-12) フォルダ・プログラミング環境におけるエンドユーザインタフェースに関する一考察
赤間 浩樹 (日本電信電話株式会社 NTTソフトウェアイノベーションセンタ)，佐藤 哲司 (筑波大学大学院 図書館情報メディア研究科)
(92-13) 解析表現文法とSchemeマクロ展開器を用いたJavaScript向けHygienic構文マクロシステムの実装
甫水 佳奈子，脇田 建 (東京工業大学 大学院情報理工学研究科 数理・計算科学専攻)，佐々木 晃 (法政大学 情報科学部)