Title: Keisan kagaku no kiban gijutsu to shite no kōsoku arugorizumu to sono shūhen