自己解決しました。
エントロピーの一般的な定義が
- ln p の期待値で、
p = 1/W と仮定するミクロカノニカル分布ではたしかに
S = k ln W と変形できました。こっちの式は特別な場合ですね。