>>315
ただプログラミングっていうと、原始帰納関数だよな?
圏論ってより基礎論ってイメージだが
関連分野って言ったらまさにゲーデル数とか不完全性定理とかあの辺だろ