t_wの輪郭

型

2026/1/17 2:17:00

型宇宙型理論依存型

型宇宙

2026/1/17 1:25:00

『最近の型理論：宇宙と世界、そして銀河 - 檜山正幸のキマイラ飼育記 (はてなBlog)』

型理論

2025/3/2 16:59:00

『灼熱のホモトピー型理論入門 - spm_kouen.pdf』ホモトピー型理論

依存型

2024/8/3 15:15:00

依存型理論『Idrisでふんわり眺める依存型 | sititou70』依存型プログラミング言語『F*(F Star)の複雑な型システムの何が嬉しいのか？ - Amosapientiam』