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

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