@tmiya_

Following Tags8
Following Users19

ヾ(  l   _   l  〃)ノ゙ドン☆

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

関数型言語とかCoqとか

自然言語処理とか機械学習とか競技プログラミングとか