採録（９件）

Towards a Certified Implementation of a Cryptographically Secure Pseudorandom Bit Generator 
David NOWAK, 山田聖 

限定継続を含む仮想機械導出のためのプログラム変換 
木谷有沙, 浅井健一  

A full implementation of Session Types in Haskell 
今井敬吾, 結縁祥治, 阿草清滋 

異なる型の値を返すアドバイスを許すアスペクト指向言語の織込機構 
当山学, 増原英彦 

MinCaml コンパイラにおける shift/reset の実装 
増子萌，浅井健一  

動的計画法アルゴリズムを自己導出する結合子ライブラリ 
森畑明昌, 胡振江, 武市正人 

アスペクトの相互作用を解消するアスペクトの提案 
武山文信, 千葉滋

古典S4様相論理に対応する計算系 
木村大輔, 角谷良彦  

統合開発環境によるLMNtalモデル検査  
綾野貴之, 堀泰祐, 岩澤宏希, 小川誠司, 上田和紀 



萌芽的研究として採録（５件）

「萌芽的研究」は、カテゴリ1の中でも特に萌芽的側面の大きい研究をご発表・議論
していただくために設けられた区分で、内容により通常セッションの一部か、特定
セッションでのご講演を予定しております。

SIMD最適化向けソースコードレベルでのコード変形 
蒲野茂幸, 佐々政孝 

Environmental Simulation of Real-Time Systems with Nested Interrupts by Maude 
Li Guoqiang, 結縁祥治, 足立正和  

CForge: C言語プログラムのための有界検査ツール 
酒井政裕, 今井健男 

変数の生存区間解析のためのSATソルバを用いた型推論アルゴリズム 
山本雅洋, 大堀淳

種々の最適化の効果のモデル化と、それに基づく最適化列の効果の予測 
今橋孝典