jkをロリと定義するのかどうか