Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followees
- Kenta Inoue@nekonibox
2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。
- Kohki Nakaji@nkjzm
特に明示されていない場合、記事中のソースコードはパブリックドメインです。 月額制のメンターサービスで初心者向けの開発サポートをしているので、分からないことがあれば是非こちらで質問してください！ → https://menta.work/plan/1115
- @bluepost59
Qiitaはポエム置き場です（真面目な記事はZennへ） pythonとかfortranとかC++とか
