Mathlog
計算機科学
ホーム
記事
本
豊穣ミノリ
豊穣ミノリ
大学数学基礎解説
豊穣ミノリ
2023年5月7日
ラムダ計算と Calculus of Constructions の定義解説
論理学,計算機科学,直観主義論理
6
0
429
0
文献あり
bisaitama
bisaitama
大学数学基礎解説
bisaitama
2022年5月20日
自然言語における継続とCPS文法
論理学,計算機科学,継続
2
0
235
0
文献あり
mineel
mineel
大学数学基礎解説
mineel
2022年2月23日
命題論理における真偽判定問題の計算可能性について
論理学,計算機科学,計算論
1
0
1321
0
文献あり
merliborn
merliborn
応用数学解説
merliborn
2021年12月17日
圏論から見るHaskellのApplicative
圏論,計算機科学,Haskell
4
0
1518
0
文献あり
merliborn
merliborn
応用数学解説
merliborn
2021年12月16日
圏論から見るHaskellのFunctor
圏論,計算機科学,Haskell
4
0
2211
0
文献あり
quawai
quawai
大学数学基礎解説
quawai
2021年12月14日
単純型付ラムダ計算の弱正規化定理の証明
計算機科学,ラムダ計算
1
0
254
1
文献あり
大学数学基礎解説
minerva
2021年9月7日
相互再帰の不動点コンビネータ
計算機科学,ラムダ計算
5
0
246
1
読み込み中...
読み込み中