{"id":4892,"date":"2020-01-01T00:00:00","date_gmt":"2019-12-31T15:00:00","guid":{"rendered":"https:\/\/majisemi.com\/topics\/uncategorized\/4892\/"},"modified":"2020-01-01T00:00:00","modified_gmt":"2019-12-31T15:00:00","slug":"%e3%80%90oss%e6%83%85%e5%a0%b1%e3%82%a2%e3%83%bc%e3%82%ab%e3%82%a4%e3%83%96%e3%80%91ocaml","status":"publish","type":"post","link":"https:\/\/majisemi.com\/topics\/oss\/4892\/","title":{"rendered":"\u3010OSS\u60c5\u5831\u30a2\u30fc\u30ab\u30a4\u30d6\u3011OCaml"},"content":{"rendered":"<p><small><span style=\"border-bottom: solid 5px red;\">\u203b\u5f53\u8a18\u4e8b\u306b\u8a18\u8f09\u3055\u308c\u3066\u3044\u308b\u60c5\u5831\u306f\u3001\u53e4\u304f\u306a\u3063\u3066\u3044\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u3002\u30aa\u30d5\u30a3\u30b7\u30e3\u30eb\u30b5\u30a4\u30c8\u3067\u6700\u65b0\u60c5\u5831\u3092\u3054\u78ba\u8a8d\u304f\u3060\u3055\u3044\u3002<\/span><\/small><\/p>\n<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_82_2 counter-hierarchy ez-toc-counter ez-toc-light-blue ez-toc-container-direction\">\n<div class=\"ez-toc-title-container\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">\u30b3\u30f3\u30c6\u30f3\u30c4<\/p>\n<span class=\"ez-toc-title-toggle\"><\/span><\/div>\n<nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-1'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/majisemi.com\/topics\/oss\/4892\/#%E3%80%8COCaml%E3%80%8D%E3%81%A8%E3%81%AF\" >\u300cOCaml\u300d\u3068\u306f<\/a><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><ul class='ez-toc-list-level-3' ><li class='ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/majisemi.com\/topics\/oss\/4892\/#%E5%9F%BA%E6%9C%AC%E6%83%85%E5%A0%B1_%E6%A6%82%E8%A6%81_OCaml%E3%82%AA%E3%83%BC%E3%82%AD%E3%83%A3%E3%83%A0%E3%83%AB%E3%81%A8%E3%81%AF%E3%80%81%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91%E3%82%92%E5%8F%96%E3%82%8A%E5%85%A5%E3%82%8C%E3%81%9F%E9%96%A2%E6%95%B0%E5%9E%8B%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%E3%81%A7%E3%81%99%E3%80%82%E8%A8%80%E8%AA%9E%E7%90%86%E8%AB%96%E7%A0%94%E7%A9%B6%E3%81%AE%E6%88%90%E6%9E%9C%E3%81%8C%E5%8F%96%E3%82%8A%E5%85%A5%E3%82%8C%E3%82%89%E3%82%8C%E3%81%A6%E3%81%8A%E3%82%8A%E3%80%81%E9%AB%98%E4%BF%A1%E9%A0%BC%E3%81%A7%E7%B0%A1%E6%BD%94%E3%81%AA%E3%82%B3%E3%83%BC%E3%83%89%E3%82%92%E8%A8%98%E8%BF%B0%E3%81%A7%E3%81%8D%E3%81%BE%E3%81%99%E3%80%82%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%E3%80%8CML%E3%80%8D%E3%81%8B%E3%82%89%E6%B4%BE%E7%94%9F%E3%81%97%E3%81%A6%E3%81%84%E3%81%BE%E3%81%99%E3%80%82_%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0%E8%A8%80%E8%AA%9E%E3%80%8CMLMeta_Language%E3%80%8D%E3%81%A8%E3%81%AF\" >\u57fa\u672c\u60c5\u5831\n\u6982\u8981\nOCaml(\u30aa\u30fc\u30ad\u30e3\u30e0\u30eb)\u3068\u306f\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u3092\u53d6\u308a\u5165\u308c\u305f\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3059\u3002\u8a00\u8a9e\u7406\u8ad6\u7814\u7a76\u306e\u6210\u679c\u304c\u53d6\u308a\u5165\u308c\u3089\u308c\u3066\u304a\u308a\u3001\u9ad8\u4fe1\u983c\u3067\u7c21\u6f54\u306a\u30b3\u30fc\u30c9\u3092\u8a18\u8ff0\u3067\u304d\u307e\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300cML\u300d\u304b\u3089\u6d3e\u751f\u3057\u3066\u3044\u307e\u3059\u3002\n\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300cML(Meta Language)\u300d\u3068\u306f<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-3'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/majisemi.com\/topics\/oss\/4892\/#%E4%B8%BB%E3%81%AA%E7%89%B9%E5%BE%B4_%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91\" >\u4e3b\u306a\u7279\u5fb4\n\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411<\/a><\/li><\/ul><\/li><\/ul><\/li><\/ul><\/nav><\/div>\n<h1 class=\"h1Custom\"><span class=\"ez-toc-section\" id=\"%E3%80%8COCaml%E3%80%8D%E3%81%A8%E3%81%AF\"><\/span>\u300cOCaml\u300d\u3068\u306f<span class=\"ez-toc-section-end\"><\/span><\/h1>\n<div class=\"main-c\">\n<h3 class=\"h2smalltitle\">\u57fa\u672c\u60c5\u5831<\/h2>\n<h3 class=\"h2smalltitle\">\u6982\u8981<\/h2>\n<p><strong>OCaml<\/strong>(\u30aa\u30fc\u30ad\u30e3\u30e0\u30eb)\u3068\u306f\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u3092\u53d6\u308a\u5165\u308c\u305f\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3059\u3002\u8a00\u8a9e\u7406\u8ad6\u7814\u7a76\u306e\u6210\u679c\u304c\u53d6\u308a\u5165\u308c\u3089\u308c\u3066\u304a\u308a\u3001\u9ad8\u4fe1\u983c\u3067\u7c21\u6f54\u306a\u30b3\u30fc\u30c9\u3092\u8a18\u8ff0\u3067\u304d\u307e\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300cML\u300d\u304b\u3089\u6d3e\u751f\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300cML(Meta Language)\u300d\u3068\u306f<\/h3>\n<p>\u300cML(Meta Language)\u300d\u306f\u3001\u300c\u9759\u7684\u578b\u30c1\u30a7\u30c3\u30af\u3092\u884c\u3046\u578b\u4ed8\u304d\u8a00\u8a9e\u300d\u3067\u3042\u308a\u306a\u304c\u3089\u3001\u300cLisp\u306e\u3088\u3046\u306a\u67d4\u8edf\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u300d\u304c\u53ef\u80fd\u3067\u3059\u3002\u300c\u30d1\u30bf\u30fc\u30f3\u30de\u30c3\u30c1\u30f3\u30b0\u300d\u300c\u591a\u76f8\u578b\u95a2\u6570\u300d\u300c\u30e2\u30b8\u30e5\u30fc\u30eb\u300d\u306a\u3069\u306e\u7279\u5fb4\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u57fa\u672c\u8aac\u660e<\/h3>\n<p>OCaml\u306f\u3001\u300cML\u300d\u8a00\u8a9e\u3092\u30d9\u30fc\u30b9\u3068\u3057\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u7684\u8981\u7d20\u304c\u8ffd\u52a0\u3055\u308c\u305f\u95a2\u6570\u578b\u8a00\u8a9e\u3067\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u7d4c\u7def<\/h3>\n<p>OCaml\u306f\u3001\u30d5\u30e9\u30f3\u30b9\u306eINRIA(\u30d5\u30e9\u30f3\u30b9\u56fd\u7acb\u60c5\u5831\u5b66\u81ea\u52d5\u5236\u5fa1\u7814\u7a76\u6240)\u3067\u958b\u767a\u3055\u308c\u305f\u8a00\u8a9e\u3067\u3059\u3002<\/p>\n<p>\u300cOCaml\u300d\u306f\u300cObjective Categorical Abstract Machine Language\u300d\u306e\u7565\u79f0\u540d\u3067\u3059\u3002<\/p>\n<p>\u304b\u3064\u3066\u306f\u300cObjective Caml\u300d\u3068\u3044\u3046\u540d\u524d\u3067\u3057\u305f\u304c\u3001\u300cOCaml\u300d\u306b\u6539\u540d\u3055\u308c\u307e\u3057\u305f\u3002<\/p>\n<h3 class=\"h2smalltitle\"><span class=\"ez-toc-section\" id=\"%E4%B8%BB%E3%81%AA%E7%89%B9%E5%BE%B4_%E3%82%AA%E3%83%96%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E6%8C%87%E5%90%91\"><\/span>\u4e3b\u306a\u7279\u5fb4<\/h2>\n<h4 class=\"subtitle-h4\">\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411<span class=\"ez-toc-section-end\"><\/span><\/h3>\n<p>\u300c\u95a2\u6570\u578b\u300d\u3068\u300c\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u300d\u306e\u4e21\u65b9\u306e\u7279\u5fb4\u3092\u4f75\u305b\u6301\u3061\u307e\u3059\u3002<\/p>\n<p>\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u3092\u5229\u7528\u3057\u3066\u3001\u7834\u58ca\u7684\u64cd\u4f5c\u3092\u4f34\u3046\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u5bb9\u6613\u306b\u66f8\u3051\u3066\u3057\u307e\u3046\u4e00\u9762\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u9ad8\u4fe1\u983c\/\u7c21\u6f54\u30b3\u30fc\u30c9<\/h3>\n<p>\u578b\u5b89\u5168\u306a\u9759\u7684\u578b\u30b7\u30b9\u30c6\u30e0\u3092\u57fa\u76e4\u306b\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u30d0\u30b0\u306e\u5c11\u306a\u3044\u9ad8\u4fe1\u983c\u306a\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u4f5c\u6210\u3067\u304d\u307e\u3059\u3002<\/p>\n<p>\u300c\u578b\u63a8\u8ad6\u300d\u300c\u4ee3\u6570\u7684\u30c7\u30fc\u30bf\u578b\u300d\u300c\u30e2\u30b8\u30e5\u30fc\u30eb\u30b7\u30b9\u30c6\u30e0\u300d\u300c\u591a\u76f8\u30d0\u30ea\u30a2\u30f3\u30c8\u300d\u300c\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u300d\u300c\u7b2c\u4e00\u7d1a\u30e2\u30b8\u30e5\u30fc\u30eb\u300d\u300cGADT\u300d\u306a\u3069\u306e\u3055\u307e\u3056\u307e\u306a\u6a5f\u80fd\u3092\u5229\u7528\u3057\u3066\u3001\u6574\u7406\u3055\u308c\u305f\u7c21\u6f54\u306a\u30b3\u30fc\u30c9\u3092\u8a18\u8ff0\u3067\u304d\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u9ad8\u901f\u6027<\/h3>\n<p>\u95a2\u6570\u578b\u8a00\u8a9e\u3068\u3057\u3066\u306f\u304b\u306a\u308a\u9ad8\u901f\u306b\u52d5\u4f5c\u3057\u307e\u3059\u3002gcc\u3067\u30b3\u30f3\u30d1\u30a4\u30eb\u3055\u308c\u305fC\u8a00\u8a9e\u3068\u540c\u7b49\u7a0b\u5ea6\u3068\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u30b3\u30f3\u30d1\u30a4\u30e9<\/h3>\n<p>\u300c\u30d0\u30c3\u30c1\u30b3\u30f3\u30d1\u30a4\u30e9\u300d\u306f\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u30b3\u30f3\u30d1\u30a4\u30eb\u3057\u3066\u5b9f\u884c\u53ef\u80fd\u30d5\u30a1\u30a4\u30eb\u3092\u751f\u6210\u3057\u307e\u3059\u3002\u30d0\u30a4\u30c8\u30b3\u30fc\u30c9\u5909\u63db\u7528\u30b3\u30f3\u30d1\u30a4\u30e9\u300cocamlc\u300d\/\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30fc\u30c9\u5909\u63db\u7528\u30b3\u30f3\u30d1\u30a4\u30e9\u300cocamlopt\u300d\u306e2\u7a2e\u985e\u304c\u7528\u610f\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30fc\u30c9\u5909\u63db\u7528\u30b3\u30f3\u30d1\u30a4\u30e9\u300cocamlopt\u300d\u306f\u3001x86\/x86-64\/ARM\/PowerPC\u306a\u3069\u3001\u591a\u6570\u306e\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u30cd\u30a4\u30c6\u30a3\u30d6\u30b3\u30fc\u30c9\u3092\u51fa\u529b\u3067\u304d\u307e\u3059\u3002Android\/iOS\u5411\u3051\u306e\u30af\u30ed\u30b9\u30b3\u30f3\u30d1\u30a4\u30eb\u3082\u53ef\u80fd\u3067\u3059\u3002<\/p>\n<p>\u300c\u5bfe\u8a71\u5f0f\u30b3\u30f3\u30d1\u30a4\u30e9\u300d\u3082\u5229\u7528\u3067\u304d\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u9ad8\u968e\u95a2\u6570(higher-order function)<\/h3>\n<p>\u300c\u95a2\u6570\u3092\u4ed6\u306e\u95a2\u6570\u3078\u306e\u5f15\u6570\u3068\u3057\u3066\u6e21\u3059\u300d\u300c\u7d50\u679c\u3068\u3057\u3066\u95a2\u6570\u3092\u53d7\u3051\u53d6\u308b\u300d\u306a\u3069\u304c\u53ef\u80fd\u3067\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u30d1\u30bf\u30fc\u30f3\u30de\u30c3\u30c1\u30f3\u30b0(pattern matching)<\/h3>\n<p>\u5ba3\u8a00\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30b5\u30dd\u30fc\u30c8\u3092\u5229\u7528\u3067\u304d\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u9759\u7684\u578b\u30b7\u30b9\u30c6\u30e0(static type system)<\/h3>\n<p>\u578b\u5b89\u5168\u6027\u3092\u9ad8\u3081\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u591a\u76f8\u578b\u30b7\u30b9\u30c6\u30e0(polymorphic type system)<\/h3>\n<p>\u300c\u30d7\u30ed\u30b0\u30e9\u30e0\u4e2d\u306e1\u3064\u306e\u5f0f\u306b\u8907\u6570\u306e\u578b\u3092\u5272\u308a\u5f53\u3066\u308b\u300d\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\u3002\u30b3\u30fc\u30c9\u518d\u5229\u7528\u6027\u3092\u9ad8\u3081\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u578b\u63a8\u8ad6(type inference)<\/h3>\n<p>\u7169\u96d1\u306a\u578b\u5ba3\u8a00\u3092\u7701\u7565\u3067\u304d\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u30e2\u30b8\u30e5\u30fc\u30eb\u30fb\u30b7\u30b9\u30c6\u30e0(module system)<\/h3>\n<p>\u300c\u5206\u5272\u30b3\u30f3\u30d1\u30a4\u30eb\u300d\u300c\u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u306b\u3088\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u90e8\u54c1\u9593\u306e\u60c5\u5831\u96a0\u853d\u300d\u300c\u8a00\u8a9e\u306b\u65b0\u305f\u306a\u57fa\u672c\u30c7\u30fc\u30bf\u578b\u3092\u52a0\u3048\u308b\u3088\u3046\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u300d\u304c\u53ef\u80fd\u3067\u3059\u3002<\/p>\n<p>\u30d1\u30e9\u30e1\u30fc\u30bf\u3092\u6301\u3064\u30e2\u30b8\u30e5\u30fc\u30eb\u300c\u30d5\u30a1\u30f3\u30af\u30bf(functor)\u300d\u306b\u3088\u308a\u3001\u518d\u5229\u7528\u6027\u3092\u9ad8\u3081\u3089\u308c\u307e\u3059\u3002<\/p>\n<h4 class=\"subtitle-h4\">\u30ac\u30d9\u30fc\u30b8\u30b3\u30ec\u30af\u30b7\u30e7\u30f3(garbage collection)<\/h3>\n<p>\u81ea\u52d5\u30e1\u30e2\u30ea\u7ba1\u7406\u304c\u884c\u308f\u308c\u307e\u3059\u3002\u30a8\u30f3\u30b8\u30cb\u30a2\u304c\u30e1\u30e2\u30ea\u7ba1\u7406\u306b\u60a9\u307e\u3055\u308c\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<h3 class=\"h2smalltitle\">\u540c\u69d8\u88fd\u54c1<\/h2>\n<p>\u540c\u69d8\u306a\u6a5f\u80fd\u3092\u63d0\u4f9b\u3059\u308b\u88fd\u54c1\u3068\u3057\u3066\u3001\u6b21\u306e\u3088\u3046\u306a\u3082\u306e\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<p>\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u88fd\u54c1\uff1a\u300c<a href=\"http:\/\/www.ossnews.jp\/oss_info\/F_sharp\" target=\"jumpsite\" rel=\"nofollow noopener\">F#<\/a>\u300d\u300c<a href=\"http:\/\/www.ossnews.jp\/oss_info\/Scala\" target=\"jumpsite\" rel=\"nofollow noopener\">Scala<\/a>\u300d\u300cLisp\u300d\u306a\u3069\u3002<\/p>\n<h3 class=\"h2smalltitle\">\u5c0e\u5165\u4e8b\u4f8b<\/h2>\n<p>\u95a2\u6570\u578b\u8a00\u8a9e\u3068\u3057\u3066\u306f\u6bd4\u8f03\u7684\u591a\u304f\u306e\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u958b\u767a\u306b\u5229\u7528\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<p>\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\/\u30b3\u30f3\u30d1\u30a4\u30e9\u5b9f\u88c5\u300cHaxe\u300d\u3001C\u8a00\u8a9e\u7528\u30d7\u30ed\u30b0\u30e9\u30e0\u89e3\u6790\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u300cFrama-c\u300d\u306a\u3069\u3078\u306e\u63a1\u7528\u5b9f\u7e3e\u304c\u3042\u308a\u307e\u3059\u3002<\/p>\n<h3 class=\"h2smalltitle\">\u30e9\u30a4\u30bb\u30f3\u30b9\u60c5\u5831<\/h2>\n<p>OCaml\u306e\u30e9\u30a4\u30bb\u30f3\u30b9\u306f\u300cQ Public License\u300d\u3067\u3059\u3002\u3053\u306e\u30e9\u30a4\u30bb\u30f3\u30b9\u306b\u5f93\u3046\u3053\u3068\u3092\u6761\u4ef6\u3068\u3057\u3066\u3001\u30bd\u30fc\u30b9\u30b3\u30fc\u30c9\u306e\u6539\u5909\u3068\u516c\u958b\u304c\u8a31\u53ef\u3055\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n<h3 class=\"h2smalltitle\">\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9<\/h2>\n<p><a href=\"http:\/\/caml.inria.fr\/download.en.html\" target=\"jumpsite\" rel=\"nofollow noopener\">\u30c0\u30a6\u30f3\u30ed\u30fc\u30c9\u30da\u30fc\u30b8<\/a><\/p>\n<p class=\"text80\">\u203b\u5b9a\u671f\u7684\u306b\u30e1\u30f3\u30c6\u30ca\u30f3\u30b9\u3092\u5b9f\u65bd\u3057\u3066\u304a\u308a\u307e\u3059\u304c\u3001\u4e00\u90e8\u60c5\u5831\u304c\u53e4\u3044\u5834\u5408\u304c\u3054\u3056\u3044\u307e\u3059\u3002\u3054\u4e86\u627f\u304f\u3060\u3055\u3044\u3002<\/p>\n<\/div>\n<p><!-- main-c--><\/p>\n","protected":false},"excerpt":{"rendered":"<p>OCaml(\u30aa\u30fc\u30ad\u30e3\u30e0\u30eb)\u3002\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u3092\u53d6\u308a\u5165\u308c\u305f\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u3059\u3002\u8a00\u8a9e\u7406\u8ad6\u7814\u7a76\u306e\u6210\u679c\u304c\u53d6\u308a\u5165\u308c\u3089\u308c\u3066\u304a\u308a\u3001\u9ad8\u4fe1\u983c\u3067\u7c21\u6f54\u306a\u30b3\u30fc\u30c9\u3092\u8a18\u8ff0\u3067\u304d\u307e\u3059\u3002\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300cML\u300d\u304b\u3089\u6d3e\u751f\u3057\u3066\u3044\u307e\u3059\u3002<\/p>\n","protected":false},"author":4,"featured_media":3972,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[243],"tags":[560],"class_list":["post-4892","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oss","tag-ocaml"],"acf":[],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/posts\/4892","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/comments?post=4892"}],"version-history":[{"count":0,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/posts\/4892\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/media\/3972"}],"wp:attachment":[{"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/media?parent=4892"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/categories?post=4892"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/majisemi.com\/topics\/wp-json\/wp\/v2\/tags?post=4892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}