スタック・キューは、抽象データ構造?　そもそも抽象データ構造とは何か？

そもそも「抽象データ構造」って何なんでしょうか？

ですが、

必要な機能の要件だけが定義されているようなデータ構造を、抽象データ構造と呼びます。

と書いてありますけど。

内部的に「データ構造」とその「操作のまとまり」がある形式の「データ型（構造）」

内部のデータ構造が明確になっていれば、すでに「抽象」じゃないですね。
ブラックボックスと思えば良いのでは無いでしょうか。

スタックは、抽象データ構造なので、内部のデータの管理方法には自由度があります。 

スタックが抽象データ構造と言い切るには、リアリティが有りすぎ(構造がシンプル過ぎ)と思いますが、外から見えるデータ構造とは、独立した内部データ構造を持てるという意味では、[抽象]かも知れません。

ただ、スタックが抽象データ構造と言うのは、あまり聞きません。

そもそも「抽象データ構造」って何なんでしょうか？

サイトを読んだ限りでは、特定の構造のデータストアを特定の方法で
アクセスできるようにするアプローチをそう呼んでいる気がします。

そういう意味ではデータベースも抽象データ構造ということに
なりそうですが、ここで論じるにはなじまないかな。

データの扱いをオブジェクト指向っぽい考え方をしたようなやつ
に見えます。

スタックにせよキューにせよ、

• 任意個数のデータを保持しておくことができる
• データには順序が付けられて保持されている
• データの出し入れは順序に従って行われる

という点を抑えておけば、実際のデータの保管方法については、使う側が知っている必要はありません。
構築する側からすれば、やろうと思えばデータベースのテーブルを使ってキューやスタックを実現することもできます。

スタックやキューといった、入出力だけを定義する（インターフェース）だけで、実装は隠蔽されているとすれば、それは抽象的と言ってよいのかと思います。

抽象データ型
抽象データ型(ADT,Abstract Data Type)を紹介します。

『独習 コンピュータ科学基礎II 論理構造』 James L. Hein  翔泳社 より引用。

--> 引用

抽象データ型は、1つ以上のオブジェクトの集合とその集合上に定義されたひとつ以上の演算、演算を記述する若干の公理からなる。抽象データ型とは代数のひとつである。抽象データ型の台には制限がある。台はデータオブジェクトと演算がコンピュータ上で実装できるように構成する。抽象データ型は、実装の詳細を抽象化する。

Stack

台：
A, Stks[A], Boolean, Erros

演算：
emptyStk ∈   Stks[A]
isEmptyStk: Stks[A] -> Boolean
push: A × Stks[A] -> Stks[A]
pop: Stks[A] -> Stks[A] ∪  Errors
top: Stks[A] -> A ∪  Errors

公理：
isEmptyStk(emptyStk) = True
isEmptyStk(push(a,s)) = False
pop(push(a,s)) = s
pop(emptySyk) = stackError
top(push(a,s)) = a
top(emptyStk) = valueError

<--- 引用終わり

本には、Stackだけでなく、台、演算、公理の異なる様々な抽象データ型(List、Queue等)が紹介されています。

台というのは演算が定義される集合です。演算はオブジェクト指向のインターフェイスに相当。振る舞いだけの定義。実装は表現（representation)とよばれます。公理はADTの制約とみなせます。公理は演算を使って定義されます。公理をもとにプログラムの振る舞いを自動チェックできればよいのですが、実装はプログラマが行うのでプログラマが公理を保証します。公理にテストケースが記述されていると思ってください。

参考
バートランド・メイヤー『オブジェクト指向入門 第2版 原則・コンセプト』 2007年 翔泳社
MITに、リスコフの授業が継承されて残っています。Reading10:Abstract Data Types

Wikipediaによると

抽象データ型の概念に非常に近い

と書かれており、抽象データ型は

データ構造とそれを直接操作する手続きをまとめてデータ型の定義とすることでデータ抽象[1]を実現する手法またはそのひとまとまりとして定義されたデータ型

云々と書かれているので、まぁ少なくとも内部実装は意識しないもんだと思います。

スタックもキューもその「外部から見たデータ構造と振る舞い」の説明どおりに動いていれば、色んな言語で色んな内部実装があろうかと思いますので、そういう意味では「抽象データ構造」なんでしょう。