>>836
転換論法とか同型反復入るけど