カリー=ハワード同型対応
タグを含む動画 ： 1件
カリー=ハワード同型対応(Curry-Howard correspondence / Curry-Howard isomorphism)とは、プログラムと数学の定理が対応するという理論である。 概要 ...続きを読む
タグを含む動画 ： 1件
カリー=ハワード同型対応(Curry-Howard correspondence / Curry-Howard isomorphism)とは、プログラムと数学の定理が対応するという理論である。 概要 ...続きを読む
