Windows環境で、空白を含むファイル/ディレクトリ名をうまく処理できないプログラムがありますよね。そんなプログラムに、例えば "C:\Program Files\Windows Media Player" というパス名を(コマンドライン、GUI、環境変数、設定ファイルなどを通じて)渡す…
ことの発端は、圏論勉強会二次会。「脳や生物に圏論を使っている人がいるよ」って話が出ました。それが、郡司ペギオ-幸夫さん。僕は「それは面白そうだ」と、かなり好奇心をそそられました。が、容易にアクセスできる資料がないんですよね。でも、なぜか僕は…