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
390
Haskell の型クラスと Typeclassopedia の紹介 #w8lt
amutake
0
460
部屋のメトリクス可視化
amutake
0
710
Actario: A Framework for Reasoning About Actor Systems
amutake
0
650
Coqの紹介 #w8lt
amutake
0
340
🍣 #w8lt
amutake
2
500
代数的データ型について #w8lt
amutake
6
2.3k
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