Upgrade to Pro — share decks privately, control downloads, hide ads and more …

堅牢な認証基盤の実現 TypeScriptで代数的データ型を活用する

Avatar for KAKEHASHI KAKEHASHI PRO
June 15, 2025
Technology
820
4

堅牢な認証基盤の実現 TypeScriptで代数的データ型を活用する

関数型まつり2025
https://2025.fp-matsuri.org/
での登壇資料です

Avatar for KAKEHASHI

KAKEHASHI PRO

June 15, 2025

More Decks by KAKEHASHI

See All by KAKEHASHI
React Compiler導入の効果と運用の工夫
Avatar for KAKEHASHI kakehashi
PRO
3
360
変化の激しい時代をゴキゲンに生き抜くために 〜ストレスマネジメントのススメ〜
Avatar for KAKEHASHI kakehashi
PRO
5
2.2k
「SaaSの次の時代」に重要性を増すステークホルダーマネジメントの要諦 ～解像度を圧倒的に高めPdMの価値を最大化させる方法～
Avatar for KAKEHASHI kakehashi
PRO
3
4.4k
プロダクトを育てるように生成AIによる開発プロセスを育てよう
Avatar for KAKEHASHI kakehashi
PRO
2
1.9k
チームのモメンタムに投資せよ！ 不確実性と共存しながら勢いを生み出す３つの実践
Avatar for KAKEHASHI kakehashi
PRO
1
310
FAXが現役の業界でマルチモーダルAIプロダクトを作る
Avatar for KAKEHASHI kakehashi
PRO
1
260
EMからVPoEを経てCTOへ：マネジメントキャリアパスにおける葛藤と成長
Avatar for KAKEHASHI kakehashi
PRO
9
3.3k
器用貧乏が強みになるまで ～「なんでもやる」が導いたエンジニアとしての現在地～
Avatar for KAKEHASHI kakehashi
PRO
7
4.7k
AIで「ふとした疑問」を即座に検証する 〜定量で圧倒するN1理解〜
Avatar for KAKEHASHI kakehashi
PRO
3
1.3k

Other Decks in Technology

See All in Technology
大規模災害時でも高い信頼性を維持するアプリケーション基盤の実現/nikkei-tech-talk46
Avatar for 日本経済新聞社 エンジニア採用事務局 nikkei_engineer_recruiting
0
120
Agentic AI時代における メルカリのAIガバナンスとガードレール実装
Avatar for ichihara naoichihara
16
17k
Oracle Cloud Infrastructure：2026年5月度サービス・アップデート
Avatar for oracle4engineer oracle4engineer
PRO
1
270
Spring AI × MCP 入門〜AIエージェントへのツール公開、境界設計から始める最小構成 〜
Avatar for 宮本裕也 yuyamiyamoto
0
180
Oracle AI Database@AWS：サービス概要のご紹介
Avatar for oracle4engineer oracle4engineer
PRO
4
2.7k
Platform Engineering as a Product: Criteria for Improvement and Multi-Tenant Design
Avatar for Kumo Ishikawa kumorn5s
0
380
Kaggle未経験社員をメダリストに育てる「AIドラゴン桜」
Avatar for LINEヤフーTech (LY Corporation Tech) lycorptech_jp
PRO
0
660
形式手法特論：公平性制約の位相的特徴づけ #kernelvm / Kernel VM Study Kansai 12th
Avatar for y_taka_23 ytaka23
1
580
AI駆動開発でなんでもハンズオン環境をつくってみた
Avatar for yoshimi0227 yoshimi0227
0
180
Claude code Orchestra
Avatar for Taisei Ozaki ozakiomumkj
2
670
テストコードのないプロジェクトにテストを根付かせる
Avatar for Toru Takahashi tttol
0
230
はじめてのDatadog
Avatar for KairiM kairim0
0
230

Featured

See All Featured
The Anti-SEO Checklist Checklist. Pubcon Cyber Week
Avatar for Ryan Jones ryanjones
0
150
Odyssey Design
Avatar for Ryan Kendrick rkendrick25
PRO
2
640
Design of three-dimensional binary manipulators for pick-and-place task avoiding obstacles (IECON2024)
Avatar for konakalab konakalab
0
440
Test your architecture with Archunit
Avatar for Yoan thirion
1
2.3k
A Soul's Torment
Avatar for Nat Ma seathinner
6
2.9k
A Tale of Four Properties
Avatar for Chris Coyier chriscoyier
163
24k
Effective software design: The role of men in debugging patriarchy in IT @ Voxxed Days AMS
Avatar for Kenny Baas-Schwegler baasie
0
370
Technical Leadership for Architectural Decision Making
Avatar for Kenny Baas-Schwegler baasie
3
380
Redefining SEO in the New Era of Traffic Generation
Avatar for Szymon Słowik szymonslowik
1
320
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
Avatar for Tech SEO Connect techseoconnect
PRO
0
150
Deep Space Network (abreviated)
Avatar for Tony Rice tonyrice
0
160
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
Avatar for Rebecca Miller-Webster rmw
35
3.5k

Transcript

  1. None
  2. None
  3. None
  4. None
  5. None
  6. None
  7. None
  8. None
  9. None
  10. None
  11. None
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None
  18. None
  19. None
  20. None
  21. None
  22. None
  23. None
  24. None
  25. None