卒業論文
[1] 佐藤統悟, "関数型プログラミングにおける並列化支援のための関数呼び出し木を用いたコスト近似手法," , 2013年.