(Translated by https://www.hiragana.jp/)
[1602.04935] Set Regularities and Feasibility Problems