LTL文脈わかるマン

LTLで会話してるインスタンス向け