Title: Sūgaku kaiseki no rironteki tenkai no keisankijō de no suikō kanōsei