カリー=ハワード=ヴォエヴォドツキー対応