仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Following Organizations
No Organizations you are following
Followers
- @TTsurutani
札幌在住の素人Haskeller
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- @lunalice
発言は所属組織に基づくものではなく個人の見解です
- 岡崎 心一@johnny-shaman
稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか？（笑） プログラミングカフェ 札幌 主催
- Tanabe Haruto@haruto167
2018年から技術メモ残したいと思いQiitaはじめました！
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.
