(Translated by https://www.hiragana.jp/)
[2305.07351] Distributed derandomization revisited