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

75

型付け力を強化するための 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

810

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

0

890

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

コンテキストの使い捨てをやめる — ビジネスルール駆動開発と miko —

0

210

Even G2とAWSで推しのエージェントを召喚しよう！

1

120

並列実装の現場、2ヶ月間実務でAIを使い倒したAIもPCも私も限界が近い

0

130

「なぜそう決めたのか」を残し続ける仕組み ― Notion AI カスタムエージェント × Slack連携による設計判断の自動記録 - NIKKEI Tech Talk #47

PRO

0

210

IBM Bobを活用したレガシーアプリの最新化

PRO

1

200

[2026年度第1回ORセミナー] 計画最適化ベンチャーと競技プログラミング人材

0

270

Make SRE Operations Easier with Azure SRE Agent

0

6.9k

Contextとはなにか

1

330

ふつうのFeature Flag実践入門

8

4k

不変条件と整合性境界—ビジネスが決める設計判断と実現パターン / Invariants and Consistency Boundaries

14

5.6k

Hunting Vulnerabilities in Symfony with LLMs

0

550

The ROI of Quarkus for Spring Boot Applications

0

120

Featured

See All Featured

Being A Developer After 40

91

590k

Un-Boring Meetings

0

320

Leo the Paperboy

7

1.8k

Sharpening the Axe: The Primacy of Toolmaking

46

2.9k

brightonSEO & MeasureFest 2025 - Christian Goodrich - Winning strategies for Black Friday CRO & PPC

3

730

Abbi's Birthday

2

8.1k

Practical Orchestrator

191

11k

455

43k

What the history of the web can teach us about the future of AI

PRO

1

620

The Illustrated Children's Guide to Kubernetes

51

52k

The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek

2

11k

89

10k

Transcript