機械学習を勉強中の元インフラエンジニア

投稿記事は当方の個人的見解であり、その所属するいかなる組織の公式見解を示すものではありません。

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

初心者です。 興味を持って調べた知識を、気の向くままに書き連ねていきます。

物を作ってます