ACL2の「タイトルに向けて進んでいきたいと思います。」
ボランチに「すごく興味はある。」
この人の言葉はとても薄っぺらく聞こえる。