Upgrade to Pro — share decks privately, control downloads, hide ads and more …

形式手法の 10 メートル手前 #kernelvm / Kernel VM Study Hok...

y_taka_23
November 09, 2024

形式手法の 10 メートル手前 #kernelvm / Kernel VM Study Hokuriku Part 7

Kernel / VM 探検隊 @ 北陸 Part 7 で使用したスライドです。

y_taka_23

November 09, 2024
Tweet

More Decks by y_taka_23

Other Decks in Technology

Transcript

  1. 全パターン網羅すると グラフ構造が現れる A: 0, B: 0 A: 1, B: 0

    A: 0, B: 1 A: 2, B: 0 A: 1, B: 1 A: 0, B: 2 A: 3, B: 0 A: 2, B: 1 A: 1, B: 2 A: 0, B: 3