多少とも書けるといえるのはCとHaskellをちょっとだけです。自分自身の研究と教育に必要なものはほぼHaskellで書いています。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
- 岡崎 心一@johnny-shaman
稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか?(笑) プログラミングカフェ 札幌 主催
- みなと @Prologの鬼!?@DrqYuto
(SWIPL)について、うるさい人です。
- 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.
- @LightSpeedC
TypeScript, JavaScript, Node.js, Java, Rust, Go, C# 等を勉強中。 React (Mithril), socket.io, D3, Leaflet 等で何か作りたいな。
- @runtakun
ゆるスタックエンジニア
- Kaz Mu@fa11enprince
睡眠プログラマ
- Takehiro Matsushima@takehironet
Linux-HA/DRBD/Corosync/Pacemaker/Rust/Java/C/C++/Bash/CentOS/ArchLinux/PostgreSQL/Asterisk/OpenSIPS/Kamailio/VoIP/Network
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.