Kolmogorov複雑度の計算不能性についてのメモだが，出来るかどうかわからない強い前提を置いている（絶対に停止するプログラムだけについて考える等）気もするので証明が正しいかは怪しい

https://scrapbox.io/sno2wman/Kolmogorov複雑度の計算不能性