Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Yunosuke Yamada (@yunosukey)
1 Follow
View profile
y_taka_23
ytaka23
著名ねこみみエンジニア
Twitter:
https://twitter.com/y_taka_23
GitHub:
https://github.com/y-taka-23
32 followers
63 decks
AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025
9
2.6k
問 1:以下のコンパイラを証明せよ(予告編) #kernelvm / Kernel VM Study Kansai 11th
3
760