型と圏がすきです Qiitaはほぼ見る専です

I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.

開発を通して得られた知見をアウトプットしていきたいと思っています。

京都在住のHaskellerです。

Haskell

I've no idea. I own nothing.学生時代（言語学/哲学/精神分析/司書/文学/経済学以外の人文全て）システム屋さん時代（コンサル/PM/SE/PG/インフラ）

Moggiと"love"で接近中! 🤟🙄🤟

元々Java屋さんでしたがRailsはじめました。 と思ったらPython書いたりもしてます。

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

debug logなどをレポートしています.

スマートホームを簡単に安く作る方法を紹介しています