About tmiya

定理証明系とか機械学習とか、数学と計算機科学が接するところに興味があります。

Lists

Timeline

tmiya has no activity yet