>>788
(atom? t1)なんだから無問題