Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

モブエンジニア（Masaki Okuda） (@masakiokuda)

22 Followers

View profile

Takuma Kajikawa

kajitack

24 followers 28 decks

なぜ関数型プログラミングで「型」と「証明」が語られるのか #fp_matsuri

3

990

なぜ型を書くのか？ TSKaigi2026で改めて考える #tskaigi_smarthr

0

400

Kazuyoshi Mii

mii

0 followers 0 decks

This user hasn't published any decks.