generated at
Curry–Howard isomorphism
カリー=ハワード同型対応