Notes/inbox/SyntaxSyntax#concept Note 構文論。 IoPLMaterials | Materials for the class “Implementation of Programming Languages” in Kyoto University.