形式化数学入門1likers
- @ysn
はてな https://yossan.hatenablog.com/
- @tochu-cha
EmacsでGaucheを勉強中。
- Yusuke Hayashi@yhay81
東京在住、主にPythonを書いているエンジニアです。
- @moatom
programming languages, functional programming, code generation / Scala, OCaml, C, Python
- @Kawauso
kawauso.
はてな https://yossan.hatenablog.com/
EmacsでGaucheを勉強中。
東京在住、主にPythonを書いているエンジニアです。
programming languages, functional programming, code generation / Scala, OCaml, C, Python
kawauso.