Proceedings, Japan Academy, serie A: mathematical sciences