ご意見ありがとうございます。 (myu314さんすみません、アレでしたら新しいスレを立てます。) 私としては、拡張子をつける習慣がプチコンユーザにない気がするので、拡張子ありきで判定するのはちと気が引けます。 エラーキャッチができないプチコンでは、確かにエラー回避のひとつの手なんですがね… 名前は3文字の方がわかりやすいし、PGRがいいですかね。 ファイル名で管理したい人は.PGRをつけてもらう方向で。必須にするかどうかは実装依存。 ヘッダにバージョン番号を入れるかどうかは悩んでいたので、空いた 1文字はバージョン番号として、とりあえず1を入れる形(つまり「PGR1」で始まるファイル)で考えてみたいです。