カリーハワード

書いてみる

関連タグ

#ITエンジニア (14,891)
#インフラエンジニア (2,311)
#スキに感謝 (285)
#プログラム (9,360)
#同型対応 (1)
#難しい (4,454)

カリー＝ハワード同型対応と水戸黄門

Shuma
5か月前