(Translated by https://www.hiragana.jp/)
[1906.05638] On the 4-color theorem for signed graphs