LTLだけならそれとかさっきナギさんが書いてたのとかよさそう＞＜（でもそれだと1インスタンスで1つしか作れない・・・＞＜）