997 followers
分量としては、公式チュートリアルよりかは詳しめって感じなんだが、理解できない🤯
分量としては、公式チュートリアルよりかは詳しめって感じなんだが、理解できない🤯
springerしか勝たん https://t.co/31dE1k5pBm
#arXiv #cs_LO "Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. (arXiv:090… https://t.co/bHzV38K5cW
#arXiv #cs_LO "Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae. (arXiv:090… https://t.co/bHzV38K5cW