京大代数解析学グループは、衰退が著しい。