関数論理
【かんすうろんり】
【kansuuronri】
功能逻辑