Windows用語で「圧縮フォルダ」というのがあったと思うのだが、あの意味は何だっけ。ZIPをダブルクリックして（展開せずに）閲覧できるもののことを圧縮フォルダと言って良いんだっけか。それとも、なんかフォルダ自体に「圧縮」という属性を付加することで、『普通のフォルダとしてアクセスできるんだけども、ディスク上では圧縮されている』みたいなもののことを圧縮フォルダと呼ぶのだったっけ？
……と思ったので、そのままAIに質問してみた。Copilotの回答、Geminiの回答。どうやら、どちらも「圧縮フォルダ」と呼ぶようだ。いや、AIの回答が正しいとは限らないけども。「圧縮フォルダ」でググったら、ZIPに圧縮する方法を解説したMicrosoftのヘルプページが出てきたのだが、その操作手順を見ると「送る」メニューの中にある圧縮用項目の名称が「圧縮(zip形式)フォルダー」だった。そうか、メニュー項目名自体にそう書かれていたか。全然気にしていなかったので気付かなかった。よく使うのだけども、アイコンと（項目名先頭の）「圧縮」くらいしか見ていないのだろう。