@kthjm

同人ゲームを作りつつRubyCity松江でソフトウェアエンジニアをやっています

VR教育従事者、教育従事プログラマー。広島県呉市出身。「高校生からはじめる プログラミング」著者 ( amazon.co.jp/dp/4046052228 ) 。 言語: TS/JS/Scala/Java ゲーム:LoL/VR全般/ポケカ/FF14

機能が向上し, 問題が修正されています

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

妻x1+娘x4 オンプレインフラメインのインフラエンジニアが、ソフトウェア中心のPaaS/SaaS業界へ転身し、一度はやめたアプリケーションに手を出し始めている昨今、みなさまいかがお過ごしでしょうか。 外資系はいいぞ(

Software Engineer

猫とミステリと少女漫画好きなプログラマで週末音楽家