個人的な開発記事および公開技術情報の要約記事を公開しています。 https://qiita.com/matsui_685　にも何点か記事を置いています

元へっぽこ電子回路エンジニア。現在隠居中。どちらかというとVHDL派。最近はFPGA+SoC でいろいろやってます。github でもいろいろと公開してます。 https://github.com/ikwzm

Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ