タイマーなどを利用して回避可能とはいえ、ちょっと困った不具合だ。（既知の不具合だったのですぐに見つかった）

Stream 系と Reader/Writer 系は、ともに Dispose を呼ぶことで、元となっているリソースとの接続を閉じる。Stream 系と Reader/Writer 系の違いは、Stream 系は使用が終わったら可能な限り早い段階で Dispose を呼び出すことが好ましいことがほとんどである…