t_wの輪郭

述語論理依存型理論
あれ