Title: Setsumeiron to ronri, keisan no kōzō