200816

PARI


PARI と OneDrive

\r ○○.gp でファイルを読み込むとき、

ファイルがOneDrive 上にあると読み込めないことに

気づいた。

Windows 10 だと、特に設定し直さないかぎりデスクトップも

OneDrive の下のフォルダになっていることが多いので注意しよう。