https://qiita.com/dskszk/items/a4cf720aecc4ae4563f5

[KatagiriSo]

代数

[zyzy]

これwikiでおいかけまわして、分かったような分からんようなもやっとした気持ちになってたやつや!!

[xlc]

抽象データ型の代数的仕様記述というヤツですな。

[uehaj]

由来も根拠もわけもわからず、ADTという言葉を使っていたモヤモヤ感が解消.「F-始代数的データ構造」を略しているわけか。略すかそこを。