さてここら辺で誰かいろんな言語とグロタンディークの関係を
サラッとまとめてくれ