Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Shohei Yasutake

amutake
0 Stars

Decks

Erlang 事例紹介: メディアストリーム中継システム
amutake
0
410
Haskell の型クラスと Typeclassopedia の紹介 #w8lt
amutake
0
470
部屋のメトリクス可視化
amutake
0
720
Actario: A Framework for Reasoning About Actor Systems
amutake
0
670
Coqの紹介 #w8lt
amutake
0
340
🍣 #w8lt
amutake
2
500
代数的データ型について #w8lt
amutake
6
2.4k
Coq で証明付き Web アプリを作る #adf2015
amutake
2
880
FLL
amutake
1
1.4k

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade