はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります
Following Organizations
No Organizations you are following
Followers
- ぐっちょむ@gutchom
Webフロントエンド
- lagénorhynque/カマイルカ@lagenorhynque
「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Python, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
- @wraikny
F#, Rust
S SHIMODA@syantien開発に関するまとめ、不定期更新。絶賛採用中です、フルリモート、C#、Azure。 https://receiptroller.com/ja/jobs
無職 やめ太郎（本名）@Yametaro関西型言語の研究をしています。
- @mod_poppo
最近はMLをやっています。
- 令掛 ベイン@vain0x
プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です
- Nossa@Nossa
C#、TypeScriptが好きです。
- 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.
