Clayiumをリメイクしてみたり、TypeScriptで型レベルで遊んでみたりしている

ヨーガ歴28年のダルシム系エンジニア＆菩薩系Pythonおじさん。 昔々数学科では位相幾何を、大学院では情報幾何をやってました。 現在は量子ネイティブを目指して勉強中の隠居系フリーランスです。😇

設定の記事を投稿します

趣味の者です

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

地方の大学生

I like Haskell

はてなブログ： http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

北九州市立大学 准教授 Univ. of Kitakyushu Associate Professor / Computer and software for artificial satellite and space rover / Domain-specific architecture / Elixir

とても謙虚で心理的安全性の塊みたいなエンジニアです。