Symposium de mathématiques (1980 Tokyo, Japan)