NORITAKE YASUNORI

Computer-readable medium recorded with a deadlock pre-detection program