Title: Denshi keisan shisutemu ni yoru kensetsu jōhō kanri jimu shori no tebiki