Movatterモバイル変換


[0]ホーム

URL:


Lock in $30 Savings on PRO—Offer Ends Soon! ⏳
Speaker DeckSpeaker Deck
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for y_taka_23

y_taka_23

0 Stars

    著名ねこみみエンジニア

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

    Decks

    形式手法特論:CEGAR を用いたモデル検査の状態空間削減 #kernelvm / Kernel VM Study Hokuriku Part 8
    2
    460
    形式手法特論:位相空間としての並行プログラミング #kernelvm / Kernel VM Study Tokyo 18th
    AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025
    11
    4.9k
    問 1:以下のコンパイラを証明せよ(予告編) #kernelvm / Kernel VM Study Kansai 11th
    3
    940
    AWS のポリシー言語 Cedar を活用した高速かつスケーラブルな認可技術の探求 #phperkaigi / PHPerKaigi 2025
    13
    3.6k
    NilAway による静的解析で「10 億ドル」を節約する #kyotogo / Kyoto Go 56th
    7
    880
    形式手法の 10 メートル手前 #kernelvm / Kernel VM Study Hokuriku Part 7
    7
    1.5k
    普通の Web エンジニアのための様相論理入門 #yapcjapan / YAPC Hakodate 2024
    12
    3.7k
    kcp: Kubernetes APIs Are All You Need #techfeed_live / TechFeed Experts Night 28th
    2
    610
    サーバーレスアーキテクチャの数理的理解と分析 #devsumi / Developers Summit 2023 Summer
    10
    5.6k
    形式手法による分散システムの検証 〜S3 の一貫性モデルを例として〜 #ourdevday2023 / Our DevDay 2023
    2
    1.5k
    Amazon S3 の一貫性モデル超入門 #ハードル激低LT大会 / Low-hurdle LT Meetup 2nd
    3
    2.4k
    謎は全て解けた!安楽椅子探偵に捧げる AWS ネットワーク分析入門 #CNDT2022 / CloudNative Days Tokyo 2022
    2
    4.6k
    サーバーレスは操作的意味論の夢を見るか? #AWSDevDay / AWS Dev Day 2022 Japan
    4
    7.5k
    賢く「振り分ける」ための Topology Aware Hints #k8sjp / Kubernetes Meetup Tokyo 52nd
    4
    4.1k
    ネットワークはなぜつながらないのか 〜インフラの意味論的検査を目指して〜 #AWSDevDay / AWS Dev Day Online Japan 2021
    5
    8.5k
    君のセキュリティはデプロイするまでもなく間違っている #CICD2021 / CICD Conference 2021
    15
    11k
    AWS セキュリティは「論理」に訊け! Automated Reasoning の理論と実践 #JTF2021 / July Tech Festa 2021
    7
    6.9k

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


    [8]ページ先頭

    ©2009-2025 Movatter.jp