Title: Boole daisūchi no kaisekigaku to chōjun kaiseki