[公開版]社内バッチ処理ガイドラインlikers
- Masayuki Imamura@kyuns
BuySell Technologies 取締役CTO
- s21 Neo@Neos21
どうも Neo です。
- fff kagami@fkagami
自分用です。
- MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
6 / 7
BuySell Technologies 取締役CTO
どうも Neo です。
自分用です。
Coqなどによるプログラムの正しさの検証・証明に興味があります。