「coq入門」の入門likers
- 猫っぽい月@nekoppoituki_nhs
新米プログラマ(n年目) 使用配列:月6-070私家版 主な言語:C# 伺かとかひっそりと 元N高生。
- @stepney141
長さ30kgの眼球
- @sasio
C言語出身。C++がメイン。ExcelVBAとPHPはなにもわからない。編集歓迎。 投稿内容は勤務先とは関係ありません
- @vh5150
自社運営のサービス開発、運用責任者。 副業でフリーランスやってます。PythonとAWSが得意。たまにFlutterも。
- @mrsekut
型と圏がすきです Qiitaはほぼ見る専です
- Kaiko@kaiko_math
HaskellとAgdaを学び始めた大学院生
- ogata-k@ogata-k
RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。
- Yuma Vlaicu@YumaVlaicu
I'm interested in LLVM and functional languages. Nice to see you all. ちなみに、日本人です。
- Takamasa Chisaka@tchisaka
技術屋です。Qiitaでは主にRaspberry Piに関することを記述します。 Linuxに関してはど素人。よろしくお願いします。
- @pxfnc
きーた
1 / 2