＞＞３３さん
＞＞変数 s は char の配列、つまり文字列自体です。これは固定的に確保されているので、「s のアドレスは一定」です(これ重要)

＞＞s をポインタとしてみた時の値は一定なので、a[0] から a[2] までに全て
同じ値が入ります。

ここの理解があいまいでした．
僕が一番あいまいなまま気になってた箇所を丁寧に指摘してもらって，ほんと有難いです．
まだまだ勉強不足ですが，がんばりたいです．

あと，開放に関してですが
delete[] a[i];
はオリジナルコードの下のほうにあったので，コピペし忘れてました．
自分の疑問点ばかり気にしててすみませんでしたm(_ _)m