0338番組の途中ですがアフィサイトへの転載は禁止です (ワッチョイW a6af-QZpd)垢版 | 大砲2022/04/25(月) 00:18:48.63ID:vFsY61DQ0 >>315 ただプログラミングっていうと、原始帰納関数だよな? 圏論ってより基礎論ってイメージだが 関連分野って言ったらまさにゲーデル数とか不完全性定理とかあの辺だろ