EmacsでGaucheを勉強中。

C言語出身。C++がメイン。ExcelVBAとPHPはなにもわからない。編集歓迎。 投稿内容は勤務先とは関係ありません

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

記事の多くはメモ、当方での動作検証結果がメインで現時点での再現性を保証するものではありません。 引用する際は引用先を明示して行うよう心がけておりますが抜けている箇所、事実と異なるや技術的問題等ある箇所がありましたら御一報ください

技術屋です。Qiitaでは主にRaspberry Piに関することを記述します。 Linuxに関してはど素人。よろしくお願いします。

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