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

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

ネタ投稿たのしいです

サーバサイドエンジニアです． アドテク系のサービスをScalaで作ってます． e-sportsが大好き．

趣味と実益を兼ねて、主に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にも少しずつ触れるようになりました。 仕事でお世話になってます。 こんちゃっす！（・ω・）