Speaker Deck
Sign up for free
Menu
Search
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Features
All features
Private URLs
Password Protection
Custom URLS
Scheduled publishing
Remove Branding
Restrict embedding
Deck Collections
Notes
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Explore
Featured decks
Featured speakers
Programming
Technology
Storyboards
Pricing
Search
Sign in
Sign up for free
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
540
Haskell の型クラスと Typeclassopedia の紹介 #w8lt
amutake
0
580
部屋のメトリクス可視化
amutake
0
820
Actario: A Framework for Reasoning About Actor Systems
amutake
0
900
Coqの紹介 #w8lt
amutake
0
390
🍣 #w8lt
amutake
2
580
代数的データ型について #w8lt
amutake
6
2.6k
Coq で証明付き Web アプリを作る #adf2015
amutake
2
950
FLL
amutake
1
1.5k
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade
amutake