Title: Mitio Nagumo Collected Papers