$30 off During Our Annual Pro Sale. View Details »
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

KINOSHITA Minoru

krtx
0 Stars

Decks

AWS CodeBuildを使ったCI環境の構築
krtx
2
640
クロージャについて
krtx
0
820
次元型に基づくループ不変条件自動生成(Synthesizing Loop Invariants via Dimension Types)
krtx
0
330
Automatic Synthesis of Combiners in the MapReduce Framework -- An Approach with Right Inverse
krtx
0
35

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade