にっこにっこにー🤟🙄🤟
Moggiと''love''で接近中!
Webフロントエンド、静的型付けエンジニアです。 静的型付き言語・型システムに強い興味があります！
-
✨ Vim ✨
- Vimプラグインをいくつか作っています
-
✨ Haskell ✨
- すき: lens, megaparsec
-
✨ TypeScript ✨
- すき: Nuxt.js, Vue.js
-
💠 自己紹介2023 💠
スキルおよび経歴が、詳細に確認できます。 Twitterより流入してくれた方々向けなので、かなりカジュアルですが、ご了承ください。
（2025-05-20 現在）
技術力スコア・市場価値スコア・スキルや実際の活動（主にGitHub・Qiita・Zenn）・参加したイベント（connpass経由）が確認できます。
（2025-05-20 現在）
（直近の活動を反映できていません。）
-
仕事
- フロントエンドエンジニア（現）
- フルスタックエンジニア（旧）
-
趣味
- 数学（圏論）
- 技術書執筆
-
すき
- ✨ Vim ✨
- ✨ Haskell ✨
- lens, servant, mtl, megaparsec
- ✨ TypeScript ✨
- Nuxt.js, Vue.js
- Idris, Scala, Kotlin
- VRChat
- YazawaNico
-
その他
- Zenn: https://zenn.dev/aiya000
- Qiita: https://qiita.com/aiya000
- ブログ（雑記・個人的な報告など）: http://aiya000.github.io
【「せつラボ」シリーズを執筆中✨ -- 数学および圏論の初歩入門書】
💠 https://aiya000.booth.pm/items/1316747 💠
💠 https://aiya000.booth.pm/items/1298622 💠
【「矢澤にこ先輩といっしょに代数！」を執筆！ -- 代数的構造についての初歩入門書】
💠 https://aiya000.booth.pm/items/1575006 💠
💠 https://aiya000.booth.pm/items/1575006 💠