情報処理学会プログラミング研究会 - 第86回研究会 - プログラム

last-updated: 2010年 10月 28日(金) 17:55 (懇親会の開始時刻を変更: 19:00 → 18:30)

情報処理学会 第86回プログラミング研究会 プログラム

日時:2011年 11月1日(火)〜2日(水)
11月1日(火) 10:00 〜 17:00 (発表 7件)
11月2日(水) 9:45 〜 17:30 (発表 8件)
会場:神奈川近代文学館

※ 1件あたり45分 (発表25分,質疑・討論20分)

11月1日(火)

10:00〜12:15

   1. Hoare State Monad Transformerを用いた
      Coq上でのtotal parser combinatorの実装
      ○上里 友弥 (筑波大学)

   2. 日本語プログラミング言語によるプログラムの可読性の評価
      ○馬場 祐人, 筧 捷彦 (早稲田大学)

   3. 計算機上の処理形式化モデルのMaudeを用いた記述の試み
      ○古宇田 フミ子, 近山 隆 (東京大学)

13:45〜15:15

   4. 型レベル評価によるHindley/Milner多相型システムの拡張
      ○服部 健太 ((株)システム計画研究所)

   5. A Sound Type System for Typing Runtime Errors
      ○Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai,
      Naoki Nishida (Nagoya University)

15:30〜17:00

   6. KonohaScript による MPI 統合
      ○平岡 佑太郎 (横浜国立大学),
      菅谷 みどり, 倉光 君郎 (横浜国立大学, JST/CREST)

   7. Ruby用マルチ仮想マシンによる並列処理の実現
      ○笹田 耕一 (東京大学),
      卜部 昌平, 松本 行弘 ((株)ネットワーク応用通信研究所), 平木 敬 (東京大学)

18:30〜  懇親会

11月2日(水)

9:45〜12:00

   8. ヒープの決定手続きを組込んだSMTソルバーを使うC言語ソースコード静的検査器
      ○松田 元彦, 前田 俊行 (東京大学)

   9. 確率時間CEGARの開発とその実証実験
      ○清水 隆也, 森下 篤, 山根 智 (金沢大学)

  10. Positive-noise Affine Interval Arithmetic
      Do Thi Bich Nogc (AIST), ○Mizuhito Ogawa (JAIST)

13:30〜15:00

  11. Glasgow Haskell Compiler における再帰的データ構造のための
      遅延オブジェクトの再利用
      ○高野 保真 ((株)コマ・システムズ), 岩崎 英哉, 鵜川 始陽 (電気通信大学)

  12. JavaScriptによる自己再生的プログラムの構成方式について
      ○永松 礼夫, 東方 雄亮, 大川 哲史 (神奈川大学)

15:15〜17:30

  13. 物流システム記述のための多重Ambient Calculus
      ○樋口 昌宏, 加藤 暢 (近畿大学)

  14. コントロールオペレータを持つ必要呼び計算体系の設計
      ○西山 達也, 亀山 幸義 (筑波大学)

  15. Verification of Substitution Theorem Using HOL
      ○Takayuki Koai, Makoto Tatsuta (National Institute of Informatics)