\u7c21\u5358\u306bAda\u8a00\u8a9e\u306e\u6b74\u53f2\u3092\u632f\u308a\u8fd4\u308a\u307e\u3059\uff0e<\/p>\n
\u30d7\u30ed\u30b0\u30e9\u30e0\u8a00\u8a9e\u306e\u958b\u767a\u306f\uff0c\u7279\u5b9a\u306e\u4eba\u304c\u958b\u59cb\u3059\u308b\u5834\u5408\u3082\u3042\u308c\u3070\uff0c\u7279\u5b9a\u306e\u7d44\u7e54\u304c\u59cb\u3081\u308b\u5834\u5408\u3082\u3042\u308a\u307e\u3059\uff0eAda \u8a00\u8a9e\u306f\u5f8c\u8005\u3067\uff0c\u7d44\u7e54\u3060\u3063\u305f\u5834\u5408\u306b\u751f\u3058\u304c\u3061\u306a\u7279\u6027\u304c\u3042\u308a\u307e\u3059\uff08\u4f8b\u3048\u3070\uff0c\u4ed5\u69d8\u306e\u30b5\u30a4\u30ba\u304c\u5927\u304d\u3044\uff09\uff0e<\/p>\n
\u30b9\u30bf\u30fc\u30c8\u306f\uff0c\u7c73\u56fd\u306e\u56fd\u9632\u7dcf\u7701\u304c\uff0c\u642d\u8f09\u7528\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u8a00\u8a9e\u3092\u7d71\u4e00\u5316\u3057\u305f\u3044\u3068\u3044\u3046\u671b\u307f\u304b\u3089\u59cb\u307e\u3063\u3066\u3044\u307e\u3059\uff0e\u30d5\u30e9\u30f3\u30b9\u306e\u30c1\u30fc\u30e0\u304c\u5fdc\u52df\u3057\uff08\u63a1\u7528\u3055\u308c\uff09\uff0c\u5e7e\u3064\u304b\u30c9\u30e9\u30d5\u30c8\u304c\u4f5c\u3089\u308c\u307e\u3057\u305f\uff0e\u6700\u7d42\u306e\u30c9\u30e9\u30d5\u30c8\u306f\u9244\u306e\u4eba\uff08Steelman\uff09\u3068\u547c\u3070\u308c\uff0c\u4eca\u3067\u3082\u8aad\u3080\u3053\u3068\u304c\u3067\u304d\u307e\u30591<\/a><\/sup>\uff0e<\/p>\n 1983\u5e74\u306b\uff0c\u307b\u307c\u73fe\u5728\u3068\u540c\u3058\u5f62\u3067\u4ed5\u69d8\u304c\u5b9a\u307e\u308a(MIL\u898f\u683c\u304a\u3088\u3073ANSI\u898f\u683c\uff09\uff0cAda\u3068\u3044\u3046\u540d\u524d\u3092\u4e0e\u3048\u3089\u308c\u307e\u3059\uff0eAda\u306f\uff0c\u6700\u521d\u306e\u30d7\u30ed\u30b0\u30e9\u30de\u3068\u4e91\u308f\u308c\u3066\u3044\u308b\u00a0Ada Lovelace<\/a> (1815-52) \u306b\u56e0\u3093\u3067\u540d\u4ed8\u3051\u3089\u308c\u3066\u3044\u307e\u3059\uff0e\u8a69\u4eba\u3067\u3042\u308a\u4f5c\u5bb6\uff08\u300c\u6d77\u8cca\u300d\u306f\u7d20\u6674\u3089\u3057\u3044\uff09\u306e\u30d0\u30a4\u30ed\u30f3\u537f\u306e\u4e00\u4eba\u5a18\u3067\u3059\uff0e\u3053\u306e\u3053\u3068\u3082\u3042\u308a\uff0cAda \u95a2\u9023\u306e\u30b5\u30a4\u30c8\u306b\u306f\u5f7c\u5973\u306e\u8096\u50cf\u304c\u3042\u308a\u307e\u3059\uff0e\u672c\u4eba\u306b\u306f\u307e\u3063\u305f\u304f\u60f3\u50cf\u3067\u304d\u306a\u304b\u3063\u305f\u3053\u3068\u3067\u3057\u3087\u3046\uff0e<\/p>\n 1987\u5e74\u306bISO\u898f\u683c\u3068\u306a\u308a\uff0c1995\u5e74\u306b\u6700\u521d\u306e\u6539\u8a02\u304c\u884c\u308f\u308c\u307e\u3059\uff0e\u305d\u306e\u5f8c\uff0c2005\u5e74\u30682012\u5e74\u306b\u3082\u6539\u8a02\u304c\u884c\u308f\u308c\uff0cAda 2012 \u3068\u547c\u3070\u308c\u308b\u3082\u306e\u304c\u6700\u65b0\u306b\u306a\u308a\u307e\u30592<\/a><\/sup>\uff0e<\/p>\n \u6b74\u53f2\u3092\u632f\u308a\u8fd4\u3063\u305f\u6642\u306b\uff0c2\u3064\u306e\u6ce8\u76ee\u3059\u3079\u304d\u70b9\u304c\u3042\u308a\u307e\u3059\uff0e<\/p>\n \u4e00\u3064\u76ee\u306f\uff0c\u3069\u306e\u74b0\u5883\u3067\u3082\u540c\u69d8\u306b\u52d5\u4f5c\u3059\u308b\u3053\u3068\u3092\u76ee\u6307\u3057\u3066\u3044\u305f\u3068\u3044\u3046\u3053\u3068\u3067\u3059\uff0e\u305d\u306e\u305f\u3081\uff0c\u30bf\u30b9\u30af\u6a5f\u69cb\u3068\u3044\u3063\u305f\u672c\u6765\u306fOS\u5074\u3067\u7528\u610f\u3055\u308c\u308b\u6a5f\u80fd\u3082\u8a00\u8a9e\u30ec\u30d9\u30eb\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\uff0e\u307e\u305f\uff0c\u4ee5\u524d\u306b\u306f\uff0cACVC (Ada Compiler Validation Capability)<\/a> \u3068\u3044\u3046\u691c\u5b9a\u5236\u5ea6\u304c\u3042\u308a\u307e\u3057\u305f\uff0e\u74b0\u5883\u3068\u30b3\u30f3\u30d1\u30a4\u30e9\u306e\u30bb\u30c3\u30c8\u3067\uff0c\u5b9a\u3081\u3089\u308c\u305f\u30c6\u30b9\u30c8\u3092\u884c\u3044\u307e\u3059\uff0e\u305d\u306e\u30c6\u30b9\u30c8\u306b\u901a\u3063\u3066\uff0c\u521d\u3081\u3066 Ada \u30b3\u30f3\u30d1\u30a4\u30e9\u3068\u540d\u4e57\u308b\u3053\u3068\u304c\u51fa\u6765\u307e\u3057\u305f\uff0e<\/p>\n Ada \u304c\u76ee\u6307\u3057\u305f\u306e\u306f\uff0c\u5358\u306a\u308b\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3068\u306a\u308b\u3053\u3068\u3067\u306f\u306a\u3044\uff0c\u3068\u3044\u3046\u306e\u304c2\u70b9\u76ee\u3067\u3059\uff0e<\/p>\n \u9ad8\u3044\u4fe1\u983c\u6027\u3092\u6301\u3064\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3092\u4f5c\u308b\u305f\u3081\u306b\u306f\uff0c\u305d\u306e\u524d\u306e\u4ed5\u69d8\u3084\u8a2d\u8a08\u306e\u8a18\u8ff0\u3092\u304d\u3061\u3093\u3068\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3068\u3044\u3046\u306e\u306f\uff0c\u4e00\u822c\u7684\u306a\u4e86\u89e3\u3068\u601d\u3044\u307e\u3059\uff0eAda \u306e\u4ed5\u69d8\u7b56\u5b9a\u3067\u3082\u305d\u306e\u3053\u3068\u304c\u610f\u8b58\u3055\u308c\u3066\u3044\u307e\u3057\u305f\uff0e\u4f8b\u3048\u3070\uff0c\u57fa\u672c\u8981\u7d20\u3067\u3042\u308b\u30d1\u30c3\u30b1\u30fc\u30b8\u306b\u304a\u3044\u3066\uff0c\u4ed5\u69d8\u90e8\u3068\u30dc\u30c7\u30a3\u90e8\u304c\u5206\u96e2\u3057\u3066\u3044\u308b\u3053\u3068\u306b\u3082\u73fe\u308c\u3066\u3044\u307e\u3059\uff0e\u30dc\u30c7\u30a3\u90e8\u306b\u5148\u7acb\u3061\uff0c\u8a2d\u8a08\u306e\u7d50\u679c\u3068\u3057\u3066\uff0c\u4ed5\u69d8\u90e8\u3092\u4f5c\u6210\u3059\u308b\uff0e\u5b9f\u88c5\u6bb5\u968e\u3067\uff0c\u30dc\u30c7\u30a3\u90e8\u3092\u4f5c\u308a\uff0c\u4ed5\u69d8\u90e8\u3068\u306e\u6574\u5408\u6027\u3092\u6a5f\u68b0\u7684\u306b\u78ba\u8a8d\u3059\u308b\uff0e\u3053\u306e\u3088\u3046\u306b\uff0c\u4ed5\u69d8\u90e8\u306b\u306f\uff0c\u5358\u306a\u308b\u30d1\u30c3\u30b1\u30fc\u30b8\u3092\u8aac\u660e\u3059\u308b\u4ee5\u4e0a\u306e\u5f79\u5272\u3092\u4e0e\u3048\u3089\u308c\u3066\u3044\u307e\u3059\uff0e<\/p>\n \u6216\u3044\u306f\uff0cAPSE (Ada Programming Support Environment) 3<\/a><\/sup> \u3092\u8003\u3048\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3059\uff0eAPSE \u306f\uff0c\u305d\u306e\u540d\u306e\u901a\u308a\uff0c\u5f53\u6642\u76ee\u6307\u3057\u3066\u3044\u305f Ada \u306e\u958b\u767a\u74b0\u5883\u3067\u3059\uff0e\u73fe\u5728\u3067\u306f\uff0c\u652f\u63f4\u74b0\u5883\u3092\u8003\u3048\u308b\u3068\u3044\u3046\u306e\u306f\u4e00\u822c\u7684\u3067\u3059\uff0e\u3057\u304b\u3057\uff0c\u8a00\u8a9e\u3068\u3068\u3068\u3082\u306b\u74b0\u5883\u306b\u3064\u3044\u3066\u3082\u8003\u3048\u308b\u3068\u3044\u3046\u306e\u306f\uff0c\u672a\u3060\u5927\u4e8b\u306a\u30c6\u30fc\u30de\u306e\u4e00\u3064\u3060\u3068\u601d\u3044\u307e\u3059\uff0eAda \u306b\u5bfe\u3057\u3066\uff0c\u5f62\u5f0f\u691c\u8a3c\u6a5f\u80fd\u3092\u4ed8\u52a0\u3067\u304d\u308b SPARK \u3082\u307e\u305f\uff0c\u305d\u306e\u4f1d\u7d71\u306e\u4e2d\u3067\u751f\u307e\u308c\u3066\u3044\u308b\u3068\u601d\u3044\u307e\u3059\uff0e<\/p>\n (NIL)<\/p>\n\n \u7c21\u5358\u306bAda\u8a00\u8a9e\u306e\u6b74\u53f2\u3092\u632f\u308a\u8fd4\u308a\u307e\u3059\uff0e \u30d7\u30ed\u30b0\u30e9\u30e0\u8a00\u8a9e\u306e\u958b\u767a\u306f\uff0c\u7279\u5b9a\u306e\u4eba\u304c\u958b\u59cb\u3059\u308b\u5834\u5408\u3082\u3042\u308c\u3070\uff0c\u7279\u5b9a\u306e\u7d44\u7e54\u304c\u59cb\u3081\u308b\u5834\u5408\u3082\u3042\u308a\u307e\u3059\uff0eAda \u8a00\u8a9e\u306f\u5f8c\u8005\u3067\uff0c\u7d44\u7e54\u3060\u3063\u305f\u5834\u5408\u306b\u751f\u3058\u304c\u3061\u306a\u7279\u6027\u304c\u3042\u308a\u307e\u3059\uff08\u4f8b\u3048\u3070\uff0c\u4ed5\u69d8\u306e\u30b5\u30a4\u30ba\u304c\u5927\u304d…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[5],"tags":[],"class_list":["post-110","post","type-post","status-publish","format-standard","hentry","category-ada-language"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/pa1llS-1M","_links":{"self":[{"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/posts\/110","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ada.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=110"}],"version-history":[{"count":10,"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/posts\/110\/revisions"}],"predecessor-version":[{"id":140,"href":"https:\/\/ada.jp\/index.php?rest_route=\/wp\/v2\/posts\/110\/revisions\/140"}],"wp:attachment":[{"href":"https:\/\/ada.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=110"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ada.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=110"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ada.jp\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=110"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\ndoi: 10.1109\/32.6154 ↵<\/a><\/span><\/li>\n<\/ol>\n<\/div>","protected":false},"excerpt":{"rendered":"