Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

gessy0129 (@gessy0129)

2 Followers

View profile

netkimya

netkimya

0 followers 0 decks

This user hasn't published any decks.

Takuma Kajikawa

kajitack

23 followers 28 decks

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

3

970

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

0

380