VBA, C#, Java, Scala, Kotlinを勉強しています。

出自は業務系のシステムエンジニアで、基幹業務システムの設計・構築、業務改革を生業としているつもりです。 でも、それだけではお給料がもらえず（涙）、レンタルサーバーはもとより、IaaS、PaaS等のクラウドサービスの企画・開発、それにまつわるビジネスモデルの設計、ISMS関連など、おかげさまで色々と修行させてもらっています。

ネタ投稿たのしいです

趣味と実益を兼ねて、主にC#を使って計測制御プログラミングを行っています

Jakarta EE/MicroProfile 関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

Linux、BSD、kernel

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

プログラム書くようになっておおよそ４年。 C言語ばっかり。rubyはまあまあできるようになった。 C#、C++、Pythonにも少しずつ触れるようになりました。 仕事でお世話になってます。 こんちゃっす！（・ω・）