新規作成
quawai
1
336
2
Followers
0
Follow
ホーム
記事
2
本
0
高評価
新着の記事
大学数学基礎
解説
2021年12月14日
単純型付ラムダ計算の弱正規化定理の証明
計算機科学
,
ラムダ計算
1
0
235
1
文献あり
大学数学基礎
解説
2021年12月14日
簡約と型付けについて私が知っている二、三の事柄（試験投稿）
計算機科学
,
ラムダ計算
0
0
101
0
文献あり
