Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Shohei Yasutake
amutake
9 Decks
0 Following
0 Followers
0 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
Erlang 事例紹介: メディアストリーム中継システム
amutake
0
420
Haskell の型クラスと Typeclassopedia の紹介 #w8lt
amutake
0
480
部屋のメトリクス可視化
amutake
0
720
Actario: A Framework for Reasoning About Actor Systems
amutake
0
680
Coqの紹介 #w8lt
amutake
0
340
🍣 #w8lt
amutake
2
500
代数的データ型について #w8lt
amutake
6
2.4k
Coq で証明付き Web アプリを作る #adf2015
amutake
2
890
FLL
amutake
1
1.4k
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade