genzouw

1479 Contribution

/ Following users

チィーッス

日本のQA/テストエンジニア。 ウェブとちっさいパソコンとふとんがすき。 +(0゚・∀・) + ワクテカ +

Technical Specialist in SORABITO Inc. #Smalltalk-ing #Ruby committer #UNIX #Linux #DevOps #LISP #Python #Emacs #dwango #teamlab #荒川智則 #AS2526 #AS55394 #SORABITO

Groovy、Grails、Haskell、Elm, Rust, ES2015, Dart, React, Fregeが好き。

https://github.com/nobeans

東京の某D社でプログラマやってます。 Scala/Java/Ruby/C/Objective-C/Parsing. 糖質制限/ライトノベル/ゲーム/ジョギング/言語/歴史

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

Hello, World.

A Ruby, Fluentd, and Chainer Committer. SRE Engineer. Qiitaは小ネタの投稿場所として利用しています。業務コードで、なぜそういう書き方をしているのか解説をQiitaに書いて、コードにはQiitaへのリンクを張る、という使い方をしていることが多いです(自己紹介じゃない)