2012年10月20日 (土) 20:15時点における版編集 JYBot (会話 \| 投稿記録) 5,570 回編集 m r2.7.1) (ロボットによる追加: fa:نوع داده انتزاعی ← 古い編集		2012年11月16日 (金) 05:05時点における版編集取り消し 153.130.140.81 (会話) →‎参考文献: {{参照方法}} 新しい編集 →
74行目: == 参考文献 == {{参照方法\|date=2012年11月}} # {{Citation \| author=二木厚吉 \| year=1996 \| title=代数モデルの基礎 (<特集>ソフトウェア工学の基礎) \| url=http://ci.nii.ac.jp/naid/110003743901}} # {{Citation \| author=鳥居宏次 , 二木厚吉 , 真野芳久 \| year=1984 \| title=プログラミング方法論の展望 \| url=http://ci.nii.ac.jp/naid/110002720633}} 82 ⟶ 83行目: # {{Citation \| author=稲垣康善 , 坂部俊樹 \| year=1984 \| title=抽象データタイプの代数的仕様記述法の基礎(4) : 終代数意味論に基づく抽象型構成子の仕様記述,実現ならびにその検証 \| url=http://ci.nii.ac.jp/naid/110002720094}} ~~[[Category:~~{{デフォルトソー~~タ型\|~~ト:ちゆうしようてたかた]]}} [[Category:~~アルゴリズム\|ちゆうしようてたかた~~データ型]] [[Category:~~データ構造\|ちゆうしようてたかた~~アルゴリズム]] [[Category:~~型理論\|ちゆうしようてたかた~~データ構造]] [[Category:型理論]] [[ca:Tipus abstracte de dades]]

「抽象データ型」の版間の差分