記号論理学がついに終了か
長かったなあ