[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/21336#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/21336","headline":"\u62bd\u8c61\u30c7\u30fc\u30bf\u578b-Wikipedia","name":"\u62bd\u8c61\u30c7\u30fc\u30bf\u578b-Wikipedia","description":"before-content-x4 a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b \uff08 adt \uff09\u30c7\u30fc\u30bf\u306f\u3001\u305d\u308c\u3089\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u3059\u3079\u3066\u306e\u8a31\u5bb9\u64cd\u4f5c\u306e\u5b9a\u7fa9\u3068\u3068\u3082\u306b\u30c7\u30fc\u30bf\u306e\u8907\u5408\u3067\u3059\u3002 after-content-x4 \u30a2\u30af\u30bb\u30b9\u306f\u30bb\u30c3\u30c8\u64cd\u4f5c\u3092\u4ecb\u3057\u3066\u306e\u307f\u30a2\u30af\u30bb\u30b9\u3055\u308c\u308b\u305f\u3081\u3001\u30c7\u30fc\u30bf\u306f\u5916\u5074\u306b\u30ab\u30d7\u30bb\u30eb\u5316\u3055\u308c\u307e\u3059\u3002 ADT\u304c\u8aac\u660e\u3057\u307e\u3059\u3001 \u3060\u3063\u305f \u64cd\u4f5c\u306f\uff08\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\uff09\u3067\u3059\u304c\u3001\u307e\u3060\u305d\u3046\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u304c\u3001 \u3069\u3046\u3084\u3063\u3066 \u5f7c\u3089\u306f\u305d\u308c\u3092\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff08\u5b9f\u88c5\uff09\u3002 \u30a4\u30f3\u30b5\u30fc\u30c8\u306e\u6982\u5ff5\u306f\u7570\u306a\u308b\u65b9\u6cd5\u3067\u6307\u5b9a\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u3001ADT\u306f\u3055\u307e\u3056\u307e\u306a\u65b9\u6cd5\u3067\u6ce8\u76ee\u3055\u308c\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u6700\u65b0\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001STER\u306e\u4f5c\u6210\u3092\u5177\u4f53\u7684\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002 \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001\u3053\u3053\u3067\u306e\u30c7\u30fc\u30bf\u3068\u64cd\u4f5c\u4ee5\u6765\u3001\u30af\u30e9\u30b9\u306e\u6982\u5ff5\u3092\u901a\u3058\u3066\u30a4\u30f3\u30b5\u30fc\u30c8\u306e\u4f5c\u6210\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059 \u30d0\u30a6\u30f3\u30c9 \u30c7\u30fc\u30bf\u306f\u4fdd\u8b77\u3067\u304d\u3001\u8a31\u5bb9\u64cd\u4f5c\u3092\u6c7a\u5b9a\u3067\u304d\u307e\u3059\u3002 ADA\u3084Modula-2\u306a\u3069\u306e\u3044\u304f\u3064\u304b\u306e\u30e2\u30b8\u30e5\u30e9\u30fc\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3082\u3001STE\u306e\u4f5c\u6210\u3092\u7279\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002\u539f\u5247\u3068\u3057\u3066\u3001\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306f\u30b3\u30e1\u30f3\u30c8\u30c6\u30ad\u30b9\u30c8\u3068\u3057\u3066\u8aac\u660e\u3055\u308c\u3066\u3044\u308b\u9593\u3001\u64cd\u4f5c\u306e\u30c7\u30fc\u30bf\u3068\u7f72\u540d\u3092\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u306b\u3088\u308aADT\u3092\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 after-content-x4 \u4f8b","datePublished":"2020-09-05","dateModified":"2020-09-05","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/30b1971b01bc31d5b816f03cc7e1d9215d6c2ad8","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/30b1971b01bc31d5b816f03cc7e1d9215d6c2ad8","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/21336","wordCount":7685,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b \uff08 adt \uff09\u30c7\u30fc\u30bf\u306f\u3001\u305d\u308c\u3089\u306b\u30a2\u30af\u30bb\u30b9\u3059\u308b\u3059\u3079\u3066\u306e\u8a31\u5bb9\u64cd\u4f5c\u306e\u5b9a\u7fa9\u3068\u3068\u3082\u306b\u30c7\u30fc\u30bf\u306e\u8907\u5408\u3067\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30a2\u30af\u30bb\u30b9\u306f\u30bb\u30c3\u30c8\u64cd\u4f5c\u3092\u4ecb\u3057\u3066\u306e\u307f\u30a2\u30af\u30bb\u30b9\u3055\u308c\u308b\u305f\u3081\u3001\u30c7\u30fc\u30bf\u306f\u5916\u5074\u306b\u30ab\u30d7\u30bb\u30eb\u5316\u3055\u308c\u307e\u3059\u3002 ADT\u304c\u8aac\u660e\u3057\u307e\u3059\u3001 \u3060\u3063\u305f \u64cd\u4f5c\u306f\uff08\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\uff09\u3067\u3059\u304c\u3001\u307e\u3060\u305d\u3046\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u304c\u3001 \u3069\u3046\u3084\u3063\u3066 \u5f7c\u3089\u306f\u305d\u308c\u3092\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff08\u5b9f\u88c5\uff09\u3002\u30a4\u30f3\u30b5\u30fc\u30c8\u306e\u6982\u5ff5\u306f\u7570\u306a\u308b\u65b9\u6cd5\u3067\u6307\u5b9a\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u3001ADT\u306f\u3055\u307e\u3056\u307e\u306a\u65b9\u6cd5\u3067\u6ce8\u76ee\u3055\u308c\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u6700\u65b0\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001STER\u306e\u4f5c\u6210\u3092\u5177\u4f53\u7684\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002 \u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306f\u3001\u3053\u3053\u3067\u306e\u30c7\u30fc\u30bf\u3068\u64cd\u4f5c\u4ee5\u6765\u3001\u30af\u30e9\u30b9\u306e\u6982\u5ff5\u3092\u901a\u3058\u3066\u30a4\u30f3\u30b5\u30fc\u30c8\u306e\u4f5c\u6210\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059 \u30d0\u30a6\u30f3\u30c9 \u30c7\u30fc\u30bf\u306f\u4fdd\u8b77\u3067\u304d\u3001\u8a31\u5bb9\u64cd\u4f5c\u3092\u6c7a\u5b9a\u3067\u304d\u307e\u3059\u3002ADA\u3084Modula-2\u306a\u3069\u306e\u3044\u304f\u3064\u304b\u306e\u30e2\u30b8\u30e5\u30e9\u30fc\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3082\u3001STE\u306e\u4f5c\u6210\u3092\u7279\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002\u539f\u5247\u3068\u3057\u3066\u3001\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306f\u30b3\u30e1\u30f3\u30c8\u30c6\u30ad\u30b9\u30c8\u3068\u3057\u3066\u8aac\u660e\u3055\u308c\u3066\u3044\u308b\u9593\u3001\u64cd\u4f5c\u306e\u30c7\u30fc\u30bf\u3068\u7f72\u540d\u3092\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u306b\u3088\u308aADT\u3092\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u4f8b Java\u306f\u3001\u30af\u30e9\u30b9\u3001\u62bd\u8c61\u30af\u30e9\u30b9\u3001\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u901a\u3058\u3066STES\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u307e\u3059\u3002\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3067\u306f\u3001\u64cd\u4f5c\u306e\u30c7\u30fc\u30bf\u3068\u7f72\u540d\u306e\u307f\u304c\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u5b9f\u88c5 \u6700\u521d\u306b\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3002\u4e00\u822c\u306b\u3001\u30af\u30e9\u30b9\u306f\u30c7\u30fc\u30bf\u3068\u305d\u306e\u4e0a\u3067\u8a31\u53ef\u3055\u308c\u3066\u3044\u308b\u64cd\u4f5c\u3092\u6c7a\u5b9a\u3057\u307e\u3059\u3002 \u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u306f\u3001\u3055\u307e\u3056\u307e\u306a\u4ed5\u69d8\u3067\u6307\u5b9a\u3067\u304d\u307e\u3059\u3002\u4ed5\u69d8\u306f\u3001\u64cd\u4f5c\u306e\u610f\u5473\u3068\u76f8\u4e92\u4f5c\u7528\u3092\u5b9a\u7fa9\u3059\u308b\u7f72\u540d\u3068\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u6570\u5b66\u7684\u306a\u89b3\u70b9\u304b\u3089\u3001\u305d\u308c\u306f\u7f72\u540d\u3001\u751f\u7523\u8005\u3001\u516c\u7406\u3092\u901a\u3058\u3066\u30bf\u30fc\u30b2\u30eb\u30d6\u30e9\u306e\u4ed5\u69d8\u3067\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u6700\u521d\u306e\u30bf\u30a4\u30d7\u306e\u4ed5\u69d8\u3067\u3042\u308b\u6570\u5b66\u7684\u8ef8\u6e2c\u5b9a\u304c\u751f\u3058\u307e\u3059\u3002 \u3082\u30461\u3064\u306e\u30aa\u30d7\u30b7\u30e7\u30f3\u306f\u3001\u6570\u5b66\u4ee3\u6570\u306e\u4ed5\u69d8\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306e\u6307\u5b9a\u3067\u306e\u307f\u516c\u7406\u3068\u306f\u7570\u306a\u308a\u307e\u3059\u3002\u64cd\u4f5c\u306e\u5185\u5bb9\u306f\u3001\u6570\u5b66\u7684\u624b\u6bb5\u3001\u884c\u5217\u3001\u30d9\u30af\u30c8\u30eb\u3001\u7d50\u679c\u306a\u3069\u306b\u3088\u3063\u3066\u5b9a\u7fa9\u3055\u308c\u307e\u3059\u3002 \u3055\u3089\u306b\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u306e\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3092\u6307\u5b9a\u3059\u308b\u3053\u3068\u3067\u3001\u305f\u3068\u3048\u3070Java\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u3068\u3057\u3066\u3001\u307e\u305f\u306f\u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u30c7\u30fc\u30bf\u578b\u3092\u5b9f\u88c5\u3059\u308b\u3053\u3068\u3067\u3001\u7279\u5225\u306a\u5f62\u5f0f\u306a\u3069\u3001\u7279\u5225\u306a\u5f62\u5f0f\u304c\u3042\u308a\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u3067\u306e\u5b9f\u88c5\u306f\u3001ATS\u306e\u4ed5\u69d8\u3068\u3057\u3066\u6a5f\u80fd\u3057\u3001\u6700\u7d42\u7684\u306b\u624b\u7d9a\u304d\u578b\u307e\u305f\u306f\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u8a00\u8a9e\u3067\u5b9f\u88c5\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u4ed5\u69d8\u306e\u5229\u70b9\u306f\u3001\u4ed5\u69d8\u304c\u7406\u306b\u304b\u306a\u3063\u3066\u3044\u308b\u304b\u3069\u3046\u304b\u3092\u3059\u3050\u306b\u30c6\u30b9\u30c8\u3067\u304d\u308b\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u4ed6\u306e\u30aa\u30d7\u30b7\u30e7\u30f3\u3001\u7279\u306b\u516c\u7406\u7684\u3067\u306f\u7c21\u5358\u306b\u4e0d\u53ef\u80fd\u3067\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30b9\u30c6\u30c3\u30d7\u306e\u4e0b\u306b\u7a4d\u307f\u91cd\u306d\u3089\u308c\u3066\u3044\u307e\u3059\uff08 \u30b9\u30bf\u30c3\u30af \u3001\u5f8c\u306b\u50cd\u3044\u3066\u3044\u307e\u3059 \u6700\u521d\u306e\u3046\u3061\u306e\u6700\u5f8c\u306e  &#8211; \u30d7\u30ea\u30f3\u30b9\uff09\u3068\u30ad\u30e5\u30fc\uff08 \u5217 \u3001\u5f8c\u306b\u50cd\u3044\u3066\u3044\u307e\u3059 \u5148\u5165\u5148\u51fa -prince\uff09\u4e0a\u8a18\u306e4\u3064\u306e\u4ed5\u69d8\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 Table of Contents\u30b5\u30a4\u30f3 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6570\u5b66\u7684 &#8211; \u8ef8\u65b9\u5411\u304a\u3088\u3073\u4ee3\u6570\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] Informelle\u30e1\u30bd\u30c3\u30c9\uff08Java\uff09 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\uff08Haskell\uff09\u3092\u4ecb\u3057\u305f\u4ed5\u69d8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30bb\u30de\u30f3\u30c6\u30a3\u30c3\u30af [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6570\u5b66\u7684\u8ef8\u65b9\u5411\u306e\u65b9\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6570\u5b66\u7684\u4ee3\u6570\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] Informelle\u30e1\u30bd\u30c3\u30c9\uff08Java\uff09 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\uff08Haskell\uff09\u3092\u4ecb\u3057\u305f\u4ed5\u69d8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30b5\u30a4\u30f3 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6570\u5b66\u7684 &#8211; \u8ef8\u65b9\u5411\u304a\u3088\u3073\u4ee3\u6570\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30b9\u30bf\u30c3\u30af\uff08\u3053\u3053\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\uff09\u8981\u7d20\uff08\u30b9\u30bf\u30c3\u30af\u304c\u6a5f\u80fd\u3059\u308b\u3053\u3053\u3067\u306f\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u306a\u3044ADT\uff09\u30d6\u30fc\u30eb emptystack\uff1a\u2192\u30b9\u30bf\u30c3\u30af\uff08\u7a7a\u306e\u30b9\u30bf\u30c3\u30af\u3092\u4f5c\u6210\uff09isStackEmpty\uff1a\u30b9\u30bf\u30c3\u30af\u2192\u30d6\u30fc\u30eb\uff08\u30b9\u30bf\u30c3\u30af\u304c\u7a7a\u3067\u3042\u308b\u304b\u3069\u3046\u304b\u3092\u5c0b\u306d\u307e\u3059\uff09\u30d7\u30c3\u30b7\u30e5\uff1a\u8981\u7d20\u00d7\u30b9\u30bf\u30c3\u30af\u2192\u30b9\u30bf\u30c3\u30af\uff08\u30b9\u30bf\u30c3\u30af\u306e\u4e0a\u90e8\u306b\u8981\u7d20\u3092\u8a70\u3081\u307e\u3059\uff09POP\uff1a\u30b9\u30bf\u30c3\u30af\u2192\u30b9\u30bf\u30c3\u30af\uff08\u4e0a\u90e8\u8981\u7d20\u3092\u524a\u9664\u3057\u3066\u65b0\u3057\u3044\u30b9\u30bf\u30c3\u30af\u3092\u8fd4\u3057\u307e\u3059\uff09\u4e0a\uff1a\u30b9\u30bf\u30c3\u30af\u2192\u8981\u7d20\uff08\u524a\u9664\u305b\u305a\u306b\u4e0a\u90e8\u8981\u7d20\u3092\u8fd4\u3057\u307e\u3059\uff09 \u5217\u30a8\u30ec\u30e1\u30f3\u30c8\u30d6\u30fc\u30eb emptyque\uff1a\u2192\u30ad\u30e5\u30fciscueeempty\uff1a\u30ad\u30e5\u30fc\u2192boolenqueue\uff1a\u8981\u7d20\u00d7\u30ad\u30e5\u30fc\u2192\u30ad\u30e5\u30fc\uff08\u80cc\u9762\u306b\u8981\u7d20\u3092\u8ffd\u52a0\uff09dequeue\uff1a\u30ad\u30e5\u30fc\u2192\u30ad\u30e5\u30fc\uff08\u30d5\u30ed\u30f3\u30c8\u8981\u7d20\u3092\u524a\u9664\uff09\u30d8\u30c3\u30c9\uff1a\u30ad\u30e5\u30fc\u2192\u8981\u7d20\uff08\u524a\u9664\u305b\u305a\u306b\u30d5\u30ed\u30f3\u30c8\u8981\u7d20\u3092\u8fd4\u3057\u307e\u3059\uff09 Informelle\u30e1\u30bd\u30c3\u30c9\uff08Java\uff09 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u516c\u5171  \u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9  ISTACK < \u3068 >  {  \u516c\u5171  \u30d6\u30fc\u30eb  ISTACKMPTY \uff08\uff09;  \u516c\u5171  ISTACK < \u3068 >  \u62bc\u3059 \uff08 \u3068  \u30a8\u30ec\u30e1\u30f3\u30c8 \uff09;  \u516c\u5171  ISTACK < \u3068 >  \u30dd\u30c3\u30d7 \uff08\uff09;  \u516c\u5171  \u3068  \u4e0a \uff08\uff09;  }  \u516c\u5171  \u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9  IC < \u3068 >  {  \u516c\u5171  \u30d6\u30fc\u30eb  IsqueueEmpty \uff08\uff09;  \u516c\u5171  IC < \u3068 >  enqueue \uff08 \u3068  \u30a8\u30ec\u30e1\u30f3\u30c8 \uff09;  \u516c\u5171  IC < \u3068 >  dequeue \uff08\uff09;  \u516c\u5171  \u3068  \u982d \uff08\uff09;  }  \u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\uff08Haskell\uff09\u3092\u4ecb\u3057\u305f\u4ed5\u69d8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30c7\u30fc\u30bf  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  =  \u3068  |  s  \u305d\u3046\u3067\u3059  \uff08 \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059 \uff09\uff09  ISTACKMPTY  ::  \u30b9\u30bf\u30c3\u30af  a  \u2192  \u30d6\u30fc\u30eb  \u62bc\u3059  ::  \u305d\u3046\u3067\u3059  \u2192  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  \u2192  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  \u30dd\u30c3\u30d7  ::  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  \u2192  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  \u4e0a  ::  \u30b9\u30bf\u30c3\u30af  \u305d\u3046\u3067\u3059  \u2192  \u305d\u3046\u3067\u3059  \u30c7\u30fc\u30bf  \u5217  \u305d\u3046\u3067\u3059  =  \u3068  |  Q  \uff08 \u5217  \u305d\u3046\u3067\u3059 \uff09\uff09  \u305d\u3046\u3067\u3059  IsqueueEmpty  ::  \u5217  \u305d\u3046\u3067\u3059  \u2192  \u30d6\u30fc\u30eb  enqueue :: e \u2192 Queue e \u2192 Queue edequeue :: Queue e \u2192 Queue ehead :: Queue e \u2192 e\u30bb\u30de\u30f3\u30c6\u30a3\u30c3\u30af [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \uff08\u540c\u4e00\u306e\uff09\u7f72\u540d\u3092\u3088\u308a\u8a73\u7d30\u306b\u8868\u793a\u3059\u308b\u5834\u5408\u3067\u3082\u3001\u30c7\u30fc\u30bf\u578b\u306b\u9055\u3044\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\u306e\u5b9a\u7fa9\u306b\u306f\u9055\u3044\u304c\u3042\u308a\u307e\u3059\u3002 \u6570\u5b66\u7684\u8ef8\u65b9\u5411\u306e\u65b9\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] X\uff1a\u8981\u7d20 S\uff1a\u30b9\u30bf\u30c3\u30af isstackEmpty\uff08emptyStack\uff08\uff09\uff09= true isstackEmpty\uff08push\uff08x\u3001s\uff09\uff09= false pop\uff08emptystack\uff08\uff09\uff09=\u30a8\u30e9\u30fc pop\uff08push\uff08x\u3001s\uff09\uff09= s top\uff08emptystack\uff08\uff09\uff09=\u30a8\u30e9\u30fc TOP\uff08push\uff08x\u3001s\uff09\uff09= x push\uff08top\uff08s\uff09\u3001pop\uff08s\uff09\uff09= s\u3001falls s nicht leer X\uff1a\u8981\u7d20 Q\uff1a\u30ad\u30e5\u30fc isqueueEmpty\uff08emptyqueue\uff08\uff09\uff09= true isqueueEmpty\uff08enqueue\uff08x\u3001q\uff09\uff09= false head\uff08emptyqueue\uff08\uff09\uff09=\u30a8\u30e9\u30fc head\uff08enqueue\uff08x\u3001q\uff09\uff09= isqueuempty\uff08q\uff09then x else head\uff08q\uff09 dequeue\uff08emptyqueue\uff08\uff09\uff09=\u30a8\u30e9\u30fc dequeue\uff08enqueue\uff08x\u3001q\uff09\uff09= isqueuempty\uff08q\uff09then q else enqueue\uff08x\u3001dequeue\uff08q\uff09\uff09 \u6570\u5b66\u7684\u4ee3\u6570\u6cd5 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] sets item = e\uff08my the element\uff09 \u30d0\u30c4 \u2208 \u3068 {displaystylexine} stack = s = { \u27e8 \u27e9 } \u222a { \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 | \u30d0\u30c4 \u79c1 \u2208 \u3068 \u2227  n \u2208 n \u2227 n \u2265 \u521d\u3081 } {displaystyle lbrace langle rangle rbrace cup lbrace langle x_ {1} {\u3001} ... {\u3001} x_ {n} rank | x_ {i} in eland nin mathbb {n} land ngeq 1rbrace} \u6a5f\u80fd    emptystack = \u27e8 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb} isStackEmpty\uff08s\uff09= \uff08 s == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08s ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} push\uff08s\u3001x\uff09= \u27e8 \u30d0\u30c4 \u27e9 {displaystyle langle xrangle} \u3001\u6edd \uff08 s == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08s ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u3001 \u30d0\u30c4 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30ebx_ {1} {\u3001} ... {\u3001} x_ {n} {\u3001} xrangle} \u3001\u6edd \uff08 s == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \uff09\uff09 {displaystyle\uff08s == langle x_ {\u3001} ... {\u3001} x_ {n} rangle\uff09} TOP\uff08s\uff09= \u22a5 {displaystyle perp} \u3001\u6edd \uff08 s == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08s ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u30d0\u30c4 n {displaystyle x_ {n}\u3001} \u3001\u6edd \uff08 s == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \u3001 n \u2265 \u521d\u3081 \uff09\uff09 {displaystyle\uff08s == langle x_ {1} {\u3001} ... {\u3001} x_ {n} rangle\u3001ngeq 1\uff09} pop\uff08s\uff09= \u22a5 {displaystyle perp} \u3001\u6edd \uff08 s == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08s ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u27e8 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb} \u3001\u6edd \uff08 s == \u27e8 \u30d0\u30c4 \u27e9 \uff09\uff09 {displaystyle\uff08s == langle xrangle\uff09} = \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n  -  \u521d\u3081 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30ebx_ {1} {\u3001} ... {\u3001} x_ {n-1} rangle} \u3001\u6edd \uff08 s == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \u3001 n \u2265 2 \uff09\uff09 {displaystyle\uff08s == langle x_ {1} {\u3001} ... {\u3001} x_ {n} rangle\u3001ngeq 2\uff09}  sets item = e\uff08my the element\uff09 \u30d0\u30c4 \u2208 \u3068 {displaystylexine} \u30ad\u30e5\u30fc= q = { \u27e8 \u27e9 } \u222a { \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 | \u30d0\u30c4 \u79c1 \u2208 \u3068 \u2227  n \u2208 n \u2227 n \u2265 \u521d\u3081 } {displaystyle lbrace langle rangle rbrace cup lbrace langle x_ {1} {\u3001} ... {\u3001} x_ {n} rank | x_ {i} in eland nin mathbb {n} land ngeq 1rbrace} \u6a5f\u80fd    emptyqueue = \u27e8 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb} isqueueEmpty\uff08q\uff09= \uff08 Q == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08q ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} enqueue\uff08q\u3001x\uff09= \u27e8 \u30d0\u30c4 \u27e9 {displaystyle langle xrangle} \u3001\u6edd \uff08 Q == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08q ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u27e8 \u30d0\u30c4 \u3001 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30ebx {\u3001} x_ {1} {\u3001} ... {\u3001} x_ {n} rangle} \u3001\u6edd \uff08 Q == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \uff09\uff09 {displaystyle\uff08q == langle x_ {\u3001} ... {\u3001} x_ {n} rangle\uff09} head\uff08q\uff09= \u22a5 {displaystyle perp} \u3001\u6edd \uff08 Q == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08q ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u30d0\u30c4 n {displaystyle x_ {n}\u3001} \u3001\u6edd \uff08 Q == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \u3001 n \u2265 \u521d\u3081 \uff09\uff09 {displaystyle\uff08q == langle x_ {1} {\u3001} ... {\u3001} x_ {n} rangle\u3001ngeq 1\uff09} dequeue\uff08q\uff09= \u22a5 {displaystyle perp} \u3001\u6edd \uff08 Q == \u27e8 \u27e9 \uff09\uff09 {displaystyle\uff08q ==\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb\uff09} = \u27e8 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30eb\u30e9\u30f3\u30b0\u30eb} \u3001\u6edd \uff08 Q == \u27e8 \u30d0\u30c4 \u27e9 \uff09\uff09 {displaystyle\uff08q ==\u30e9\u30f3\u30b0\u30ebxRangle\uff09} = \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n  -  \u521d\u3081 \u27e9 {displaystyle\u30e9\u30f3\u30b0\u30ebx_ {1} {\u3001} ... {\u3001} x_ {n-1} rangle} \u3001\u6edd \uff08 Q == \u27e8 \u30d0\u30c4 \u521d\u3081 \u3001 \u3002 \u3002 \u3002 \u3001 \u30d0\u30c4 n \u27e9 \u3001 n \u2265 2 \uff09\uff09 {displaystyle\uff08q == langle x_ {1} {\u3001} ... {\u3001} x_ {n} rangle\u3001ngeq 2\uff09}  Informelle\u30e1\u30bd\u30c3\u30c9\uff08Java\uff09 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9\uff1a\u30e1\u30bd\u30c3\u30c9\u306e\u524d\u63d0\u6761\u4ef6\u3068\u52b9\u679c\/\u7d50\u679c\u3092\u6307\u5b9a\u3059\u308b\u3053\u3068\u306b\u3088\u308a\uff08\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u5834\u5408\u3001\u30e1\u30bd\u30c3\u30c9\u306f\u3059\u3067\u306b\u5b58\u5728\u3059\u308b\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u306b\u7d50\u5408\u3057\u3066\u3044\u308b\u305f\u3081\u3001\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u5b58\u5728\u3092\u524d\u63d0\u6761\u4ef6\u3068\u3057\u3066\u63d0\u4f9b\u3059\u308b\u5fc5\u8981\u306f\u3042\u308a\u307e\u305b\u3093\uff09\u3002 \u516c\u5171  \u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9  ISTACK < \u3068 >  {  \/\/\u7279\u5b9a\u306e\u30af\u30e9\u30b9\u306e\u30b3\u30f3\u30b9\u30c8\u30e9\u30af\u30bf\u30fc  \/\/ result\uff1a\u672c\u5f53\u3001\u30b9\u30bf\u30c3\u30af\u304c\u7a7a\u306e\u5834\u5408\u3001\u305d\u308c\u4ee5\u5916\u306e\u5834\u5408\u306ffalse  \u516c\u5171  \u30d6\u30fc\u30eb  ISTACKMPTY \uff08\uff09;  \/\/\u52b9\u679c\uff1a\u30b9\u30bf\u30c3\u30af\u306b\u306f\u3001\u4e0a\u90e8\u8981\u7d20\u3068\u3057\u3066\u8981\u7d20\u30a8\u30ec\u30e0\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002  \/\/\u7d50\u679c\uff1a\u8981\u7d20\u30a8\u30ec\u30e0\u3092\u633f\u5165\u3057\u305f\u5f8c\u306e\u30b9\u30bf\u30c3\u30af\u3002  \u516c\u5171  ISTACK < \u3068 >  \u62bc\u3059 \uff08 \u3068  \u30a8\u30ec\u30e1\u30f3\u30c8 \uff09;  \/\/\u524d\u63d0\u6761\u4ef6\uff1a\u30b9\u30bf\u30c3\u30af\u306f\u7a7a\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002  \/\/\u52b9\u679c\uff1a\u4e0a\u90e8\u8981\u7d20\u306f\u30b9\u30bf\u30c3\u30af\u304b\u3089\u524a\u9664\u3055\u308c\u307e\u3059\u3002  \/\/\u7d50\u679c\uff1a\u524a\u9664\u5f8c\u306e\u30b9\u30bf\u30c3\u30af\u3002  \u516c\u5171  ISTACK < \u3068 >  \u30dd\u30c3\u30d7 \uff08\uff09;  \/\/\u524d\u63d0\u6761\u4ef6\uff1a\u30b9\u30bf\u30c3\u30af\u306f\u7a7a\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002  \/\/\u7d50\u679c\uff1a\u4e0a\u90e8\u8981\u7d20\u3002  \u516c\u5171  \u3068  \u4e0a \uff08\uff09;  }  \u516c\u5171  \u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30fc\u30b9  IC < \u3068 >  {  \u516c\u5171  \u30d6\u30fc\u30eb  IsqueueEmpty \uff08\uff09;  \u516c\u5171  IC < \u3068 >  enqueue \uff08 \u3068  \u30a8\u30ec\u30e1\u30f3\u30c8 \uff09;  \u516c\u5171  IC < \u3068 >  dequeue \uff08\uff09;  \u516c\u5171  \u3068  \u982d \uff08\uff09;  }  \u6a5f\u80fd\u7684\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\uff08Haskell\uff09\u3092\u4ecb\u3057\u305f\u4ed5\u69d8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] emptystack  =  \u3068  ISTACKMPTY  \u3068  =  \u771f\u5b9f  ISTACKMPTY  \uff08 s  \u30d0\u30c4  XS \uff09\uff09  =  \u9593\u9055\u3044  \u62bc\u3059  \u305d\u3046\u3067\u3059  XS  =  s  \u305d\u3046\u3067\u3059  XS  \u30dd\u30c3\u30d7  \uff08 s  \u30d0\u30c4  XS \uff09\uff09  =  XS  \u4e0a  \uff08 s  \u30d0\u30c4  XS \uff09\uff09  =  \u30d0\u30c4  emptyque  =  \u3068  isQueueEmpty E = TrueisQueueEmpty (Q xs x) = Falseenqueue e xs = Q xs edequeue E = Edequeue (Q (E) x) = Edequeue (Q (Q ys y) x) = enqueue x (dequeue (Q ys y))head E = error \"Queue ist leer.\"head (Q (E) x) = xhead (Q (Q ys y) x) = head (Q ys y)\u3088\u304f\u30d7\u30ed\u30b0\u30e9\u30e0\u3055\u308c\u305fADT\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u52aa\u529b\u3059\u308b\u306b\u306f\u3001\u307b\u3068\u3093\u3069\u304c\u3088\u304f\u6307\u5b9a\u3055\u308c\u305f\u30c7\u30fc\u30bf\u69cb\u9020\u3067\u3082\u3042\u308a\u307e\u3059\u3002 \u666e\u904d \uff08\u5b9f\u88c5\u306e\u72ec\u7acb\u6027\uff09\uff1a\u4e00\u5ea6\u8a2d\u8a08\u304a\u3088\u3073\u5b9f\u88c5\u3055\u308c\u305fADT\u306f\u3001\u3042\u3089\u3086\u308b\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u542b\u307e\u308c\u3001\u305d\u3053\u3067\u4f7f\u7528\u3067\u304d\u307e\u3059\uff08\u4f8b\uff1a\u30e6\u30cb\u30c3\u30c8\u306e\u5f62\u3067\uff09\u3002 \u6b63\u78ba\u306a\u8aac\u660e \uff08\u6b63\u78ba\u306a\u4ed5\u69d8\uff09\uff1a\u5b9f\u88c5\u3068\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306e\u9593\u306e\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306f\u660e\u78ba\u304b\u3064\u5b8c\u5168\u3067\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093\u3002 \u30b7\u30f3\u30d7\u30eb\u3055 \uff08\u30b7\u30f3\u30d7\u30eb\u3055\uff09\uff1aADT\u306e\u5185\u90e8\u5b9f\u88c5\u306f\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u306b\u95a2\u5fc3\u304c\u306a\u304f\u3001ADT\u306f\u30e1\u30e2\u30ea\u81ea\u4f53\u306b\u305d\u306e\u8868\u73fe\u3068\u7ba1\u7406\u3092\u5f15\u304d\u7d99\u304e\u307e\u3059\u3002 \u4fdd\u8b77\u6027 \uff08\u6574\u5408\u6027\uff09\uff1a\u30a4\u30f3\u30bf\u30fc\u30d5\u30a7\u30a4\u30b9\u306f\u3001\u5bc6\u9589\u578b\u306e\u9650\u754c\u3068\u898b\u306a\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u30e6\u30fc\u30b6\u30fc\u306f\u975e\u5e38\u306b\u6b63\u78ba\u306b\u77e5\u3063\u3066\u3044\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 \u3060\u3063\u305f ADT\u306f\u305d\u3046\u3067\u3059\u304c\u3001\u6c7a\u3057\u3066\u3042\u308a\u307e\u305b\u3093 \u3069\u3046\u3084\u3063\u3066 \u5f7c\u306f\u305d\u308c\u3092\u3057\u307e\u3059\u3002 \u30ab\u30d7\u30bb\u30eb \uff08\u30ab\u30d7\u30bb\u30eb\u5316\uff09\uff1a\u30e6\u30fc\u30b6\u30fc\u306f\u30c7\u30fc\u30bf\u306e\u5185\u90e8\u69cb\u9020\u306b\u4ecb\u5165\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u610f\u56f3\u3057\u306a\u3044\u30c7\u30fc\u30bf\u3092\u524a\u9664\u307e\u305f\u306f\u5909\u66f4\u3057\u3001\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u30a8\u30e9\u30fc\u3092\u4f5c\u6210\u3059\u308b\u30ea\u30b9\u30af\u306f\u5927\u5e45\u306b\u6e1b\u5c11\u3057\u307e\u3059\u3002 \u30e2\u30b8\u30e5\u30fc\u30eb\u6027 \uff08\u30e2\u30b8\u30e5\u30fc\u30eb\u6027\uff09\uff1a\u30e2\u30b8\u30e5\u30e9\u30fc\u539f\u7406\u306b\u3088\u308a\u3001\u660e\u78ba\u3067\u5b89\u5168\u306a\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u30d1\u30fc\u30c4\u306e\u7c21\u5358\u306a\u4ea4\u63db\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u30c8\u30e9\u30d6\u30eb\u30b7\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u306e\u5834\u5408\u3001\u500b\u3005\u306e\u30e2\u30b8\u30e5\u30fc\u30eb\u306f\u975e\u5e38\u306b\u5206\u96e2\u3055\u308c\u3066\u3044\u308b\u3068\u8868\u793a\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u5f8c\u3001\u3059\u3079\u3066\u306e\u74b0\u5883\u307e\u305f\u306f\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u308f\u305a\u304b\u306b\u5909\u66f4\u3059\u308b\u3053\u3068\u306a\u304f\u3001\u5e83\u544a\u3092\u4ecb\u3057\u3066\u591a\u304f\u306e\u6539\u5584\u3092\u5f15\u304d\u7d99\u3050\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 \u30d7\u30ed\u30b0\u30e9\u30e0\u3055\u308c\u305f\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u5834\u5408\u3001\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u306e\u30d1\u30e9\u30c0\u30a4\u30e0\u304c\u81ea\u7136\u306b\u30a4\u30f3\u30b5\u30fc\u30c8\u306e\u4f5c\u6210\u3092\u30b5\u30dd\u30fc\u30c8\u3059\u308b\u305f\u3081\u3001\u3053\u308c\u3089\u306e\u30d7\u30ed\u30d1\u30c6\u30a3\u306f\u7279\u306b\u7c21\u5358\u306b\u6e80\u305f\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u5e83\u544a\u3092\u4f5c\u6210\u3059\u308b\u305f\u3081\u306e\u3082\u30461\u3064\u306e\u30aa\u30d7\u30b7\u30e7\u30f3\uff08\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u95a2\u9023\u3059\u308b\uff09\u306f\u3001\u4e00\u822c\u7684\u306a\u30bf\u30a4\u30d7\u3067\u3059\u3002 \u30d0\u30fc\u30d0\u30e9\u30fb\u30ea\u30b9\u30b3\u30d5\u3001\u30b9\u30c6\u30a3\u30fc\u30d6\u30f3\u30fb\u30b8\u30ec\u30b9\uff1a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u3092\u4f7f\u7528\u3057\u305f\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 \u3002\u306e\uff1a Sigplan\u306e\u901a\u77e5 \u3001 \u30d5\u30e9\u30a4\u30c8\u3002 9\u3001\u3044\u3044\u3048\u3002 4\u30011974\u3001S\u300250\u201359 \u30b8\u30e7\u30f3\u30fb\u30ac\u30c3\u30bf\u30b0\uff1a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u3068\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u958b\u767a \u3002\u306e\uff1a ACM\u306e\u901a\u4fe1 \u3001 \u30d5\u30e9\u30a4\u30c8\u3002 20\u30011977\u3001\u3044\u3044\u3048\u3002 6\u3001S\u3002396\u2013404\u3002 J. A. Goguen\u3001J\u3002W\u3002Sutcher\u3001E\u3002W\u3002Wagner\uff1a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u306e\u4ed5\u69d8\u3001\u6b63\u78ba\u6027\u3001\u304a\u3088\u3073\u5b9f\u88c5\u306b\u5bfe\u3059\u308b\u521d\u671f\u4ee3\u6570\u30a2\u30d7\u30ed\u30fc\u30c1 \u3002 In\uff1aR.T\u3002\u3048\u3048\uff08hrsg\u3002\uff09\uff1a \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u65b9\u6cd5\u8ad6\u306b\u95a2\u3059\u308b\u73fe\u5728\u306e\u50be\u5411 \u3001Vol\u3002 IV\u30011978\u3001Prentice-Hall Int\u3002 Hartmut Ehrig\u3001Bernd Mahr\uff1a \u4ee3\u6570\u4ed5\u69d8\u306e\u57fa\u790e1  &#8211; \u65b9\u7a0b\u5f0f\u3068\u521d\u671f\u30bb\u30de\u30f3\u30c6\u30a3\u30af\u30b9 \u3002 Springer-Verlag\u30011985\u5e74 \u30eb\u30ab\u30fb\u30ab\u30eb\u30c9\u30ea\u3001\u30d4\u30fc\u30bf\u30fc\u30fb\u30a6\u30a7\u30b0\u30ca\u30fc\uff1a \u30bf\u30a4\u30d7\u3001\u30c7\u30fc\u30bf\u306e\u62bd\u8c61\u5316\u3001\u304a\u3088\u3073\u591a\u578b\u306e\u7406\u89e3\u306b\u3064\u3044\u3066 \u3002\u306e\uff1a \u30b3\u30f3\u30d4\u30e5\u30fc\u30c6\u30a3\u30f3\u30b0\u8abf\u67fb \u3001Vol\u300217\u3001No\u3002 4\u30011985\u5e7412\u6708\u3001pp\u3002470\u2013522 \u30b8\u30e7\u30f3C.\u30df\u30c3\u30c1\u30a7\u30eb\u3001\u30b4\u30fc\u30c9\u30f3D.\u30d7\u30ed\u30c3\u30c8\u30ad\u30f3\uff1a \u62bd\u8c61\u30c7\u30fc\u30bf\u578b\u306b\u306f\u5b9f\u5b58\u7684\u306a\u30bf\u30a4\u30d7\u304c\u3042\u308a\u307e\u3059 \u3002\u306e\uff1a \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9eANS\u30b7\u30b9\u30c6\u30e0\u306b\u95a2\u3059\u308bACM\u30c8\u30e9\u30f3\u30b6\u30af\u30b7\u30e7\u30f3 \u3001 \u30d5\u30e9\u30a4\u30c8\u3002 10\u3001\u3044\u3044\u3048\u3002 3\u3001Juli 1988\u3001S\u3002470\u2013502\u3002 \u30d4\u30fc\u30bf\u30fc\u30df\u30e5\u30e9\u30fc\uff1a C ++\u3092\u4f7f\u7528\u3057\u305f\u30aa\u30d6\u30b8\u30a7\u30af\u30c8\u6307\u5411\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u7d39\u4ecb \u3002 ADT\u3078\u306e\u7ae0 \u30db\u30eb\u30d8\u30fb\u30de\u30eb\u30c6\u30a3\u30cd\u30b9\uff1a \u6ce8\u6587\u3055\u308c\u305f\u4ee3\u6570\u69cb\u9020\uff1a\u30d5\u30ed\u30ea\u30c0\u5927\u5b66\u304c\u5f8c\u63f4\u3059\u308b\u30b2\u30a4\u30f3\u30ba\u30d3\u30eb\u4f1a\u8b70\u306e\u8b70\u4e8b\u9332\u30012\u670828\u65e5 &#8211;  3\u67083\u65e5\u3001200 \u3002 Kluwer Academic Publishers\u3001Dordrecht;\u30dc\u30b9\u30c8\u30f32002\u3001ISBN 978-1-4020-0752-1\uff08\u82f1\u8a9e\u3001 \u9650\u3089\u308c\u305f\u30d7\u30ec\u30d3\u30e5\u30fc Google Book\u691c\u7d22\u3067\uff09\u3002  \u30b9\u30b1\u30fc\u30c8\u30dc\u30fc\u30c9\u3001\u30bb\u30f3\u30db\u30eb\u30c4\uff1a \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u57fa\u672c\u7684\u304a\u3088\u3073\u9ad8\u5ea6\u306a\u30b3\u30fc\u30b9 \u3002 Cornelsen\u3001D\u00fcsseldorf1992\u3001ISBN 3-464-57312-5\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/21336#breadcrumbitem","name":"\u62bd\u8c61\u30c7\u30fc\u30bf\u578b-Wikipedia"}}]}]