クヌース先生のプログラム論を読んだメモ post