ポーランド記法
Polish notation for logic.