ボスによる文法理論の概説．1時間強でやるにはあまりに内容が濃すぎると思うのでした．

is_sortedについてあれこれ考えているうちに，ある一つの疑問が浮かんできました． 「ソートって何？」