タブローの方法
method of analytic tableaux
タブローの方法 - Wikipedia