▼はじめさん:こんにちは。
難しいことは知らないのですが、なんか、よく言われてることの記憶ですが、「jgawk.exe」はDos時代にお世話になったもので、Win32になってからは以前は、「jgawk.exe」に加え、「go 32」なるものが必要だったように覚えてます。
その後、gawk113.zipになって、「gawk.exe」とか「gawk32.exe」なんかが同梱されるようになり、これらを使うと「go 32」は必要ない・・・。というので、そのときに、「gawk.exe」に入れ替えたと思います。その後、人づてに聞くと、倍精度には「gawk32.exe」が良いということだったので、私は、それを採用しています。
ですが、頂く外変の殆どが「BATファイル」内で、「jgawk」にパスが通してあるので、「BAT」は直さなくても、「gawk32.exe」をリネームすれば良いということなので、「gawk32.exe」を「jgawk.exe」に名前だけ変更して使っています。
その後gawk115.zipが出たようなのですが、私は入手の機会を見失ってたのか、いまだに113のものを使っています。
どれでも動くだけに、判別が付けにくいですよね。