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

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

• :sparkles: Vim :sparkles:

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

• :sparkles: Haskell :sparkles:

  • すき: lens, megaparsec

• :sparkles: TypeScript :sparkles:

  • すき: 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

自己紹介・活動

• 仕事

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

• 趣味

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

• すき

  • :sparkles: Vim :sparkles:
  • :sparkles: Haskell :sparkles:
    • lens, servant, mtl, megaparsec
  • :sparkles: TypeScript :sparkles:
    • Nuxt.js, Vue.js
  • Idris, Scala, Kotlin
  • VRChat
  • YazawaNico

• その他

  • Zenn: https://zenn.dev/aiya000
  • Qiita: https://qiita.com/aiya000
  • ブログ（雑記・個人的な報告など）: http://aiya000.github.io

作品

書籍

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

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