---

にっこにっこにー🤟🙄🤟
Moggiと''love''で接近中!

---

Webフロントエンド、静的型付けエンジニアです。 静的型付き言語・型システムに強い興味があります！

• ✨ Vim ✨

  • Vimプラグインをいくつか作っています

• ✨ Haskell ✨

  • すき: lens, megaparsec

• ✨ TypeScript ✨

  • すき: Nuxt.js, Vue.js

• 💠 自己紹介2023 💠

---

Products

Books

【「せつラボ」シリーズを執筆中✨ -- 数学および圏論の初歩入門書】
💠 https://aiya000.booth.pm/items/1316747 💠
💠 https://aiya000.booth.pm/items/1298622 💠

---

【「矢澤にこ先輩といっしょに代数！」を執筆！ -- 代数的構造についての初歩入門書】
💠 https://aiya000.booth.pm/items/1575006 💠
💠 https://aiya000.booth.pm/items/1575006 💠

---

Working

Detail

履歴書（Working curriculum vitae）
💠 https://github.com/aiya000/Curriculum-Vitae/blob/master/README.md 💠

About

• 仕事

  • フロントエンドエンジニア（現）
  • フルスタックエンジニア（旧）

• 趣味

  • 数学（圏論）
  • 技術書執筆

• すき

  • ✨ 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