ãã®ã¦ã§ããµã¤ãã¯OCamlãå¦ã¼ãã¨ãã人ãã¡ã®çºã®å®éçã§è©³ç´°ãªãã¥ã¼ããªã¢ã«ãéãããã®ã§ããã ããç¥ããã¦ããéããOCamlã¯ã¢ããªã±ã¼ã·ã§ã³éçºã®ããã®é«éãç°¡æ½ãã¤å¼·åãªè¨èªã§ãããããã§ã¯èªè ããã§ã«OCamlã®å¦çç³»ãã¤ã³ã¹ãã¼ã«ãã¦ãããã®ã¨ä»®å®ãããã¤ã³ã¹ãã¼ã«ã®æ¹æ³ã«ã¤ãã¦ã¯è±æã§ãããOCamlã®ã¡ã¤ã³ãã¼ã¸ãOCaml Alianceã«ãã解説ã«èª¬æããã¦ãããã¾ãDebianãã®ä»ã®Linuxãã£ã¹ããªãã¥ã¼ã·ã§ã³ãFreeBSDããã±ã¼ã¸ã«ããªã£ã¦ããã åæ(è±èª) é¦è¨³çã«é¢ããããã³ããªã©
OCaml ã®ããã OCaml ã¨ã¯ãã©ã³ã¹ã® æ å ±æè¡ç³»ã®ç 究æ©é¢ã® INRIA ã§éçºããã¦ããé¢æ°åè¨èª ML (ã®æ¹è¨) ã§ããML ã«ã¯å¤ç¸åãåæ¨è«ãã¬ã¼ãã¼ã¸ã³ã¬ã¯ã·ã§ã³ (GC)ã ãã¼ã¿æ§é ã®ãã¿ã¼ã³ãããã³ã°çãããã°ã©ãã³ã°è¨èªçè«ã®ç 究㮠ææ (ãããææ°ã®ãã®ã¨è¨ãããã§ã¯ç¡ãããã§ãã) ãè©°ãè¾¼ã¾ã ã¦ãã¾ãããããã®ç®çã»å¹ç¨ã¯ã ã³ã¼ãã®åå©ç¨ã®ç¯å²ã大ãã (å¤ç¸å) ã³ã¼ãã®è¨è¿°éãçãããªã (åæ¨è«ã»ãã¼ã¿æ§é ã®ãã¿ã¼ã³ãããã³ã°) ãã°ã®å ¥ãè¾¼ãä½å°ãå°ãªããªã (GCãé¢æ°ç(å¯ä½ç¨ã®å°ãªã)ããã°ã©ãã³ã°) çã§ããç§ã¯ OCaml ãç 究ã§ã®ãã¼ã¿å¦çãã¯ãããä½æããããã°ã©ã ã»ã¨ãã© å ¨ã¦ã«ããã¦æ¥å¸¸çã«ä½¿ã£ã¦ããã®ã§ããã ã¨ã«ããéçºå¹çãè¯ãã§ãã ã³ã³ãã¤ã«æã®åãã§ãã¯ã®å³ããã«ã¯æ £ããªãã¨ã¡ãã£ã¨é¢åã«æãã ããããã¾
Objective Caml å ¥éäºååµ æ·³ 京é½å¤§å¦ å·¥å¦é¨æ å ±å¦ç§è¨ç®æ©ç§å¦ã³ã¼ã¹ 大å¦é¢æ å ±å¦ç 究ç§ç¥è½æ å ±å¦å°æ» e-mail: igarashi@kuis.kyoto-u.ac.jp September�24, 2007 Contents Chapter�1�� 1.1��é¢æ°åè¨èª ML 㨠Objective Camlã«ã¤ã㦠1.1.1��MLã»Objective Caml ã®ç¹å¾´ 1.2��åèæ¸ï¼è³æï¼ããã¥ã¢ã« 1.3��ç°å¢è¨å® Chapter�2�� 2.1��ã¤ã³ã¿ã©ã¯ãã£ãã³ã³ãã¤ã©ã使ã 2.1.1��簡åãªä½¿ãæ¹ 2.1.2��ãã®ä»: ãã¡ã¤ã«ããã®ããã°ã©ã ã®èªã¿è¾¼ã¿ã»ã³ã¡ã³ã 2.2��åºæ¬ãã¼ã¿åã¨ãã®æ¼ç® 2.2.1��unitå 2.2.2��intå 2.2.3��floatå 2.2.4��charå 2.2.5��stringå 2
çè ä½äº è±äºé ãããã°ã©ãã³ã°è¨èªçè«ãã¨ããç 究åéãããããã®åéã®ç 究è ãã¡ã¯ï¼ãMLããHaskellããSchemeããããã¯ãλè¨ç®ããÏè¨ç®ãï¼åå¨çè¨ç®ã®ãã¨ã§ã¯ãªãï¼ãªã©ï¼å¤ãã®ããã°ã©ãã«ã¨ã£ã¦ã¯èãããã¨ããªãè¨èªãã¢ãã«ã«ã¤ãã¦ï¼æ¥å¤ç 究ãã¦ããããã ï¼ãã®ãããªè¨èªã¯ãé£ããããå½¹ã«ç«ããªãããªã©ã¨æãããã¡ã ã ãã®é£è¼ã§ã¯ï¼ããããããã°ã©ãã³ã°è¨èªãã½ããã¦ã¨ã¢ç§å¦ã®æ§ã ãªç 究ãï¼ã§ããã ãæ®éã®ããã°ã©ããã¨ã³ã¸ãã¢ã«ãããããããï¼ã©ã¡ããã¨ããã°çè«ãããå®ç¨ã«éç¹ãããã¦ï¼ç´¹ä»ãã¦ããã æ´æ°ã¯æ¯æ第2æ°´ææ¥ï¼1æã®ã¿ç¬¬3æ°´ææ¥ï¼
ã©ã³ãã³ã°
ã©ã³ãã³ã°
ã©ã³ãã³ã°
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}