@sorairo_123

テモナ株式会社のCTO。 詳細はこちら(https://www.wantedly.com/users/105935) 電子から強電、情報の世界までが守備範囲。元教師なので、教える事が好きです。毎日楽しい日々を過ごしています。会社は渋谷近郊なので、勉強会や講演、インタビュー依頼、オフィスに遊びにいきたいなど、あればいつでもFacebookでメッセージください

基本的に技術メモを発信しています。 Qiitaにも書きますが、最近は自分のブログ作ってみました。 そちらもぜひ御覧ください。 PHP書きます。 まれにJSも書きます。Svelteにはまってます。 Nimも書きます。 C言語出身（もうかけないと思うけど）なので、型付き言語に抵抗はそこまでありません。 おっさんです。

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

C/C++, Python programmer. I've been learning F#, C#, Clojure.