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