generated at
2/12/2025, 7:16:47 AM
クヌース
ドナルド・クヌース
（
Donald Knuth
）