F#とコーラとみもりんと橘まおさんが好きなプログラマー。わりといろんな分野のコードを書いたことがあります。
Nagoya, Japan
Participating Organizations(1)
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followees
Yoshiyuki Nakamura@nakayoshixヨーガ歴31年のダルシム系エンジニア。昔々数学科では位相幾何を、大学院では情報幾何をやってました。（愛深きゆえにAIを捨てた男） 現在は関数型菩薩を目指して修行中の隠居系フリーランスです。😇
- 令掛 ベイン@vain0x
プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です
- callmekohei@callmekohei
コーヒー飲みながらぼんやりとF#書くのが好きです。
- 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.
- @nenono
F# を主に使っています。MLとLISPが気になっています。
- @kumagi
ロックフリーです。
- Tomochika Hara@t_hara
Software Developer, Metaverse Platform / Syntax Highlighting Off / Dad of Twins
- ten oti@otiai10
""" it works? """
- @meganehouser
F#とPython/C#はお仕事。
- @zecl
「俺のF#がこんなに可愛いわけがない。」
- @gab_km
ほげぽよ～
- @bleis
くぁ
- @heignamerican
なんかメモるよ
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- Kazuki Akamine@kazz187
最近は Go 書いてます
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- Takeichi Yuki@tacke_jp
Software Engineer.
