システムは「実装」するのではなく「表現」するもの。 #RDB #MySQL #GCP #Ruby #Vuejs #Rails 好き：DB設計、orchestra、日本酒、 足利市 楽器：Didgeridoo、oboe（ピアノは弾けない）

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

ちゅらデータ株式会社 CTO DATA HERO OF THE YEAR(2021) SnowVillage 村長

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

株式会社X-HACK CEO 兼 CTO エンジニアリングで世の中のあらゆる問題を解決したい プログラミングの学習サポートイベント主催しています https://x-hack.connpass.com

PHPer.CakePHPがメインです。

人生って何だっけ。