2014年9月6日に開催されたScalaMatsuriの講演よりA-7. Scala 上で実現された制約プログラミングシステム Scarab について / 神戸大学情報基盤センター 宋 剛秀を収めた動画です。
http://www.nicovideo.jp/watch/so24484054