たぬきが好き

機械学習エンジニア

プログラミングはほとんどできません

電子の海を彷徨いながら、Kawaiiの心理を追求する旅人。

大学にて技術スタッフのようなことをしている人． いろいろと興味あることに手を出してます．

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