久々に数学板に来たおれに、GiantLeaves以降の名前の変遷を教えてくれ