Leanで実装しながら学ぶ群の定義likers
- 🐱 🍓@SFITB
誰かの記事に救われし、 その恩返しを誰かの為の 記事にてなさむ。
- ぼっちまん@forget1900
教員(高校数学)志望の情報系B4 以後お見知りおきを
- 浜口 広樹@hari64
連続最適化を専攻しています。 誤植や誤りがありましたら、ご連絡頂けますと幸いです。 記事用レポジトリ: https://github.com/HirokiHamaguchi/QiitaArticles
升目 豆腐@tofu_masume大学生です。

- 井上 裕介@cyokozai
大学生 Nekko Cloudっていうプライベートクラウド開発してる
- @pogin503
EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

よしだ ひでき@momo10計測・制御・情報に興味があります。 数理工学の記事を書きます。
- @yTech
こんにちは
- nitta@ntk221
プログラマです
- @kyamaz
I love reading OSS codes & arXiv papers. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #processgraph #量子コンパイラ #未踏tg '18-'20.