![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
Daisuke NISHITANI
@cho_tekitou
Aichi Japan Interesting:Haskell,OCaml,Coq
-
みずほや三菱UFJ等のシステムに関するメモ。
68790pv 253 100 users 85
-
OpenSSLの新たな脆弱性 CCS Injection が発見される
20263pv 199 62 users 72
-
ヤマハがルーター事業に取り組んだ理由 #shizuoka_itpro7
26427pv 218 6 users 3