(Translated by https://www.hiragana.jp/)
[2002.01200] Essentially coercive forms and asympotically compact semigroups