>>125
巨大天体望遠鏡のレンズとか鏡って最後に磨くのは人らしいよ。
手で触って不陸を見分けるらしい。
このフレネルレンズみたいなのどうやって磨くんだろうなあ？