多少とも書けるといえるのはCとHaskellをちょっとだけです。自分自身の研究と教育に必要なものはほぼHaskellで書いています。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
- みなと @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.