論理の計算および管理