s.murayama @yuga
プログラマです。プライベートでHaskell/OCaml、仕事でJava/C/Python/bash。 仕事は自社サービスをあちこち環境を使って動かすこと。各種VPSやAWSをいったりきたり。他にGoogleの企業向け検索アプライアンスでNotesを検索できるようにしたり色々やってきたので、それらのメンテナンスとか。
-
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
20857pv 151 73 users 10 -
オブジェクト指向分析設計の問題点とあるべき姿
6946pv 24 19 users 2 -
第二十九回アルゴリズム勉強会
722pv 1
-
アルゴリズム勉強会まとめ
2666pv 4 1 user -
第二十七回アルゴリズム勉強会
898pv 1