Lock in $30 Savings on PRO—Offer Ends Soon! ⏳
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
KINOSHITA Minoru
krtx
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)
日本語
AWS CodeBuildを使ったCI環境の構築
krtx
2
820
クロージャについて
krtx
0
840
次元型に基づくループ不変条件自動生成(Synthesizing Loop Invariants via Dimension Types)
krtx
0
410
Automatic Synthesis of Combiners in the MapReduce Framework -- An Approach with Right Inverse
krtx
0
41
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade