地方に住むエンジニアです。 Qiitaの記事でいつも助けられているので、自分もハマった体験等の記事を書いて誰かの役に立てればいいな、と思っています。

その時々で興味が湧いて作ったものや、調べた事などをメモしていきます。

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

😊個人アカウントです。なるべく分かり易い記事を心がけています 😋様々な基礎技術の習得により知見を広げたいと思っています 😆LGTMはメシウマ・パワーの源です。よろしくお願いします 📄情報セキュリティスペシャリスト 📄情報処理安全確保支援士 📄G検定