仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Followers
- Chris Tuohy@fewey70408
As a skilled Radio Operator, I excel in managing communications, ensuring seamless signal transmissions, and maintaining high-frequency networks for clear and efficient broadcasting.
- @TTsurutani
札幌在住の素人Haskeller
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- @lunalice
発言は所属組織に基づくものではなく個人の見解です
- 岡崎 心一@johnny-shaman
プログラミング言語Signを設計、現在エコシステム開発に向けてプロジェクト進行中 関数型プログラミングをのためのmodule: https://www.npmjs.com/package/white_cats 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.