計算機科学
Contributors 5
Tracers 2
トレースする

全 7 記事

解説
大学数学以上
by
minerva
at
2021年09月07日
相互再帰の不動点コンビネータ
計算機科学，ラムダ計算
49
3
解説
大学数学以上
by
merliborn
at
2021年12月16日
圏論から見るHaskellのFunctor
圏論，Haskell，計算機科学
207
2
文献あり
解説
大学数学以上
by
quawai
at
2021年12月15日
単純型付ラムダ計算の弱正規化定理の証明
計算機科学，ラムダ計算
96
1
文献あり
解説
大学数学以上
by
merliborn
at
2021年12月17日
圏論から見るHaskellのApplicative
圏論，Haskell，計算機科学
27
1
文献あり
解説
大学数学以上
by
bisaitama
at
8日前
自然言語における継続とCPS文法
論理学，計算機科学，継続
9
1
文献あり
解説
大学数学以上
by
quawai
at
2021年12月14日
簡約と型付けについて私が知っている二、三の事柄（試験投稿）
計算機科学，ラムダ計算
32
0
文献あり
解説
大学数学以上
by
mineel
at
02月24日
命題論理における真偽判定問題の計算可能性について
論理学，計算機科学，計算論
317
0
文献あり