Knuth を何と読むかは未解決の問題だな