大学の数学の入試問題を量化子消去でサッと解くlikers
- 高橋 健治@ktcaryrice
数学者をあきらめ数学パズルにはまり、今は鳥類学や地図技術を勉強しているものです。よろしくお願いいたします。
- @cookies
https://keybase.io/kcz146 https://social.mikutter.hachune.net/@kcz146
- 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.
- @AKKYM
QiitaはTwitter
- uint256_t @uint256_t
Graduate student
- @Kray-G
C++ & boost lover だったが、禅の心持ちというかシンプル・イズ・ザ・ベストの精神で C に回帰中。メタルからロックンロールに戻ってきて Rolling Stones に今更夢中。
- Ryoga.exe@Ryoga-exe
https://ryoga.dev
- Toshifumi Kiyono@getty104
Qiita株式会社でプロダクトマネジメントと開発をしています。Rubyを書いています。設計が好きです。