情報系の学生です。人工知能を考えるために、数学基礎論、論理学、計算論などに注目しています。強化学習が好き。

定理証明系や論理プログラミングに興味をもっています。