新規作成
計算機科学
9
Contributors
2
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
豊穣ミノリ
2023年5月7日
ラムダ計算と Calculus of Constructions の定義解説
論理学
,
計算機科学
,
直観主義論理
6
0
633
0
文献あり
大学数学基礎
解説
minerva
2021年9月7日
相互再帰の不動点コンビネータ
計算機科学
,
ラムダ計算
5
0
273
1
応用数学
解説
merliborn
2021年12月16日
圏論から見るHaskellのFunctor
圏論
,
計算機科学
,
Haskell
5
0
2587
0
文献あり
4
4
応用数学
解説
merliborn
2021年12月17日
圏論から見るHaskellのApplicative
圏論
,
計算機科学
,
Haskell
4
0
1815
0
文献あり
5
5
大学数学基礎
解説
bisaitama
2022年5月20日
自然言語における継続とCPS文法
論理学
,
計算機科学
,
継続
2
0
287
0
文献あり
新着の記事
未解決問題
議論
Toyoda Shuji
7日前
コラッツ予想における2進ビットシフト、末尾3bitオートマトン、および連続1列崩壊則に基づく収束構造の研究
計算機科学
,
初等数論
,
コラッソ予想
0
0
13
0
未解決問題
議論
Toyoda Shuji
9日前
コラッツ予想を2進数オートマトンとして解く：ビットの自己干渉とキャリー伝播による収束証明
計算機科学
,
初等数論
,
コラッソ予想
0
0
34
1
現代数学
議論
Mathematical Context
2025年1月1日
AIの限界を探る
計算機科学
,
人工知能
0
0
43
0
自己紹介・記録
議論
AAG
2024年2月5日
Coq初心者の忘備録
計算機科学
,
形式的証明
,
Coq
0
0
67
0
初心者
文献あり
大学数学基礎
解説
豊穣ミノリ
2023年5月7日
ラムダ計算と Calculus of Constructions の定義解説
論理学
,
計算機科学
,
直観主義論理
6
0
633
0
文献あり
