{"id":26780,"date":"2023-10-20T02:49:57","date_gmt":"2023-10-20T02:49:57","guid":{"rendered":"https:\/\/science-hub.click\/ObjectiveCaml%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6%E8%A9%B3%E3%81%97%E3%81%8F%E8%A7%A3%E8%AA%AC\/"},"modified":"2023-10-20T02:49:57","modified_gmt":"2023-10-20T02:49:57","slug":"ObjectiveCaml%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6%E8%A9%B3%E3%81%97%E3%81%8F%E8%A7%A3%E8%AA%AC","status":"publish","type":"post","link":"https:\/\/science-hub.click\/?p=26780","title":{"rendered":"Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac"},"content":{"rendered":"<div><div><h2>\u5c0e\u5165<\/h2><table cellspacing=\"7\"><tr><td colspan=\"2\">\u5bfe\u7269\u30ec\u30f3\u30ba<\/td><\/tr><tr><td align=\"center\" colspan=\"2\"><br\/><br\/><\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u306b\u767b\u5834<\/th><td>1987\u5e74\uff08CAML\uff09\u30011996\u5e74\uff08OCaml\uff09<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\"><span><a href=\"https:\/\/science-hub.click\/?p=10648\">\u958b\u767a\u8005<\/a><\/span><\/th><td>\u30a4\u30f3\u30ea\u30a2<\/td><\/tr><tr style=\"vertical-align: top;\"><td><b>\u6700\u65b0\u30d0\u30fc\u30b8\u30e7\u30f3<\/b><\/td><td>3.12.0 <sub class=\"plainlinks\">[+\/-]<\/sub><\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u30d1\u30e9\u30c0\u30a4\u30e0<\/th><td><span title=\"\u30de\u30eb\u30c1\u30d1\u30e9\u30c0\u30a4\u30e0 (\u30da\u30fc\u30b8\u304c\u5b58\u5728\u3057\u307e\u305b\u3093)\">\u30de\u30eb\u30c1\u30d1\u30e9\u30c0\u30a4\u30e0<\/span>: \u547d\u4ee4\u578b\u3001<span><a href=\"https:\/\/science-hub.click\/?p=10960\">\u95a2\u6570\u578b<\/a><\/span>\u3001<span>\u30aa\u30d6\u30b8\u30a7\u30af\u30c8<\/span>\u6307\u5411<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u30bf\u30a4\u30d4\u30f3\u30b0<\/th><td>\u9a12\u3005\u3057\u3044\u3001<span><a href=\"https:\/\/science-hub.click\/?p=46442\">\u9759\u7684\u306a<\/a><\/span><\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u65b9\u8a00<\/th><td>JoCaml\u3001Fresh OCaml\u3001GCaml\u3001MetaOCaml\u3001OCamlDuce\u3001OcamlP3L<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u5f71\u97ff\u3092\u53d7\u3051\u305f<\/th><td>ML\uff08\u8a00\u8a9e\uff09<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u5f71\u97ff\u3092\u4e0e\u3048\u305f<\/th><td>F#<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u30aa\u30da\u30ec\u30fc\u30c6\u30a3\u30f3\u30b0\u00b7\u30b7\u30b9\u30c6\u30e0<\/th><td><span><a href=\"https:\/\/science-hub.click\/?p=48440\">\u30de\u30eb\u30c1\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0<\/a><\/span><\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\">\u30e9\u30a4\u30bb\u30f3\u30b9<\/th><td>Q\u30d1\u30d6\u30ea\u30c3\u30af\u30e9\u30a4\u30bb\u30f3\u30b9\uff08\u30b3\u30f3\u30d1\u30a4\u30e9\uff09<br\/> LGPL (\u56f3\u66f8\u9928)<\/td><\/tr><tr style=\"vertical-align: top;\"><th scope=\"row\"> <span><a href=\"https:\/\/science-hub.click\/?p=57083\">Web\u30b5\u30a4\u30c8<\/a><\/span><\/th><td>http:\/\/caml.inria.fr\/<\/td><\/tr><\/table><p> <b>Objective Caml<\/b> (\u7701\u7565\u5f62<b>OCaml<\/b>\u3068\u3082\u547c\u3070\u308c\u307e\u3059) \u306f\u30011996 \u5e74\u306b<span>Xavier Leroy<\/span> \u3001 <span title=\"\u30b8\u30a7\u30ed\u30fc\u30e0\u30fb\u30f4\u30a4\u30e8\u30f3 (\u30da\u30fc\u30b8\u306f\u5b58\u5728\u3057\u307e\u305b\u3093)\">J\u00e9r\u00f4me Vouillon<\/span> \u3001 <span title=\"\u30c0\u30df\u30a2\u30f3\u30fb\u30c9\u30ea\u30b8\u30a7\u30b9 (\u30da\u30fc\u30b8\u306f\u5b58\u5728\u3057\u307e\u305b\u3093)\">Damien Doligez<\/span> \u3001 <span title=\"\u30c7\u30a3\u30c7\u30a3\u30a8\u30fb\u30ec\u30df (\u30da\u30fc\u30b8\u306f\u5b58\u5728\u3057\u307e\u305b\u3093)\">Didier R\u00e9my<\/span>\u3068\u305d\u306e\u5354\u529b\u8005\u306b\u3088\u3063\u3066\u4f5c\u6210\u3055\u308c\u305f\u3001Caml <span><a href=\"https:\/\/science-hub.click\/?p=82947\">\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e<\/a><\/span>\u306e\u6700\u3082\u5148\u9032\u7684\u306a<span><a href=\"https:\/\/science-hub.click\/?p=62923\">\u5b9f\u88c5<\/a><\/span>\u3067\u3059\u3002\u3053\u306e\u8a00\u8a9e\u306f\u3001ML \u8a00\u8a9e\u30d5\u30a1\u30df\u30ea\u30fc\u306b\u5c5e\u3057\u307e\u3059\u3002\u306f\u3001\u4e3b\u306b INRIA \u306b\u3088\u3063\u3066\u4e3b\u5c0e\u304a\u3088\u3073\u7dad\u6301\u3055\u308c\u3066\u3044\u308b\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9<span>\u30d7\u30ed\u30b8\u30a7\u30af\u30c8<\/span>\u3067\u3059\u3002<\/p><p> OCaml \u306f<span lang=\"en\" xml:lang=\"en\"><i>Caml Light<\/i><\/span>\u306e\u5f8c\u7d99\u3067\u3042\u308a\u3001\u7279\u306b\u30aa\u30d6\u30b8\u30a7\u30af\u30c8<span><a href=\"https:\/\/science-hub.click\/?p=39632\">\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0<\/a><\/span>\u5c64\u304c\u8ffd\u52a0\u3055\u308c\u3066\u3044\u307e\u3059\u3002 CAML \u306e\u982d\u5b57\u8a9e\u306f\u3001\u62bd\u8c61\u30de\u30b7\u30f3 \u30e2\u30c7\u30eb\u3067\u3042\u308b<span lang=\"en\" xml:lang=\"en\"><i>Categorical Abstract Machine Language<\/i><\/span>\u306b\u7531\u6765\u3057\u3066\u3044\u307e\u3059\u304c\u3001\u6700\u8fd1\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u306e OCaml \u3067\u306f\u4f7f\u7528\u3055\u308c\u306a\u304f\u306a\u308a\u307e\u3057\u305f\u3002<\/p><p>\u30dd\u30fc\u30bf\u30d6\u30eb\u3067\u5f37\u529b\u306a OCaml \u306f\u3001Unison<span><a href=\"https:\/\/science-hub.click\/?p=93765\">\u30d5\u30a1\u30a4\u30eb\u540c\u671f<\/a><\/span><span>\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2<\/span>\u3001\u6b63\u5f0f\u306a\u8a3c\u660e\u30a2\u30b7\u30b9\u30bf\u30f3\u30c8<span><a href=\"https:\/\/science-hub.click\/?p=32444\">Coq<\/a><\/span> \u3001 <span>Microsoft<\/span>\u306b\u3088\u3063\u3066\u4f5c\u6210\u3055\u308c\u305f\u9759\u7684<span><a href=\"https:\/\/science-hub.click\/?p=20340\">Windows<\/a><\/span>\u30c9\u30e9\u30a4\u30d0\u30fc\u691c\u8a3c\u30c4\u30fc\u30eb\u306a\u3069\u3001\u3055\u307e\u3056\u307e\u306a\u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u3067\u4f7f\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\" Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/U4U7KOBV7OI\/0.jpg\" style=\"width:100%;\"\/><\/figure><h2>\u539f\u5247<\/h2><p>Caml \u306f\u3001 <span>\u547d\u4ee4\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0<\/span>\u3092\u53ef\u80fd\u306b\u3059\u308b\u6a5f\u80fd\u304c\u5f37\u5316\u3055\u308c\u305f\u95a2\u6570\u578b\u8a00\u8a9e\u3067\u3059\u3002 Objective Caml \u306f\u3001 <span>\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0<\/span>\u3068<span><a href=\"https:\/\/science-hub.click\/?p=44586\">\u30e2\u30b8\u30e5\u30fc\u30eb\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3092<\/a><\/span>\u53ef\u80fd\u306b\u3059\u308b\u3053\u3068\u3067\u3001\u8a00\u8a9e\u306e\u53ef\u80fd\u6027\u3092\u62e1\u5f35\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u3059\u3079\u3066\u306e\u7406\u7531\u306b\u3088\u308a\u3001OCaml \u306f\u30de\u30eb\u30c1\u30d1\u30e9\u30c0\u30a4\u30e0\u8a00\u8a9e\u306e\u30ab\u30c6\u30b4\u30ea\u30fc\u306b\u5206\u985e\u3055\u308c\u307e\u3059\u3002<\/p><p>\u3053\u308c\u3089\u306e\u3055\u307e\u3056\u307e\u306a\u6982\u5ff5\u3092\u3001<span><a href=\"https:\/\/science-hub.click\/?p=44544\">\u9759\u7684\u3001\u5f37\u529b\u3001\u63a8\u8ad6\u3055\u308c\u305f\u578b\u4ed8\u3051<\/a><\/span>\u306b\u3088\u3063\u3066\u7279\u5fb4\u3065\u3051\u3089\u308c\u308b\u3001ML \u304b\u3089\u7d99\u627f\u3055\u308c\u305f\u578b\u30b7\u30b9\u30c6\u30e0\u306b\u7d71\u5408\u3057\u307e\u3059\u3002<\/p><p>\u578b\u30b7\u30b9\u30c6\u30e0\u3092\u4f7f\u7528\u3059\u308b\u3068\u3001\u8907\u96d1\u306a<span><a href=\"https:\/\/science-hub.click\/?p=25552\">\u30c7\u30fc\u30bf<\/a><\/span>\u69cb\u9020\u3092\u7c21\u5358\u306b\u64cd\u4f5c\u3067\u304d\u307e\u3059\u3002\u4ee3\u6570\u578b\u3001<span>\u3064\u307e\u308a<\/span>\u968e\u5c64\u7684\u3067\u518d\u5e30\u7684\u306a\u578b (\u30ea\u30b9\u30c8\u3001\u30c4\u30ea\u30fc\u306a\u3069) \u3092\u7c21\u5358\u306b\u8868\u73fe\u3067\u304d\u3001\u30d1\u30bf\u30fc\u30f3 \u30d5\u30a3\u30eb\u30bf\u30fc\u3092\u4f7f\u7528\u3057\u3066\u305d\u308c\u3089\u3092\u7c21\u5358\u306b\u64cd\u4f5c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u305f\u3081\u3001OCaml \u306f\u3001\u30b3\u30f3\u30d1\u30a4\u30e9\u306a\u3069\u3001\u8907\u96d1\u306a\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u64cd\u4f5c\u304c\u5fc5\u8981\u306a\u5206\u91ce\u3067\u6700\u9069\u306a\u8a00\u8a9e\u3068\u306a\u3063\u3066\u3044\u307e\u3059\u3002<\/p><p> OCaml \u306f\u3001\u5f37\u529b\u306a\u578b\u4ed8\u3051\u3068\u3001\u660e\u793a\u7684\u306a<span><a href=\"https:\/\/science-hub.click\/?p=40158\">\u30e1\u30e2\u30ea<\/a><\/span>\u64cd\u4f5c\u304c\u306a\u3044 (\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30bf\u30fc\u306e\u5b58\u5728) \u3053\u3068\u306b\u3088\u308a\u3001\u975e\u5e38\u306b\u5b89\u5168\u306a\u8a00\u8a9e\u3068\u306a\u3063\u3066\u3044\u307e\u3059\u3002\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30fc\u30c9<span><a href=\"https:\/\/science-hub.click\/?p=4438\">\u30b3\u30f3\u30d1\u30a4\u30e9\u30fc<\/a><\/span>\u306e\u5b58\u5728\u306b\u3088\u308b\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3067\u3082\u6709\u540d\u3067\u3059\u3002<\/p><h2>\u4e3b\u306a\u7279\u9577<\/h2><h3><span>\u95a2\u6570\u578b\u8a00\u8a9e<\/span><\/h3><p>OCaml \u306b\u306f\u3001\u95a2\u6570\u578b\u8a00\u8a9e\u306e\u4e00\u822c\u7684\u306a\u6a5f\u80fd\u306e\u307b\u3068\u3093\u3069\u304c\u3042\u308a\u3001\u7279\u306b\u9ad8\u968e\u95a2\u6570\u3068<span lang=\"en\" xml:lang=\"en\"><i>\u30af\u30ed\u30fc\u30b8\u30e3\u30fc\u304c<\/i><\/span>\u3042\u308a\u3001\u672b\u5c3e\u518d\u5e30\u304c\u9069\u5207\u306b\u30b5\u30dd\u30fc\u30c8\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\" Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/s0ELLeqlmPA\/0.jpg\" style=\"width:100%;\"\/><\/figure><h3><span>\u30bf\u30a4\u30d4\u30f3\u30b0<\/span><\/h3><p>OCaml \u306e\u9759\u7684\u578b\u4ed8\u3051\u306f\u3001\u5b9f\u884c\u6642\u306b\u554f\u984c\u3092\u5f15\u304d\u8d77\u3053\u3059\u53ef\u80fd\u6027\u306e\u3042\u308b<span><a href=\"https:\/\/science-hub.click\/?p=71097\">\u591a\u6570<\/a><\/span>\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 \u30a8\u30e9\u30fc\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b\u691c\u51fa\u3057\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u4ed6\u306e\u307b\u3068\u3093\u3069\u306e\u8a00\u8a9e\u3068\u306f\u7570\u306a\u308a\u3001\u4f7f\u7528\u3057\u3066\u3044\u308b\u5909\u6570\u306e\u30bf\u30a4\u30d7\u3092\u6307\u5b9a\u3059\u308b\u5fc5\u8981\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u5b9f\u969b\u3001Caml \u306b\u306f\u3001\u5909\u6570\u304c\u4f7f\u7528\u3055\u308c\u3066\u3044\u308b<span><a href=\"https:\/\/science-hub.click\/?p=88719\">\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8<\/a><\/span>\u304b\u3089\u5909\u6570\u306e\u578b\u3092\u6c7a\u5b9a\u3067\u304d\u308b\u578b\u63a8\u8ad6\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u3042\u308a\u307e\u3059\u3002<\/p><p> ML \u578b\u4ed8\u3051\u30b7\u30b9\u30c6\u30e0\u306f\u3001\u30d1\u30e9\u30e1\u30c8\u30ea\u30c3\u30af\u591a\u614b\u6027\u3001\u3064\u307e\u308a\u3001\u5024\u304c<span><a href=\"https:\/\/science-hub.click\/?p=74671\">\u8a2d\u5b9a\u3055\u308c\u305f<\/a><\/span>\u3068\u304d\u306b\u305d\u306e\u90e8\u5206\u304c\u6c7a\u5b9a\u3055\u308c\u306a\u3044\u578b\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u307e\u3059\u3002\u3053\u306e<span><a href=\"https:\/\/science-hub.click\/?p=33486\">\u81ea\u52d5<\/a><\/span>\u6a5f\u80fd\u306b\u3088\u308a\u3001Java \u3084 C# \u306e<span lang=\"en\" xml:lang=\"en\"><i>\u30b8\u30a7\u30cd\u30ea\u30c3\u30af\u30b9<\/i><\/span>\u3001\u307e\u305f\u306f C++<span lang=\"en\" xml:lang=\"en\"><i>\u30c6\u30f3\u30d7\u30ec\u30fc\u30c8<\/i><\/span>\u306b\u5339\u6575\u3059\u308b<span><a href=\"https:\/\/science-hub.click\/?p=61660\">\u30b8\u30a7\u30cd\u30ea\u30c3\u30af\u6027<\/a><\/span>\u3092\u5f97\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p><p>\u305f\u3060\u3057\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306a\u3069\u306e\u9ad8\u5ea6\u306a\u6a5f\u80fd\u306e\u7d71\u5408\u306b\u5fc5\u8981\u306a ML \u30bf\u30a4\u30d4\u30f3\u30b0\u306e\u62e1\u5f35\u306b\u3088\u308a\u3001\u5834\u5408\u306b\u3088\u3063\u3066\u306f\u578b\u30b7\u30b9\u30c6\u30e0\u304c\u8907\u96d1\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u6a5f\u80fd\u306e\u4f7f\u7528\u306b\u306f\u3001<span><a href=\"https:\/\/science-hub.click\/?p=75433\">\u30d7\u30ed\u30b0\u30e9\u30de\u30fc<\/a><\/span>\u306e<span><a href=\"https:\/\/science-hub.click\/?p=34982\">\u5b66\u7fd2<\/a><\/span><span><a href=\"https:\/\/science-hub.click\/?p=82055\">\u6642\u9593\u304c<\/a><\/span>\u5fc5\u8981\u306b\u306a\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306f\u5fc5\u305a\u3057\u3082\u5fc5\u8981\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u6d17\u7df4\u3055\u308c\u305f\u578b\u30b7\u30b9\u30c6\u30e0\u306b\u7cbe\u901a\u3057\u3066\u3044\u308b\u3002<\/p><h3><span>\u30d5\u30a3\u30eb\u30bf\u30ea\u30f3\u30b0<\/span><\/h3><p><span lang=\"en\" xml:lang=\"en\"><i>\u30d1\u30bf\u30fc\u30f3 \u30de\u30c3\u30c1\u30f3\u30b0\u306f<\/i><\/span>Caml \u8a00\u8a9e\u306e\u91cd\u8981\u306a\u8981\u7d20\u3067\u3059\u3002\u5f93\u6765\u306e\u6761\u4ef6\u3088\u308a\u67d4\u8edf\u306a\u8a18\u8ff0\u306b\u3088\u308a\u30b3\u30fc\u30c9\u306e\u8efd\u91cf\u5316\u304c\u53ef\u80fd\u3068\u306a\u308a\u3001\u4e0d\u5b8c\u5168\u306a\u30d5\u30a3\u30eb\u30bf\u30ea\u30f3\u30b0\u304c\u691c\u51fa\u3055\u308c\u305f\u5834\u5408\u306b\u306f\u30b3\u30f3\u30d1\u30a4\u30e9\u304c<span><a href=\"https:\/\/science-hub.click\/?p=78351\">\u53cd\u4f8b<\/a><\/span>\u3092\u63d0\u4f9b\u3059\u308b\u306a\u3069\u5b8c\u5168\u6027\u304c\u30c1\u30a7\u30c3\u30af\u3055\u308c\u307e\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u6b21\u306e\u30b3\u30fc\u30c9\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u3055\u308c\u307e\u3059\u304c\u3001\u8b66\u544a\u304c\u767a\u751f\u3057\u307e\u3059\u3002<\/p><div dir=\"ltr\"><div><pre class=\"de1\"> <span>#<\/span>\u72b6\u614b<span>\u30bf\u30a4\u30d7<\/span><span>=<\/span>\u30a2\u30af\u30c6\u30a3\u30d6<span>|<\/span>\u975e\u30a2\u30af\u30c6\u30a3\u30d6<span>|<\/span>\u672a\u77e5<span>;;<\/span> <span>#<\/span> <span>(* \u5408\u8a08\u30bf\u30a4\u30d7: \u72b6\u614b\u306f 3 \u3064\u306e\u5024\u306e\u3044\u305a\u308c\u304b\u3067\u3059: \u30a2\u30af\u30c6\u30a3\u30d6\u3001\u975e\u30a2\u30af\u30c6\u30a3\u30d6\u3001\u4e0d\u660e *)<\/span> <span>#<\/span> <span>let<\/span> is_active <span>=<\/span> <span>function<\/span> Active <span>-&gt;<\/span> <span>true<\/span> <span>|<\/span>\u975e\u30a2\u30af\u30c6\u30a3\u30d6<span>-&gt;<\/span> <span>false<\/span> <span>;;<\/span><\/pre><\/div><\/div><pre> \u8b66\u544a P: \u3053\u306e\u30d1\u30bf\u30fc\u30f3 \u30de\u30c3\u30c1\u30f3\u30b0\u306f\u7db2\u7f85\u7684\u306a\u3082\u306e\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u4e00\u81f4\u3057\u306a\u3044\u5024\u306e\u4f8b\u3092\u6b21\u306b\u793a\u3057\u307e\u3059: \u4e0d\u660e<\/pre><p>\u3057\u305f\u304c\u3063\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306f is_active \u95a2\u6570\u304c\u30a2\u30af\u30c6\u30a3\u30d6\u307e\u305f\u306f\u975e\u30a2\u30af\u30c6\u30a3\u30d6\u306e\u30b9\u30c6\u30fc\u30bf\u30b9\u3067\u547c\u3073\u51fa\u3055\u308c\u305f\u5834\u5408\u306b\u52d5\u4f5c\u3057\u307e\u3059\u304c\u3001\u30b9\u30c6\u30fc\u30bf\u30b9\u304c\u4e0d\u660e\u306e\u5834\u5408\u3001\u95a2\u6570\u306f<i>Match_failure<\/i>\u4f8b\u5916\u3092\u30b9\u30ed\u30fc\u3057\u307e\u3059\u3002<\/p><h3><span>\u30e2\u30b8\u30e5\u30fc\u30eb<\/span><\/h3><p>\u30e2\u30b8\u30e5\u30fc\u30eb\u3092\u4f7f\u7528\u3059\u308b\u3068\u3001\u8ad6\u7406\u7684\u306b\u95a2\u9023\u3059\u308b\u578b\u3068\u5024\u3092\u542b\u3080\u69cb\u9020\u306e\u968e\u5c64\u306b\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u5206\u89e3\u3067\u304d\u307e\u3059 (\u305f\u3068\u3048\u3070\u3001\u3059\u3079\u3066\u306e\u30ea\u30b9\u30c8\u64cd\u4f5c\u95a2\u6570\u306f List \u30e2\u30b8\u30e5\u30fc\u30eb\u306b\u5165\u308c\u3089\u308c\u307e\u3059)\u3002 ML \u30d5\u30a1\u30df\u30ea\u30fc\u306e\u5b50\u5b6b\u306f\u3001\u73fe\u5728\u6700\u3082\u9ad8\u5ea6\u306a\u30e2\u30b8\u30e5\u30fc\u30eb \u30b7\u30b9\u30c6\u30e0\u3092\u5099\u3048\u305f\u8a00\u8a9e\u3067\u3042\u308a\u3001\u540d\u524d\u7a7a\u9593\u3092\u6301\u3064\u3053\u3068\u306b\u52a0\u3048\u3066\u3001<span><a href=\"https:\/\/science-hub.click\/?p=77075\">\u62bd\u8c61\u5316<\/a><\/span>(\u5b9f\u88c5\u304c\u96a0\u3055\u308c\u3066\u3044\u308b\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\u306a\u5024) \u3068\u5408\u6210\u53ef\u80fd\u6027 (\u5b9f\u88c5\u304c\u96a0\u3055\u308c\u3066\u3044\u308b\u30a2\u30af\u30bb\u30b9\u53ef\u80fd\u306a\u5024) \u3092\u5b9f\u88c5\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u7279\u5b9a\u306e<span><a href=\"https:\/\/science-hub.click\/?p=48676\">\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9<\/a><\/span>\u306b\u5fdc\u7b54\u3059\u308b\u9650\u308a\u3001\u3055\u307e\u3056\u307e\u306a\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u4e0a\u306b\u69cb\u7bc9\u3055\u308c\u307e\u3059)\u3002<\/p><p>\u3057\u305f\u304c\u3063\u3066\u3001\u69cb\u6587\u69cb\u7bc9\u306e 3 \u3064\u306e\u69cb\u6587\u5358\u4f4d\u306f\u3001\u69cb\u9020\u3001\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3001\u304a\u3088\u3073\u30e2\u30b8\u30e5\u30fc\u30eb\u3067\u3059\u3002\u69cb\u9020\u4f53\u306b\u306f\u30e2\u30b8\u30e5\u30fc\u30eb\u306e\u5b9f\u88c5\u304c\u542b\u307e\u308c\u3001\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306b\u306f\u305d\u308c\u3089\u306b\u30a2\u30af\u30bb\u30b9\u3067\u304d\u308b\u5024\u304c\u8a18\u8ff0\u3055\u308c\u307e\u3059\uff08\u5b9f\u88c5\u304c\u516c\u958b\u3055\u308c\u3066\u3044\u306a\u3044\u5024\u306f\u62bd\u8c61\u5024\u3067\u3042\u308a\u3001\u30e2\u30b8\u30e5\u30fc\u30eb\u5b9f\u88c5\u306b<span><a href=\"https:\/\/science-hub.click\/?p=95765\">\u307e\u3063\u305f\u304f<\/a><\/span>\u8868\u793a\u3055\u308c\u306a\u3044\u5024\u306f\u30a2\u30af\u30bb\u30b9\u3067\u304d\u307e\u305b\u3093\u3002\u305f\u3068\u3048\u3070\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\uff09\u3002\u30e2\u30b8\u30e5\u30fc\u30eb\u306f\u8907\u6570\u306e\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u6301\u3064\u3053\u3068\u304c\u3067\u304d (\u3059\u3079\u3066\u306e\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u304c\u5b9f\u88c5\u30bf\u30a4\u30d7\u3068\u4e92\u63db\u6027\u304c\u3042\u308b\u9650\u308a)\u3001\u8907\u6570\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u540c\u3058\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u30c1\u30a7\u30c3\u30af\u3067\u304d\u307e\u3059\u3002\u30d5\u30a1\u30f3\u30af\u30bf\u30fc\u306f\u3001\u4ed6\u306e\u69cb\u9020\u306b\u3088\u3063\u3066\u30d1\u30e9\u30e1\u30fc\u30bf\u5316\u3055\u308c\u305f\u69cb\u9020\u3067\u3059\u3002\u305f\u3068\u3048\u3070\u3001OCaml<span><a href=\"https:\/\/science-hub.click\/?p=76437\">\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea<\/a><\/span>\u306e\u30cf\u30c3\u30b7\u30e5 \u30c6\u30fc\u30d6\u30eb (Hashtbl \u30e2\u30b8\u30e5\u30fc\u30eb) \u306f\u3001\u578b\u3001\u30ad\u30fc\u9593\u306e\u7b49\u4fa1\u95a2\u6570\u3001\u304a\u3088\u3073<span><a href=\"https:\/\/science-hub.click\/?p=37804\">\u30cf\u30c3\u30b7\u30e5\u95a2\u6570<\/a><\/span>\u3067\u69cb\u6210\u3055\u308c\u308b\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u5b9f\u88c5\u3059\u308b\u4efb\u610f\u306e\u69cb\u9020\u3092<span><a href=\"https:\/\/science-hub.click\/?p=25840\">\u30d1\u30e9\u30e1\u30fc\u30bf<\/a><\/span>\u3068\u3057\u3066\u53d7\u3051\u53d6\u308b\u30d5\u30a1\u30f3\u30af\u30bf\u30fc\u3068\u3057\u3066\u4f7f\u7528\u3067\u304d\u307e\u3059\u3002<\/p><h3><span>\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411<\/span><\/h3><p>OCaml \u306f\u3001\u53e4\u5178\u7684\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u8a00\u8a9e\u3067\u4f7f\u7528\u3055\u308c\u3066\u3044\u308b\u3082\u306e\u3068\u540c\u7b49\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8 \u30b7\u30b9\u30c6\u30e0\u306b\u5411\u3051\u305f ML \u30bf\u30a4\u30d4\u30f3\u30b0\u306e\u62e1\u5f35\u306b\u3088\u3063\u3066\u7279\u306b\u969b\u7acb\u3063\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u30e1\u30bd\u30c3\u30c9\u306e\u578b\u306b\u4e92\u63db\u6027\u304c\u3042\u308b\u5834\u5408\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u305d\u308c\u305e\u308c\u306e\u7d99\u627f\u30c4\u30ea\u30fc\u306b\u95a2\u4fc2\u306a\u304f\u3001\u578b\u306e\u4e92\u63db\u6027\u304c\u3042\u308b\u69cb\u9020\u30b5\u30d6\u30bf\u30a4\u30d4\u30f3\u30b0\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u306e\u6a5f\u80fd\u306f\u52d5\u7684\u8a00\u8a9e\u306b\u304a\u3051\u308b<span lang=\"en\" xml:lang=\"en\"><i>\u30c0\u30c3\u30af\u30bf\u30a4\u30d4\u30f3\u30b0<\/i><\/span>\u306b\u76f8\u5f53\u3059\u308b\u3068\u8003\u3048\u308b\u3053\u3068\u304c\u3067\u304d\u3001\u4e00\u822c\u7684\u306a\u95a2\u6570\u578b\u8a00\u8a9e\u306b\u304a\u3051\u308b\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6982\u5ff5\u306e\u81ea\u7136\u306a\u7d71\u5408\u3092\u53ef\u80fd\u306b\u3057\u307e\u3059\u3002<\/p><p>\u3057\u305f\u304c\u3063\u3066\u3001\u3059\u3079\u3066\u306e\u30af\u30e9\u30b9\u304c\u578b\u3092\u5b9a\u7fa9\u3059\u308b C++ \u3084 Java \u306a\u3069\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u8a00\u8a9e\u3068\u306f\u7570\u306a\u308a\u3001OCaml \u30af\u30e9\u30b9\u306f\u578b\u306e\u7701\u7565\u5f62\u3092\u5b9a\u7fa9\u3057\u307e\u3059\u3002\u5b9f\u969b\u3001\u30e1\u30bd\u30c3\u30c9\u306e\u30bf\u30a4\u30d7\u306b\u4e92\u63db\u6027\u304c\u3042\u308b\u9650\u308a\u30012 \u3064\u306e\u7570\u306a\u308b\u30af\u30e9\u30b9\u306e 2 \u3064\u306e\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3092\u540c\u3058\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u5185\u3067\u533a\u5225\u306a\u304f\u4f7f\u7528\u3067\u304d\u307e\u3059\u3002 OCaml \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u5c64\u306e\u3053\u306e\u7279\u6027\u306f\u3001\u4e00\u822c\u306b\u53d7\u3051\u5165\u308c\u3089\u308c\u3066\u3044\u308b\u591a\u304f\u306e\u539f\u5247\u3092\u7834\u308b\u3082\u306e\u3067\u3059\u3002\u305f\u3068\u3048\u3070\u3001\u7d99\u627f\u3092\u884c\u308f\u305a\u306b\u30b5\u30d6\u30bf\u30a4\u30d7\u3092\u5b9f\u884c\u3059\u308b\u3053\u3068\u306f\u5b9f\u969b\u306b\u53ef\u80fd\u3067\u3059\u3002\u30dd\u30ea\u30e2\u30fc\u30d5\u30a3\u30c3\u30af\u306a\u5074\u306f\u3001<span><a href=\"https:\/\/science-hub.click\/?p=35670\">\u53cd\u5bfe\u306e<\/a><\/span>\u539f\u5247\u3092\u6253\u3061\u7834\u308a\u307e\u3059\u3002\u307e\u308c\u3067\u306f\u3042\u308a\u307e\u3059\u304c\u3001\u30b5\u30d6\u30bf\u30a4\u30d7\u306a\u3057\u306e\u7d99\u627f\u306e\u30b1\u30fc\u30b9\u3092\u793a\u3059\u30b3\u30fc\u30c9\u4f8b\u3082\u5b58\u5728\u3057\u307e\u3059\u3002<\/p><p>\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u5c64\u306e<span><a href=\"https:\/\/science-hub.click\/?p=63629\">\u5f37\u307f\u306f<\/a><\/span>\u3001\u305d\u306e\u5747\u8cea\u6027\u3068\u3001OCaml \u8a00\u8a9e\u306e\u54f2\u5b66\u304a\u3088\u3073\u7cbe\u795e\u305d\u306e\u3082\u306e\u3078\u306e\u5b8c\u5168\u306a\u7d71\u5408\u306b\u3042\u308a\u307e\u3059\u3002\u5c5e\u6027\u3092\u5909\u66f4\u3067\u304d\u305a\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066\u30e1\u30bd\u30c3\u30c9\u304c\u5c5e\u6027\u306e\u66f4\u65b0\u3001\u76f4\u63a5\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u5b9a\u7fa9\u3001\u307e\u305f\u306f\u30aa\u30f3\u30b6\u30d5\u30e9\u30a4\u3067\u30b3\u30d4\u30fc\u3092\u8fd4\u3059\u6a5f\u80fd\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u3082\u53ef\u80fd\u3067\u3059\u3002<\/p><figure class=\"wp-block-image size-large is-style-default\">\n<img decoding=\"async\" alt=\" Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac\" class=\"aligncenter\" onerror=\"this.style.display=none;\" src=\"https:\/\/img.youtube.com\/vi\/BV0ywDUVdtU\/0.jpg\" style=\"width:100%;\"\/><\/figure><h3><span>\u5206\u5e03<\/span><\/h3><p>OCaml \u30c7\u30a3\u30b9\u30c8\u30ea\u30d3\u30e5\u30fc\u30b7\u30e7\u30f3\u306b\u306f\u6b21\u306e\u3082\u306e\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002<\/p><ul><li><span>\u5bfe\u8a71<\/span>\u578b\u30a4\u30f3\u30bf\u30d7\u30ea\u30bf (ocaml)<\/li><li>\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9 \u30b3\u30f3\u30d1\u30a4\u30e9 (ocamlc) \u3068\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9 \u30a4\u30f3\u30bf\u30fc\u30d7\u30ea\u30bf (ocamlrun)<\/li><li>\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30f3\u30d1\u30a4\u30e9 (ocamlopt)<\/li><li>\u5b57\u53e5\u89e3\u6790 (ocamllex) \u304a\u3088\u3073\u69cb\u6587\u89e3\u6790 (ocamlyacc) \u30b8\u30a7\u30cd\u30ec\u30fc\u30bf\u30fc\u3001<\/li><li>\u8a00\u8a9e\u69cb\u6587\u306e\u62e1\u5f35\u307e\u305f\u306f\u5909\u66f4\u3092\u53ef\u80fd\u306b\u3059\u308b<span><a href=\"https:\/\/science-hub.click\/?p=19224\">\u30d7\u30ea\u30d7\u30ed\u30bb\u30c3\u30b5<\/a><\/span>(camlp4)<\/li><li>\u30d0\u30c3\u30af\u30c8\u30e9\u30c3\u30af\u6a5f\u80fd\u3092\u5099\u3048\u305f\u30b9\u30c6\u30c3\u30d7\u30d0\u30a4\u30b9\u30c6\u30c3\u30d7\u306e<span><a href=\"https:\/\/science-hub.click\/?p=65353\">\u30c7\u30d0\u30c3\u30ac<\/a><\/span>(ocamldebug)<\/li><li><span lang=\"en\" xml:lang=\"en\"><i>\u30d7\u30ed\u30d5\u30a1\u30a4\u30ea\u30f3\u30b0<\/i><\/span>\u30c4\u30fc\u30eb<\/li><li><span><a href=\"https:\/\/science-hub.click\/?p=79435\">\u30c9\u30ad\u30e5\u30e1\u30f3\u30c8\u30b8\u30a7\u30cd\u30ec\u30fc\u30bf\u30fc<\/a><\/span>(ocamldoc)<\/li><li> OCaml 3.10 \u4ee5\u964d\u306e\u81ea\u52d5\u30b3\u30f3\u30d1\u30a4\u30eb \u30de\u30cd\u30fc\u30b8\u30e3\u30fc (ocamlbuild)\u3001<\/li><li>\u591a\u5f69\u306a\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea<\/li><\/ul><p>OCaml \u30c4\u30fc\u30eb\u306f\u3001Windows\u3001GNU\/Linux\u3001\u307e\u305f\u306f<span><a href=\"https:\/\/science-hub.click\/?p=93501\">Mac OS<\/a><\/span>\u3067\u901a\u5e38\u4f7f\u7528\u3055\u308c\u307e\u3059\u304c\u3001BSD \u306a\u3069\u306e\u4ed6\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u3082\u5b58\u5728\u3057\u307e\u3059\u3002<\/p><p>\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9 \u30b3\u30f3\u30d1\u30a4\u30e9\u3092\u4f7f\u7528\u3059\u308b\u3068\u3001ocamlrun \u306b\u3088\u3063\u3066\u89e3\u91c8\u3055\u308c\u308b\u30d5\u30a1\u30a4\u30eb\u3092\u4f5c\u6210\u3067\u304d\u307e\u3059\u3002\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9\u306f\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u304b\u3089\u72ec\u7acb\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u512a\u308c\u305f<span><a href=\"https:\/\/science-hub.click\/?p=2694\">\u79fb\u690d\u6027<\/a><\/span>\u304c\u4fdd\u8a3c\u3055\u308c\u307e\u3059 (ocamlrun \u306f\u3001\u6a5f\u80fd\u7684\u306a C \u30b3\u30f3\u30d1\u30a4\u30e9\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u4efb\u610f\u306e\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u3067\u4e8b\u524d\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u3067\u304d\u307e\u3059)\u3002\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30f3\u30d1\u30a4\u30e9\u306f\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u56fa\u6709\u306e<span><a href=\"https:\/\/science-hub.click\/?p=93475\">\u30a2\u30bb\u30f3\u30d6\u30ea<\/a><\/span>\u30b3\u30fc\u30c9\u3092\u751f\u6210\u3057\u307e\u3059\u304c\u3001\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3092\u5927\u5e45\u306b\u5411\u4e0a\u3055\u305b\u308b\u305f\u3081\u306b\u3001\u751f\u6210\u3055\u308c\u305f\u5b9f\u884c\u53ef\u80fd\u30d5\u30a1\u30a4\u30eb\u306e\u79fb\u690d\u6027\u304c\u72a0\u7272\u306b\u306a\u308a\u307e\u3059\u3002 IA32\u3001 <span>PowerPC<\/span> \u3001 <span>AMD64<\/span> \u3001Alpha\u3001 <span>Sparc<\/span> \u3001Mips\u3001IA64\u3001HPPA\u3001\u304a\u3088\u3073 StrongArm \u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u7528\u306e\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30f3\u30d1\u30a4\u30e9\u304c\u5b58\u5728\u3057\u307e\u3059\u3002<\/p><p>\u4e92\u63db\u6027\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306b\u3088\u308a\u3001OCaml \u30b3\u30fc\u30c9\u3092 C \u30d7\u30ea\u30df\u30c6\u30a3\u30d6\u306b\u30ea\u30f3\u30af\u3067\u304d\u3001\u6d6e\u52d5\u5c0f\u6570\u70b9\u914d\u5217\u306e\u5f62\u5f0f\u306f C \u304a\u3088\u3073<span>Fortran<\/span>\u3068\u4e92\u63db\u6027\u304c\u3042\u308a\u307e\u3059\u3002 OCaml \u3067\u306f\u3001OCaml \u30b3\u30fc\u30c9\u3092 C \u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u7d71\u5408\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u308b\u305f\u3081\u3001OCaml \u3092\u77e5\u3089\u306a\u304f<span><a href=\"https:\/\/science-hub.click\/?p=11724\">\u3066<\/a><\/span>\u3082\u3001\u30a4\u30f3\u30b9\u30c8\u30fc\u30eb\u3057\u306a\u304f\u3066\u3082\u3001OCaml \u30e9\u30a4\u30d6\u30e9\u30ea\u3092 C \u30d7\u30ed\u30b0\u30e9\u30de\u306b\u914d\u5e03\u3067\u304d\u307e\u3059\u3002<\/p><p> OCaml \u30c4\u30fc\u30eb\u306f\u3001C \u3067\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u3055\u308c\u3066\u3044\u308b\u3044\u304f\u3064\u304b\u306e\u30e9\u30a4\u30d6\u30e9\u30ea\u3068\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9 \u30a4\u30f3\u30bf\u30d7\u30ea\u30bf\u3092\u9664\u3044\u3066\u3001\u4e3b\u306b OCaml \u3067\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u7279\u306b\u3001\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30f3\u30d1\u30a4\u30e9\u306f\u5b8c\u5168\u306b OCaml \u3067\u30b3\u30fc\u30c7\u30a3\u30f3\u30b0\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p><h3><span>\u30e1\u30e2\u30ea\u7ba1\u7406<\/span><\/h3><p>OCaml \u306f\u3001Java \u3068\u540c\u69d8\u3001\u4e16\u4ee3\u5225\u5897\u5206<span lang=\"en\" xml:lang=\"en\"><i>\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30bf\u30fc<\/i><\/span>\u306e\u304a\u304b\u3052\u3067\u30e1\u30e2\u30ea\u7ba1\u7406\u3092\u81ea\u52d5\u5316\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u306f\u95a2\u6570\u578b\u8a00\u8a9e\u306b\u7279\u5225\u306b\u9069\u5408\u3055\u308c\u3066\u3044\u308b\u305f\u3081 (\u5c0f\u3055\u306a\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306e\u5272\u308a\u5f53\u3066\/\u89e3\u653e\u304c\u9ad8\u901f\u306b\u306a\u308b\u3088\u3046\u306b\u6700\u9069\u5316\u3055\u308c\u3066\u3044\u307e\u3059)\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306b\u5927\u304d\u306a\u5f71\u97ff\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u7570\u5e38\u306a\u30e1\u30e2\u30ea\u4f7f\u7528\u72b6\u6cc1\u3067\u3082\u52b9\u679c\u3092\u7dad\u6301\u3059\u308b\u3088\u3046\u306b\u69cb\u6210\u3067\u304d\u307e\u3059\u3002<\/p><h3><span>\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9<\/span><\/h3><p>OCaml \u306f\u3001\u305d\u306e\u512a\u308c\u305f\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u306b\u3088\u308a\u3001\u5b66\u8853\u74b0\u5883\u3067\u958b\u767a\u3055\u308c\u305f\u307b\u3068\u3093\u3069\u306e\u8a00\u8a9e\u3088\u308a\u969b\u7acb\u3063\u3066\u3044\u307e\u3059\u3002\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30fc\u30c9 \u30b8\u30a7\u30cd\u30ec\u30fc\u30bf\u30fc\u306b\u3088\u3063\u3066\u5b9f\u884c\u3055\u308c\u308b\u300c\u53e4\u5178\u7684\u306a\u300d\u30ed\u30fc\u30ab\u30eb\u6700\u9069\u5316\u306b\u52a0\u3048\u3066\u3001\u8a00\u8a9e\u306e\u6a5f\u80fd\u7684\u304b\u3064\u9759\u7684\u304b\u3064\u53b3\u5bc6\u306b\u578b\u6307\u5b9a\u3055\u308c\u305f\u6027\u8cea\u306b\u3088\u3063\u3066\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u304c\u6709\u5229\u306b\u5411\u4e0a\u3057\u307e\u3059\u3002<\/p><p>\u3057\u305f\u304c\u3063\u3066\u3001\u578b\u4ed8\u3051\u60c5\u5831\u306f\u30b3\u30f3\u30d1\u30a4\u30eb\u6642\u306b<span>\u5b8c\u5168\u306b<\/span>\u6c7a\u5b9a\u3055\u308c\u3001\u30cd\u30a4\u30c6\u30a3\u30d6 \u30b3\u30fc\u30c9\u3067\u518d\u73fe\u3059\u308b\u5fc5\u8981\u304c\u306a\u3044\u305f\u3081\u3001\u5b9f\u884c\u6642\u306b\u578b\u4ed8\u3051\u30c6\u30b9\u30c8\u3092\u5b8c\u5168\u306b\u524a\u9664\u3067\u304d\u307e\u3059\u3002\u4e00\u65b9\u3001\u6a19\u6e96\u30e9\u30a4\u30d6\u30e9\u30ea\u306e\u7279\u5b9a\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u3001\u7d14\u7c8b\u95a2\u6570\u578b\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u8208\u5473\u6df1\u3044\u7279\u6027\u3092\u5229\u7528\u3057\u3066\u3044\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001set Union \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306f\u3001\u975e\u53ef\u5909\u6027\u3092\u5229\u7528\u3057\u3066\u958b\u59cb\u30bb\u30c3\u30c8\u306e\u4e00\u90e8\u3092\u518d\u5229\u7528\u3059\u308b\u305f\u3081\u3001\u547d\u4ee4\u578b\u8a00\u8a9e\u3088\u308a\u3082\u6f38\u8fd1\u7684\u306b\u9ad8\u901f\u306b\u306a\u308a\u307e\u3059\u3002\u51fa\u529b<span><a href=\"https:\/\/science-hub.click\/?p=57227\">\u30bb\u30c3\u30c8<\/a><\/span>\u3092\u69cb\u6210\u3057\u307e\u3059 (\u3053\u308c\u306f\u6c38\u7d9a\u7684\u306a\u30c7\u30fc\u30bf\u69cb\u9020\u306e<span lang=\"en\" xml:lang=\"en\"><i>\u30d1\u30b9 \u30b3\u30d4\u30fc<\/i><\/span>\u624b\u6cd5\u3067\u3059)\u3002<\/p><p>\u6b74\u53f2\u7684\u306b\u3001\u95a2\u6570\u578b\u8a00\u8a9e\u306f\u3001\u52b9\u7387\u7684\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u3059\u308b\u65b9\u6cd5\u304c\u5206\u304b\u3089\u306a\u3044\u6982\u5ff5 (\u30e1\u30e2\u30ea \u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u3001\u90e8\u5206\u7684\u306a\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306a\u3069) \u306e\u5b9f\u88c5\u3092\u81ea\u7136\u306b\u5fc5\u8981\u3068\u3059\u308b\u305f\u3081\u3001\u4e00\u90e8\u306e\u30d7\u30ed\u30b0\u30e9\u30de\u306b\u306f\u9045\u3044\u3068\u8003\u3048\u3089\u308c\u3066\u304d\u307e\u3057\u305f\u3002\u305d\u306e\u5f8c\u3001\u30b3\u30f3\u30d1\u30a4\u30eb\u6280\u8853\u306e\u9032\u6b69\u306b\u3088\u308a\u3001\u547d\u4ee4\u578b\u8a00\u8a9e\u306e\u5f53\u521d\u306e\u5229\u70b9\u3092\u4e0a\u56de\u308b\u3053\u3068\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3057\u305f\u3002 OCaml \u306f\u3001\u8a00\u8a9e\u306e\u3053\u308c\u3089\u306e\u90e8\u5206\u3092\u52b9\u7387\u7684\u306b\u6700\u9069\u5316\u3057\u3001\u95a2\u6570\u578b\u8a00\u8a9e\u306e\u983b\u7e41\u306a\u5272\u308a\u5f53\u3066\u306b\u9069\u5fdc\u3057\u305f\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30bf\u30fc\u3092\u5b9f\u88c5\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001 <span><a href=\"https:\/\/science-hub.click\/?p=86717\">\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0<\/a><\/span>\u306e\u65b0\u305f\u306a\u52b9\u7387\u6027\u3092\u5b9f\u8a3c\u3057\u305f\u6700\u521d\u306e\u95a2\u6570\u578b\u8a00\u8a9e\u306e 1 \u3064\u3067\u3059\u3002<\/p><p>\u4e00\u822c\u306b\u3001\u5b9f\u884c\u901f\u5ea6\u306f C \u306e\u540c\u7b49\u306e\u30b3\u30fc\u30c9\u3088\u308a\u3082\u308f\u305a\u304b\u306b\u9045\u304f\u306a\u308a\u307e\u3059\u3002Xavier Leroy \u306f\u614e\u91cd\u306b\u300c\u5408\u7406\u7684\u306a C \u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u5c11\u306a\u304f\u3068\u3082 50% \u306e\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u300d\u306b\u3064\u3044\u3066\u8a9e\u3063\u3066\u3044\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u4e88\u6e2c\u306f\u305d\u306e\u5f8c\u3001\u591a\u6570\u306e\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u306b\u3088\u3063\u3066\u78ba\u8a8d\u3055\u308c\u307e\u3057\u305f\u3002\u5b9f\u969b\u306b\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u901a\u5e38\u3001\u3053\u306e\u7bc4\u56f2\u5185 (C \u30b3\u30fc\u30c9\u306e 1 \uff5e 2 \u500d) \u306b\u53ce\u307e\u308a\u307e\u3059\u304c\u3001\u4e21\u65b9\u5411\u306b\u6975\u7aef\u306a\u5834\u5408\u3082\u3042\u308a\u307e\u3059 (\u5834\u5408\u306b\u3088\u3063\u3066\u306f C \u3088\u308a\u3082\u9ad8\u901f\u306b\u306a\u308b\u3053\u3068\u3082\u3042\u308a\u307e\u3059\u304c\u3001\u30ac\u30d9\u30fc\u30b8 \u30b3\u30ec\u30af\u30bf\u30fc\u3068\u306e\u4e0d\u5e78\u306a<span><a href=\"https:\/\/science-hub.click\/?p=24860\">\u3084\u308a\u53d6\u308a<\/a><\/span>\u306b\u3088\u3063\u3066\u5927\u5e45\u306b\u9045\u304f\u306a\u308b\u5834\u5408\u3082\u3042\u308a\u307e\u3059)\u3002\u3044\u305a\u308c\u306e\u5834\u5408\u3067\u3082\u3001Python\u3001 <span><a href=\"https:\/\/science-hub.click\/?p=46810\">Ruby<\/a><\/span> <span title=\"\u3053\u306e\u4e00\u7bc0\u306b\u306f\u53c2\u7167\u304c\u5fc5\u8981\u3067\u3059\u3002\">\u3001\u3055\u3089\u306b\u306f .NET \u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u8a00\u8a9e\u306a\u3069\u3001<\/span>\u30cd\u30a4\u30c6\u30a3\u30d6\u306b\u30b3\u30f3\u30d1\u30a4\u30eb\u3067\u304d\u306a\u3044\u307b\u3068\u3093\u3069\u306e\u8a00\u8a9e\u3088\u308a\u3082\u9ad8\u901f\u3067\u3059\u3002<\/p><p>\u30b3\u30fc\u30c9\u306e\u69cb\u9020\u306b\u95a2\u3057\u3066\u306f\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306e<span><a href=\"https:\/\/science-hub.click\/?p=30784\">\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u3092<\/a><\/span>\u5f37\u8abf\u3057\u305f\u308a\u6b63\u3057\u304f\u69cb\u6210\u3057\u305f\u308a\u3067\u304d\u308b\u30e2\u30b8\u30e5\u30fc\u30eb\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002\u9759\u7684\u578b\u4ed8\u3051\u3067\u306f\u3001\u3053\u308c\u306f<span title=\"\u30ed\u30fc\u30de\u6570\u5b57\u3067\u66f8\u304b\u308c\u305f\u6570\u5b57\">21<\/span><sup>\u4e16\u7d00\u306e<\/sup>\u30d7\u30ed\u30b0\u30e9\u30de\u30fc\u306b\u3068\u3063\u3066\u4e0d\u53ef\u6b20\u306a\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\u3067\u3042\u308a\u3001\u5b9f\u884c\u901f\u5ea6\u306f\u4e8c\u6b21\u7684\u306a\u57fa\u6e96\u306b\u306a\u308a\u307e\u3059\u3002<\/p><\/div><h2 class=\"ref_link\">\u53c2\u8003\u8cc7\u6599<\/h2><ol><li><a class=\"notranslate\" href=\"https:\/\/ar.wikipedia.org\/wiki\/%D9%84%D8%BA%D8%A9_%D9%83%D8%A7%D9%85%D9%84_%D8%A7%D9%84%D9%85%D9%88%D8%B6%D9%88%D8%B9%D9%8A%D8%A9\">\u0644\u063a\u0629 \u0643\u0627\u0645\u0644 \u0627\u0644\u0645\u0648\u0636\u0648\u0639\u064a\u0629 \u2013 arabe<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/az.wikipedia.org\/wiki\/OCaml\">OCaml \u2013 azerba\u00efdjanais<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/ca.wikipedia.org\/wiki\/OCaml\">OCaml \u2013 catalan<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/cs.wikipedia.org\/wiki\/OCaml\">OCaml \u2013 tch\u00e8que<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/da.wikipedia.org\/wiki\/OCaml\">OCaml \u2013 danois<\/a><\/li><li> <a class=\"notranslate\" href=\"https:\/\/de.wikipedia.org\/wiki\/OCaml\">OCaml \u2013 allemand<\/a><\/li><\/ol><\/div>\n<div class=\"feature-video\">\n <h2>\n  Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac\u30fb\u95a2\u9023\u52d5\u753b\n <\/h2>\n <div class=\"video-item\">\n  \n  <figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-16-9 wp-has-aspect-ratio\">\n   <div class=\"wp-block-embed__wrapper\">\n    <iframe loading=\"lazy\" title=\"\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u6b74\u53f2\u3010\u8a02\u6b63\u7248\u4f5c\u6210\u4e88\u5b9a\u3011\" width=\"500\" height=\"281\" src=\"https:\/\/www.youtube.com\/embed\/jBksc8SdUF8?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen><\/iframe>\n   <\/div>\n  <\/figure>\n  \n <\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u5c0e\u5165 \u5bfe\u7269\u30ec\u30f3\u30ba \u306b\u767b\u5834 1987\u5e74\uff08CAML\uff09\u30011996\u5e74\uff08OCaml\uff09 \u958b\u767a\u8005 \u30a4\u30f3\u30ea\u30a2 \u6700\u65b0\u30d0\u30fc\u30b8\u30e7\u30f3 3.12.0 [+\/-] \u30d1\u30e9\u30c0\u30a4\u30e0 \u30de\u30eb\u30c1\u30d1\u30e9\u30c0\u30a4\u30e0: \u547d\u4ee4\u578b\u3001\u95a2\u6570\u578b\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411 \u30bf\u30a4\u30d4\u30f3\u30b0 \u9a12\u3005\u3057 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":26781,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"https:\/\/img.youtube.com\/vi\/T_ru-o_7nWk\/0.jpg","fifu_image_alt":" Objective Caml\u306b\u3064\u3044\u3066\u8a73\u3057\u304f\u89e3\u8aac","footnotes":""},"categories":[5],"tags":[28207,11,13,14,10,12,28206,28205,8,16,15,9],"class_list":["post-26780","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-dictionary","tag-caml","tag-techniques","tag-technologie","tag-news","tag-actualite","tag-dossier","tag-objective","tag-objective-caml","tag-definition","tag-sciences","tag-article","tag-explications"],"_links":{"self":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts\/26780"}],"collection":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=26780"}],"version-history":[{"count":0,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/posts\/26780\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=\/wp\/v2\/media\/26781"}],"wp:attachment":[{"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=26780"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=26780"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/science-hub.click\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=26780"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}