Tokyo Institute of Technology / Department of Computer Science
Following Organizations
No Organizations you are following
Followers
- ogata-k@ogata-k
RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。
- 令掛 ベイン@vain0x
プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です
- 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.
@piacerex福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)
- Nam Nguyen Hoai@eneim
the simple, the best
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @fumieval
一般的なHaskeller
