JMPJMP17でのグリッチ
前週お話しした，JMP17で新たに実装された「プラットフォームの環境設定」のサブメニューの「変更の保存」の問題．どうもバグがあるみたいと言いましたが，間違った設定が保存されるのはやはりバグのようです．米国の開発チームにも伝わったので，修正されると思いますが，いつになるかはわからないとのことです．願わくば17.1には修正されているといいのですが． この現象は明らかにバグですが，そうと言い切れない現象も確認しています．グリッチとでも言いましょうか．このグリッチという言葉は，私が米国で仕事していたときに，あちらの人がバグと使いわけていたのを覚えています．「これはシステムのバグではないか」とシ...