Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −

このスライドは、2025/11/23「TSKaigi Hokuriku 2025」で発表したものです。

cf. https://hokuriku.tskaigi.org/talks/31

TAKASE Kazuyuki

November 23, 2025

More Decks by TAKASE Kazuyuki

See All by TAKASE Kazuyuki

技育プロジェクト公式メンターがピックアップ！− おすすめ書籍 & 開発ツール一挙紹介 − / Geek Project Mentors' Picks: Books & Dev Tools

0

73

型付け力を強化するための Hoogle のすゝめ / Boosting Your Type Mastery with Hoogle

1

1.1k

A Tour of Anti-patterns for Functional Programming

0

4k

"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"

0

800

"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"

0

880

Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork

0

650

本当に 0 からの関数型プログラミングの歩き始め方 / How to Walk into Functional Programming from Scratch

1

1.4k

宣言的 UI 時代のクライアントサイド DDD 大考察 / Client-side DDD in the Age of Declarative UI

11

11k

新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話 / How to Make Developer's Educational Culture

2

2.1k

Other Decks in Programming

See All in Programming

プラグインで拡張される Context をtype-safe にする難しさと設計判断

2

480

Inspired By RubyKaigi (EN)

0

460

関係性から理解する"同一性"の型用語たち

2

620

AI時代の仕事技芸論 — ソフトウェア開発で「遊ぶように働く」職人的熟達のすすめ

1

540

iOS26時代の新規アプリ開発

0

220

作って学ぶ、 JSX (TSX) ランタイムの基本

7

1.2k

運用エージェントは "作る" から "育てる" へ - 記憶と自己進化の3層設計パターン / self-evolving-agents-three-layer-agent-design

12

3.3k

柔軟なPDFレイアウトエディタを支える型システム設計 — Discriminated UnionとConditional Typeの実践

4

1.2k

AI 時代のソフトウェア設計の学び方

PRO

29

11k

OCRを使ってゲームのアイテムをデータ化する

kishikawakatsumi

0

120

GitHub Copilot CLIのいいところ

2

1.2k

tsserverとは何だったのか、これからどうなるのか

1

430

Featured

See All Featured

455

43k

Music & Morning Musume

47

7.2k

Abbi's Birthday

2

7.8k

Optimizing for Happiness

378

71k

svc-hook: hooking system calls on ARM64 by binary rewriting

2

280

So, you think you're a good person

PRO

2

2k

SEO Brein meetup: CTRL+C is not how to scale international SEO

1

2.7k

Balancing Empowerment & Direction

6

1.1k

個人開発の失敗を避けるイケてる考え方 / tips for indie hackers

122

22k

Testing 201, or: Great Expectations

46

8.2k

Practical Tips for Bootstrapping Information Extraction Pipelines

25

1.9k

Building a Modern Day  E-commerce SEO Strategy

45

9.1k

Transcript