2024.08.21
https://nicothumb2img.vercel.app/image/sm43980074#.png https://nico.ms/sm43980074
Room708
前：
2024.08.20
後：
2024.08.22
#日報
思った
対決の日が近づく
メモ
Logical Verification 2024
メモ
https://dl.acm.org/doi/10.1145/3167082
C. Watt; "Mechanising and verifying the WebAssembly specification"
思った
大谷翔平にポケモンカードで負けたら自殺するしかない
．