23/08/31 13:29:13.22 QKPa2t5y.net
>>12
>簡単で自明なデッドロックのよくある例が検出できただけであれは学習マッチングだよ
>実用的じゃない
そうなのかどうかは私も分からんので反例を1つ示して反駁してくれ
>理論的にデッドロックの静的な検出は不可能なのは知っているよね？
人間はできるよね? <- 反例
23/08/31 13:29:13.22 QKPa2t5y.net
>>12
>簡単で自明なデッドロックのよくある例が検出できただけであれは学習マッチングだよ
>実用的じゃない
そうなのかどうかは私も分からんので反例を1つ示して反駁してくれ
>理論的にデッドロックの静的な検出は不可能なのは知っているよね？
人間はできるよね? <- 反例