試行錯誤しているが、昨日から今（午前9時半）まで「突然切れる症候群」は起きていない。たぶん、一番効いたのが RGBディスプレイのケーブルを交換したこと。（DSub-15ピンの1本が曲がっていたので、中古品に交換した） しかし安心はできないので、こまめに…