杉浦わかりやすいか？やっぱり厳密過ぎで難しくない？わかり易いなら
杉浦の方をみんなやってると思うんだけどなあ。ただ、実数は圧倒的に
小平が強いね。