Go backend developer. Android / iOS　app developer.

大学院生。 普段の研究とか趣味で作ったソースコードや環境設定のうち、誰かが使えそうなものを掲載する予定です。 Noteの方はQiitaに掲載するほどでもない話とかを書くかもしれない。ただ、運用する中でもっと効果的な運用方法を見つけたら変更します。

Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

数学マニアなデータサイエンティスト。マニアと言いつつマニアの域には実力が達していないが…競プロとかkaggleとかやってたりします。あと、元Androidエンジニア。 https://atcoder.jp/users/LyricalMaestro

FaceVTuberの作者．VTuberの講演も行っている．基本的には，色々やってるPythonista．TypeScriptやクリーンアーキテクチャにご執心．趣味レベルの事業開発・サービス開発も少々．

AndroidとUnity