2020-08-16 8/13(木) modについてはそういえばreplaceがあったね、というのを思いだしてreplaceで対応。上手く動いて良かった。しかしそもそもバグがあったのがきついな。うーむ。