https://cogsci.indiana.edu/gridfonts.html
Douglas Hofstadter
→ Shape Grammar → METAFONT → 意味論的なカテゴリーは生産的な集合
