大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

お気に入り ruby 使える python golang javascript 書いたことはある perl php 興味ある erlang 苦手 java

パッション×テクノロジーで世の中に貢献する

組込み系エンジニア2年目。業務ではC、C++書いてます。

python-doc-jaで少し翻訳してます。組み込み系出身です。DeveloperExperienceや品質、コンプライアンス（ライセンス等の知財権尊重や利用者保護）に興味があります。 別途記載無い場合、投稿記事内の長ーいコードはzlibライセンスやBoostライセンスでご利用できます。短いコードは著作権を主張できないと考えてますのでご自由にどうぞ。

WEBエンジニア→プロジェクトマネージャー→3Dクリエイター→フリースタイラー フルボッコエンジニア/Certified Scrum Master/Agile/Ruby/Rails/Python/Golang/Clojure/PHP/HTML5/JS/Vim/Docker/Ansible/Blender/Substance Painter/ZBrush

最近アプリ開発を始めた初心者野郎ですが、IOSアプリ開発に関するめもとかTips上げていければいいなと思ってます。

QRANOKO / Design, Frontend / YakuHanJP, MUSUBii