https://arxiv.org/pdf/1903.11129.pdf
これは >>1 と同じ著者の論文でタダで読める奴で >>1 の焦点が無限遠にある場合を論じてる
つまり平行なビームが入ってきてレンズの中で収縮してまた平行に出ていくというレンズ
"Given an input surface, [w]hat second surface collimates rays at exit?"
レンズの片面の形が与えられたとき、のぞましいもう片面の形を計算できますよ (近似計算なしで) と主張してる