フルスタックTypeScriptで挑む、UPSIDER法人審査システムの再構築＿Mitomi

TSKaigi Night talks 〜after conference〜でMitomiが登壇する資料です。
https://findy.connpass.com/event/392420/

Transcript

1. © 2026 UPSIDER.inc © 2026 UPSIDER.inc フルスタックTypeScriptで挑む、UPSIDER法 人審査システムの再構築
2. © 2026 UPSIDER.inc 自己紹介 三富 隼斗 （Hayato Mitomi） 2022年Webエンジニアのキャリアを開始。 2025年6月に株式会社UPSIDERに入社。 2025年8月からフルスタックTSで開発開始。
3. © 2026 UPSIDER.inc UPSIDER法人審査システムの再構築とは • 社内で法人カードの機能のマイクロサービス化が進行中 • マイクロサービスの中の法人審査・ AMLの領域を担当 ◦ 取引時確認など、法律で求められる業務が多い ◦ 複雑な状態遷移 例: 申込提出 → 審査 → 修正依頼 → 修正提出 → 再審査 → ... • フルスタックTypeScript を採用 ◦ FE / BE で言語を統一しコンテキストスイッチを削減 ◦ ドメインが複雑だからこそ、型の恩恵を最大限受けたい
4. © 2026 UPSIDER.inc 今日伝えたいこと • TypeScriptを使うだけでは「型」の恩恵は受けられない • 型を活かすには「実装」と「環境」にも工夫が必要 1. 実装の工夫：スキーマ駆動開発 (TypeSpec) 2. 環境の工夫：テストコードの型チェック
5. © 2026 UPSIDER.inc １. 実装の工夫：スキーマ駆動開発 　　　　　 (TypeSpec)
6. © 2026 UPSIDER.inc スキーマ駆動の選択肢 他の連携先のマイクロサービスの技術スタックが TypeScript とは限らない TypeSpecはOpenAPIやprotobufへの出力も可能 → スキーマの管理は「 TypeSpec」を採用 　※ デメリットである型制約の弱さを補うために工夫が必要 Hono RPC tRPC TypeSpec 言語 TS TS 非依存 SSoT BEコード BEコード TypeSpec 型制約 強 強 弱
7. © 2026 UPSIDER.inc 実装の工夫：バックエンド TypeSpec → OpenAPI → Zod スキーマを自動生成し、Hono + Zodで型を守る
8. © 2026 UPSIDER.inc 実装の工夫：フロントエンド TypeSpec → OpenAPI → APIクライアントを自動生成
9. © 2026 UPSIDER.inc ２. 環境の工夫：テストコードの型チェック
10. © 2026 UPSIDER.inc テストの型チェックは省略されがち ビルド高速化のためにテストコードを tsconfig の exclude に設定するのはよくあるパターン 結果として... • テストコードに型エラーがあっても検出できない • AI が型ヒントを得られず迷走 → 最終的に it.skip で諦める
11. © 2026 UPSIDER.inc tsconfig を 2 つに分ける → AI のテストコード生成速度が向上 　型ヒントが効くようになり、AIの迷走が減った tsconfig.json (本番ビルド用 ) tsconfig.strict.json (AIガードレール・ CI用)
12. © 2026 UPSIDER.inc まとめ（再掲） • TypeScriptを使うだけでは「型」の恩恵は受けられない • 型を活かすには「実装」と「環境」にも工夫が必要 1. 実装の工夫：スキーマ駆動開発 (TypeSpec) 2. 環境の工夫：テストコードの型チェック
13. © 2026 UPSIDER.inc © 2026 UPSIDER.inc Recruit We are hiring！ UPSIDERでは一緒に働く仲間を募集しています