演算子法
演算子法 - Wikipedia
ミクシンスキーの演算子法 - Wikipedia