Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for y_taka_23

y_taka_23

ytaka23
0 Stars

著名ねこみみエンジニア

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

Decks

AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025
Avatar for y_taka_23 ytaka23
9
2.7k
問 1：以下のコンパイラを証明せよ（予告編） #kernelvm / Kernel VM Study Kansai 11th
Avatar for y_taka_23 ytaka23
3
770
AWS のポリシー言語 Cedar を活用した高速かつスケーラブルな認可技術の探求 #phperkaigi / PHPerKaigi 2025
Avatar for y_taka_23 ytaka23
9
2.4k
NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
Avatar for y_taka_23 ytaka23
4
670
形式手法の 10 メートル手前 #kernelvm / Kernel VM Study Hokuriku Part 7
Avatar for y_taka_23 ytaka23
7
1.3k
普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
Avatar for y_taka_23 ytaka23
10
3k
kcp: Kubernetes APIs Are All You Need #techfeed_live / TechFeed Experts Night 28th
Avatar for y_taka_23 ytaka23
1
480
サーバーレスアーキテクチャの数理的理解と分析 #devsumi / Developers Summit 2023 Summer
Avatar for y_taka_23 ytaka23
9
5.4k
形式手法による分散システムの検証 〜S3 の一貫性モデルを例として〜 #ourdevday2023 / Our DevDay 2023
Avatar for y_taka_23 ytaka23
2
1.4k
Amazon S3 の一貫性モデル超入門 #ハードル激低LT大会 / Low-hurdle LT Meetup 2nd
Avatar for y_taka_23 ytaka23
3
2.2k
謎は全て解けた！安楽椅子探偵に捧げる AWS ネットワーク分析入門 #CNDT2022 / CloudNative Days Tokyo 2022
Avatar for y_taka_23 ytaka23
2
4.2k
サーバーレスは操作的意味論の夢を見るか？ #AWSDevDay / AWS Dev Day 2022 Japan
Avatar for y_taka_23 ytaka23
4
7.2k
賢く「振り分ける」ための Topology Aware Hints #k8sjp / Kubernetes Meetup Tokyo 52nd
Avatar for y_taka_23 ytaka23
4
3.8k
ネットワークはなぜつながらないのか 〜インフラの意味論的検査を目指して〜 #AWSDevDay / AWS Dev Day Online Japan 2021
Avatar for y_taka_23 ytaka23
4
8.3k
君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021
Avatar for y_taka_23 ytaka23
15
11k
AWS セキュリティは「論理」に訊け！ Automated Reasoning の理論と実践 #JTF2021 / July Tech Festa 2021
Avatar for y_taka_23 ytaka23
7
6.8k
Kubewarden を使って任意の言語でポリシを書こう #k8sjp / Kubernetes Meetup Tokyo 42nd
Avatar for y_taka_23 ytaka23
5
4.7k
Infrastructure as Code の静的テスト戦略 #DevOpsDaysTokyo / DevOpsDays Tokyo 2021
Avatar for y_taka_23 ytaka23
17
12k

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