棋士と数学者と哲学者