LTLにブーストを表示するか？って話になってるけど、そう考えるんじゃなく「ブーストとは何か？ 」つまり「ブーストはどのように使われているのか？」って視点で話さないと、変な方向に進むかもって気がする＞＜