線形時相論理式（Linear Temporal Logic：LTL）をできるだけ分かりやすく説明していこうと思います。 もともとはシステムが正しく動くかどうかを検証するために研究されていたものなのですが、最近ではロボットの移動経路に用いられたり、機械学習の一つであ…