Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Ushitora Anqou

anqou
1 Stars

Decks

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
anqou
1
840
F*でプログラムの正しさを証明する
anqou
1
1k
「自作CPUでサイゼリヤ問題」を支える技術
anqou
2
310
ぼくのかんがえたさいきょうのマリオAI
anqou
1
520
10ステップで作るお手軽インタプリタ開発
anqou
3
980
seccamp2018でセルフホストCコンパイラをつくった
anqou
8
5.2k

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