curryhoward対応

このトピックを指定するにはcurryhoward対応と入力