決定機は一生解決されないが、それまでのアプローチは相当改善された。

だが、果たしてゲリアでできるのかはあるが。