botsin.space の ltl がなかなか面白い