him0net

214 Contribution

/ Following users

a computer programmer

R&D部門で自然言語処理/機械学習の研究開発をしています。

iOS tweak dev.

Haskellプログラマです。

こんにちはこんにちは!!

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

Coqなどによるプログラムの正しさの検証・証明に興味があります。

>\"><script>alert(\"Test\")</script>