なぜCoqが重要かlikers
- @tianshanminato965
[株式会社ゼンク](https://zenk.co.jp/) の新米エンジニア
- samepoi@sameppoi
使用配列:月EX
- 真空@metastable-void
森 祐佳。一般社団法人生活情報基盤研究機構 (Menhera.org) 代表理事。自称情報基盤活動家兼アーティスト。興味は哲学と医学。
- John Doe@YoshiTheQiita
Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.
- Kuboaki Shin@kuboaki
くみこまー、アマゴイマイスター、研修の先生、がっこの先生など。 著書に「作りながら学ぶRuby入門」「RubyではじめるWebアプリの作り方」「作って身につくC言語入門」などがある。
- oumugai@oumugai
都内で数理科学の仕事をしてるっぽい
- 吉村 優@yyu
暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu