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
井上亜星
inoueasei
4 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)
日本語
Lean は証明の正しさを確認するためだけのツールって思ってませんか？
inoueasei
1
270
Lean プロジェクトの依存関係を 自動更新する
inoueasei
1
85
Leanで本を執筆する
inoueasei
0
210
Lean言語は新世代の純粋関数型言語になれるか？
inoueasei
1
250
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade
inoueasei