HOL
HOL
高階述語論理 (higher-order logic)
オランダの旧IOCコード