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