哲学は無駄とは思わないけど、もっと数学化されるべきだよな。