This is the slide from my talk at ILC 2014 (International Lisp Conference) that took place at the University of Montreal last week.

The paper is available via open access license.

ILC 2014での発表資料です．論文はオープンアクセス（つまりタダ）で入手可能です．