---

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

---

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

• ✨ Vim ✨

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

• ✨ Haskell ✨

  • すき: lens, megaparsec

• ✨ TypeScript ✨

  • すき: Nuxt.js, Vue.js

• 💠 自己紹介2023 💠

---

職務経歴書

• public_ai000ya - X bio

スキルおよび経歴が、詳細に確認できます。 Twitterより流入してくれた方々向けなので、かなりカジュアルですが、ご了承ください。

（2025-05-20 現在）

---

ポートフォーリオ

• aiya000 - LAPRAS

技術力スコア・市場価値スコア・スキルや実際の活動（主にGitHub・Qiita・Zenn）・参加したイベント（connpass経由）が確認できます。

（2025-05-20 現在）

---

実質自己PR

（直近の活動を反映できていません。）

rirekisho - GitHub

---

自己紹介・活動

• 仕事

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

• 趣味

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

• すき

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

---