個人で作成したマイコンのプログラムを公開しています。

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

コーディングは全くの初心者です。よろしくお願いします。

稲作農家です。小学生時代はBASICや電子ブロックをいじってましたが数十年ぶりにラズパイやPythonを勉強中です。