$30 off During Our Annual Pro Sale. View Details »
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

y_taka_23

ytaka23
0 Stars

著名ねこみみエンジニア

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

Decks

サーバーレスアーキテクチャの数理的理解と分析 #devsumi / Developers Summit 2023 Summer
ytaka23
9
3.5k
形式手法による分散システムの検証 〜S3 の一貫性モデルを例として〜 #ourdevday2023 / Our DevDay 2023
ytaka23
1
910
Amazon S3 の一貫性モデル超入門 #ハードル激低LT大会 / Low-hurdle LT Meetup 2nd
ytaka23
3
1.6k
謎は全て解けた！安楽椅子探偵に捧げる AWS ネットワーク分析入門 #CNDT2022 / CloudNative Days Tokyo 2022
ytaka23
3
2.4k
サーバーレスは操作的意味論の夢を見るか？ #AWSDevDay / AWS Dev Day 2022 Japan
ytaka23
3
5k
賢く「振り分ける」ための Topology Aware Hints #k8sjp / Kubernetes Meetup Tokyo 52nd
ytaka23
4
2.3k
ネットワークはなぜつながらないのか 〜インフラの意味論的検査を目指して〜 #AWSDevDay / AWS Dev Day Online Japan 2021
ytaka23
4
6.7k
君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021
ytaka23
15
9.1k
AWS セキュリティは「論理」に訊け！ Automated Reasoning の理論と実践 #JTF2021 / July Tech Festa 2021
ytaka23
6
5.6k
Kubewarden を使って任意の言語でポリシを書こう #k8sjp / Kubernetes Meetup Tokyo 42nd
ytaka23
4
3.7k
Infrastructure as Code の静的テスト戦略 #DevOpsDaysTokyo / DevOpsDays Tokyo 2021
ytaka23
17
10k
CockroachDB から覗く形式手法の世界 #JTF2021w / July Tech Festa 2021 winter
ytaka23
10
7.9k
超速で振り返る 2020 年 CNCF Projects 動向まとめ #InfraStudy / Infra Study Meetup 9th
ytaka23
0
860
安全性-活性分解定理とその関連研究 #wsa研 / Web System Architecture Society 7th
ytaka23
3
2.9k
2020 年の秋、改めて学ぶ Scheduling Framework #k8sjp / Kubernetes Meetup Tokyo 35th
ytaka23
3
8k
猫でもわかる KubeEdge #InfraStudy / Infra Study Meetup 7th
ytaka23
4
3.1k
CockroachDB から覗く形式手法の世界 #CNDT2020 / CloudNative Days Tokyo 2020
ytaka23
9
3.4k
組織の壁と戦うための Hierarchical Namespace #InfraStudy / Infra Study Meetup 5th
ytaka23
4
3.9k

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