仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

公共交通業界のすみっこ分野に位置するエンジニアです。本業より個人的な勉強などの記録をQiitaに書いていこうかと思います。言語はC/C++、Python。OSは昔FreeBSD、今はWin/Mac/Linux。それ以外は広く浅く。自分で遊んだり、使ったりする程度なら環境構築からシステム構築まで可だが、フロントエンドだけはいまだに腰が引ける。

Emacs Lisp/Common Lisp/TypeScript/WebGL/リアルタイム3Dゲーム用 Lisp 制作中/家庭用ゲーム機のプログラマ経験約15年

フリーランスのWeb系エンジニア。30代になってから一念発起してエンジニアに転身。サーバーサイドがメイン。最近はフロントエンド も少し触り始めてます。 https://twitter.com/aoki_dai_suke

大阪でITコンサルやっているお酒好きの変態です。 今はSAP、会計、財務をメインに仕事しています。 RPAもばりばりやってました。 前職は古代遺跡SEでした。よろしくお願いします。