2. èªå·±ç´¹ä» åå ã 㪠ä¼å¥ ããããã æ太éâ (id:tarao @oarat) 2008-08 ã¯ã¦ãªã¤ã³ã¿ã¼ã³ 2008-10 ã¯ã¦ãªã¢ã«ãã¤ã (ããã¯ãã¼ã¯ãã¼ã ) 2010-04 æ¥æ¬å¦è¡æ¯èä¼ ç¹å¥ç ç©¶å¡ (DC1) 2013-04 ã¯ã¦ãªæ£ç¤¾å¡ 2013-12 ããã¯ãã¼ã¯ãã¼ã â® ã¢ã«ã´ãªãºã å±ãã â® æ¤ç´¢æè¡ > æ©æ¢°å¦ç¿ â« ã¢ãã㯠⮠æè¿ã¯è¨è¨ãããåºç¤å¯ããªé¨åãæ å½ããã 3. èªå·±ç´¹ä» åå ã 㪠ä¼å¥ ããããã æ太éâ (id:tarao @oarat) Scala æ´: 4ã¶æ â® slick-jdbc-extension â® åã¬ãã«ã®ã©ã ãè¨ç® â® Software Design 2015 å¹´ 8 æå· å¤§å¦æ代㯠⮠ç 究室: åçè«, ããã°ã©ã æå³è«, 証ææ¯æ´ç³» â® OCaml ãå ¬ç¨èª â® gradual typing
{{#tags}}- {{label}}
{{/tags}}