はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります
Following Organizations
No Organizations you are following
Followees
Keiya Miura@3y9Mzクラウドエンジニア
- ぐる ぐる@f0reachARR
京都工芸繊維大学にいます。
- ぐっちょむ@gutchom
Webフロントエンド
- lagénorhynque/カマイルカ@lagenorhynque
「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。好きな言語はClojure, Haskell, Python, English, français, русский。読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
- @wraikny
F#, Rust
- あいや@aiya000
Moggiと"love"で接近中! 🤟🙄🤟
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
- 高橋 直大@chokudai
AtCoder Inc. CEO Imagine Cup 2008 Algorithm 3rd place. TopCoder Open 2010/2017 Marathon 2nd place. ICFPC 2013/2015/2016/2018 Winner
- 時計屋@Tokeiya
C#ｽｺｼﾜｶﾙ
- @NCT48
モチベが上がらないだけで生きてますよ
- @hiraike32
Android アプリの開発をしています。
- 出井 秀行@gushwell
株式会社ジード / 著書『C#コードレシピ集』『実戦で役立つ C#プログラミングのイディオム/定石&パターン』『新・標準プログラマーズライブラリ なるほどなっとく C#入門』『C#プログラミング入門』/ https://zenn.dev/gushwell / 元 Microsoft MVP for Developer Technologies 2005-2022
- みたま いなむ@_EnumHack
迷えるC++プログラマを救う神様をやっています。
- @yaegaki
アセンブリからWebまで広くやっています。
- 九谷 ろっさむ@4_mio_11
スローペースで生きてます。
無職 やめ太郎（本名）@Yametaro関西型言語の研究をしています。
