Robbenv (@robbenv)

1 Follow
View profile

y_taka_23

ytaka23

著名ねこみみエンジニア

Twitter: https://twitter.com/y_taka_23
GitHub: https://github.com/y-taka-23

23 followers 56 decks
サーバーレスアーキテクチャの数理的理解と分析 #devsumi / Developers Summit 2023 Summer
9
4.1k
形式手法による分散システムの検証 〜S3 の一貫性モデルを例として〜 #ourdevday2023 / Our DevDay 2023
1
1k