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
Ushitora Anqou
anqou
6 Decks
0 Following
1 Followers
1 Stars
Decks
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
anqou
1
700
F*でプログラムの正しさを証明する
anqou
1
940
「自作CPUでサイゼリヤ問題」を支える技術
anqou
2
270
ぼくのかんがえたさいきょうのマリオAI
anqou
1
440
10ステップで作るお手軽インタプリタ開発
anqou
3
810
seccamp2018でセルフホストCコンパイラをつくった
anqou
9
4.7k
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade