@nkkn1008@github

ランチの時は呼ぶといい！

言語仕様とか設計思想を掘るのが趣味のプログラミング初心者 C#とPureScriptちょっとできる(できない)

C#, JavaScriptあたりが好きです。

湘南生まれのITエンジニア（サーバー・フロント・DB・インフラ（クラウド））です。主にC#、PHP、TypeScript、GO言語、Docker、gRPCを使っています。好物は紅茶とコーヒー、シラス丼、趣味は写真撮影と音ゲーです。よろしくお願いします！

「かんたんMarkdown」というMarkdownエディタを作っていました。 Java, JavaScript, Python辺りに生息。楽をする仕組みを考えるのがすき。考えているそのときが楽しい。

ボンクラデヴ。ゲームしたり、ゲーム作ったりします。最近は遊技機の液晶制御が軸足です。

Qiita 4位／TypeScript入門書執筆中／TypeScripterのための座談会「YYTypeScript」主催／『実践ドメイン駆動設計』書籍邦訳レビュア／分報Slack考案／YYPHP主催／CodeIQマガジン執筆／株式会社クラフトマンソフトウェア創設／Web自動テスト「ShouldBee」の開発／TypeScript／DDD／OOP

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

くぁ