è¿å¹´ã®Webã¢ããªã±ã¼ã·ã§ã³éçºã¯å¤§è¦æ¨¡åãé²ã¿ãåºå¹¹ã·ã¹ãã ãªã©ã®ä¸è§ãæ ãã¾ã§ã«ãªã£ã¦ãã¦ãã¾ããã¾ããWebã¢ããªã±ã¼ã·ã§ã³éçºã¯ã¬ã¬ã·ã¼ãªã·ã¹ãã éçºã«æ¯ã¹ã¦æéã®ãããé¨åãå¤ãã«ãé¢ããããéçºã«ãããããå·¥æ°ã¯ç縮åã®å¾åã«ããã¾ãã ãã®ãããæ¡ä»¶ã®å¤§è¦æ¨¡åã§éçºã«æºãã人æ°ãå¢ããå¾åã«ãããéçºãã¼ã ã®åã ãWebã¢ããªã±ã¼ã·ã§ã³ã®ã©ã¤ãã©ãªãå¥ã ã«å¶ä½ãã¦ãã¾ããåæ§ã®æ©è½ãæã£ãã©ã¤ãã©ãªãè¤æ°åå¨ãã¦ãã¾ã£ãããã¾ãUIãæ å½ãããã¶ã¤ãã¼ã¨ãã¸ãã¹ãã¸ãã¯ãæ å½ããããã°ã©ãããããããããã®é¨åãçµã¿åããããã¨ããããã¾ãæ©è½ããªãã£ããã¨ãã£ãæ§ã ãªåé¡ãåºã¦ãã¾ãã ãã®ãããªèæ¯ããããããã®åé¡ã«å¯¾ããã½ãªã¥ã¼ã·ã§ã³ã®ã²ã¨ã¤ã¨ãã¦ç¾å¨ãéçºç¾å ´ã§ã¯Webã¢ããªã±ã¼ã·ã§ã³ãã¬ã¼ã ã¯ã¼ã¯ãç¨ããéçºã¹ã¿ã¤ã«ã注ç®ãããå®éã«å¤ãã®éçºä¼ç¤¾ãWebã¢ããªã±
ã½ããã¦ã§ã¢ã®åè¨éçºãããªã¼ãã³ã½ã¼ã¹ã®ããã¸ã§ã¯ãã§ã¯ãã½ã¼ã¹ã³ã¼ããä»ã®æè¡è ã®ç®ã«è§¦ããããã®ãããã½ã¼ã¹ã³ã¼ãããéçºè ã®æè¡åãè©ä¾¡ãããããã ã½ããã¦ã§ã¢ã®éçºè ã¯ãã¢ã¸ã¥ã¼ã«åå²ãã¯ã©ã¹è¨è¨ã«ã¯å ¨åãå¾ãããæè¿ã§ã¯ãè¨è¨ã®å®æ度ãé«ããããã«ãå®è£ ã®å¾ã§ãªãã¡ã¯ã¿ãªã³ã°ãè¡ããã¨ãçãããªãã ã ããè¨è¨ã®åãæªãã«ãã ããéçºè ã§ããã½ã¼ã¹ã³ã¼ãã«æ¸ãã³ã¡ã³ãã®å質ã¾ã§ã¯ãé æ ®ãåã°ãªããã¨ãå¤ããã³ã¡ã³ãã¯æ¬è³ªçãªãã®ã§ã¯ãªãã®ã§ãã¤ãæ°ãç·©ãã¦ãã¾ãã®ã§ããã ã¨ããããéçºè ã®å¸æã«åãã¦ãã½ã¼ã¹ã³ã¼ãã®èªã¿æãå°è±¡ãåããããã®ã¯ãã³ã¡ã³ãã®å質ã§ãããã½ã¼ã¹ã³ã¼ãããè¨è¨ãèªã¿è§£ãã®ã¯å®¹æã§ã¯ãªãããæ¥æ¬èªãè±èªã§æ¸ããã¦ããã³ã¡ã³ãã¯ç®ã«ä»ããããã åªç§ãªæè¡è ã®æ¸ããã½ã¼ã¹ã³ã¼ãã§ããé©ãã»ã©ãæªããã³ã¡ã³ããæ¸ããã¦ãããã¨ãããããã®ãããªã½ã¼ã¹ã³
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
ãã¡ã¤ã³ã¦ã§ãã®è¨å®ãè¦ã¤ããã¾ãã èããããåå ãã¡ã¤ã³ã¦ã§ãã®è¨å®ãã¾ã è¡ããã¦ããªãã ãã¡ã¤ã³ã¦ã§ãã®è¨å®ãã¾ã åæ ããã¦ããªãã(åæ ã«ã¯æ°æéï½24æéããããã¨ãããã¾ã) ãã¡ã¤ã³ã¦ã§ãã»DNSã®è¨å®ã誤ã£ã¦ããã ã¢ã«ã¦ã³ããåå¨ããªããå¥ç´ãçµäºãã¦ãããåé¤ããã¦ããã
ã©ã³ãã³ã°
ã©ã³ãã³ã°
ã©ã³ãã³ã°
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}