■

Dropboxで同期しないファイルがある場合，一度Dropbox Webサイトを開いて，
同期できていないファイルをローカルコンピュータにダウンロード，
その後，ダウンロードしたファイルを，ローカルからDropboxフォルダに放り込む．
すると，無事同期できた模様．なぜかはよくわからない．