情報処理学会 プログラミング研究会

第86回 2011-11-01 ~ 2011-11-02 神奈川近代文学館

(86-1) Hoare State Monad Transformerを用いたCoq上でのtotal parser combinatorの実装
    上里 友弥 (筑波大学)
(86-2) 日本語プログラミング言語によるプログラムの可読性の評価
    馬場 祐人,筧 捷彦 (早稲田大学)
(86-3) 計算機上の処理形式化モデルのMaudeを用いた記述の試み
    古宇田 フミ子,近山 隆 (東京大学)
(86-4) 型レベル評価によるHindley/Milner多相型システムの拡張
    服部 健太 ((株)システム計画研究所)
(86-5) A Sound Type System for Typing Runtime Errors
    Akihisa Yamada,Keiichirou Kusakari,Toshiki Sakabe,Masahiko Sakai,Naoki Nishida (Nagoya University)
(86-6) KonohaScript による MPI 統合
    平岡 佑太郎 (横浜国立大学),菅谷 みどり,倉光 君郎,横浜国立大学 (JST/CREST)
(86-7) Ruby用マルチ仮想マシンによる並列処理の実現
    笹田 耕一 (東京大学),卜部 昌平,松本 行弘 ((株)ネットワーク応用通信研究所),平木 敬 (東京大学)
(86-8) ヒープの決定手続きを組込んだSMTソルバーを使うC言語ソースコード静的検査器
    松田 元彦,前田 俊行 (東京大学)
(86-9) 確率時間CEGARの開発とその実証実験
    清水 隆也,森下 篤,山根 智 (金沢大学)
(86-10) Positive-noise Affine Interval Arithmetic
    Do Thi Bich Nogc (AIST),Mizuhito Ogawa (北陸先端科学技術大学院大学)
(86-11) Glasgow Haskell Compiler における再帰的データ構造のための遅延オブジェクトの再利用
    高野 保真 ((株)コマ・システムズ),岩崎 英哉,鵜川 始陽 (電気通信大学)
(86-12) JavaScriptによる自己再生的プログラムの構成方式について
    永松 礼夫,東方 雄亮,大川 哲史 (神奈川大学)
(86-13) 物流システム記述のための多重Ambient Calculus
    樋口 昌宏,加藤 暢 (近畿大学)
(86-14) コントロールオペレータを持つ必要呼び計算体系の設計
    西山 達也,亀山 幸義 (筑波大学)
(86-15) Verification of Substitution Theorem Using HOL
    Takayuki Koai,Makoto Tatsuta (National Institute of Informatics)