Michal Ajdarów

VASSを使って確率プログラムのパフォーマンスを評価する新しいアプローチ。