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
810
クロージャについて
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
40

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