TAPL
「Types and Programming Languagesã€(通称TAPL)ã®è¨³æœ¬ï¼Œã€Œåž‹ã‚·ã‚¹ãƒ†ãƒ 入門 −プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åž‹ã®ç†è«–−ã€ã‚’èªã‚“ã§ã„る．èªæ›¸æ—¥è¨˜ã‚’ã¤ã‘ã‚‹ã¨ã„ã„ã‚“ã˜ã‚ƒãªã„ã‹ã¨æ€ã„ç«‹ã£ãŸãŒé¢å€’è‡ããªã£ãŸï¼Žèªã¿å§‹ã‚ã¯2/4é ƒï¼Ž10ç« ã¾ã§èªã‚“ã ． åºæ–‡ã«ç« ã®ä¾å˜é–¢ä¿‚ãŒè¼‰ã£â€¦
