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

とある大学教員。専門は電力系統解析、エネルギーマネージメント。専門分野やAI活用などに関する技術を発信。

趣味でコード書きをしている学生。 たまに競プロとか。