「#計算機科学」の記事一覧 | Mathlog

計算機科学

大学数学基礎解説

豊穣ミノリ

2023年5月7日

ラムダ計算と Calculus of Constructions の定義解説

論理学,計算機科学,直観主義論理

6

0

330

0

文献あり

大学数学基礎解説

2022年5月20日

自然言語における継続とCPS文法

論理学,計算機科学,継続

2

0

213

0

文献あり

大学数学基礎解説

2022年2月23日

命題論理における真偽判定問題の計算可能性について

論理学,計算機科学,計算論

1

0

1278

0

文献あり

応用数学解説

2021年12月17日

圏論から見るHaskellのApplicative

圏論,計算機科学,Haskell

4

0

1037

0

文献あり

応用数学解説

2021年12月16日

圏論から見るHaskellのFunctor

圏論,計算機科学,Haskell

3

0

1573

0

文献あり

大学数学基礎解説

2021年12月14日

単純型付ラムダ計算の弱正規化定理の証明

計算機科学,ラムダ計算

1

0

235

1

文献あり

大学数学基礎解説

2021年9月7日

相互再帰の不動点コンビネータ

計算機科学,ラムダ計算

5

0

162

1

読み込み中