ＣＳの世界で一世を風靡した言語・オートマトン理論は今どうなってる？
今の圏論なんかもそれと同じ末路の匂いがする．