こんなときに云う言葉(もう2ch死語か？)
「釣れた！」

問題：ドナルドクヌース氏が開発した組版ソフトの名前は何？