• 正體: 型式推理[電子計算機]