ギターと妻とペットの犬をこよなく愛し、ギターも奏でるエンジニア。

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

Androidでゲーム作ってます。 https://play.google.com/store/apps/details?id=com.dokokano.shotchange&hl=ja 今年はlibGDX+RoboVMでAndroid/iOSマルチのゲーム作りたいですね。

一応Javaエンジニアです。仕事の関係でPHP、Python、Rubyをやることも。開発環境を構築することもあるので、そのレベルでのインフラネタもたまに。

Soft Engineer ---SKILL:COCOS2D-X,C++,JAVA,MYSQL,ORACLE,JSP,JAVASCRIPT, JQUERY,C#

横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です

こだわることにはこだわるが、飽きたらめちゃくちゃテキトー。ワクワクすることめちゃめちゃ好きだけど、のんびりまったりも好き。おもちゃ／家電／PC大好き。実験好き。