[1] 何のことだかよくわかんないけど、文脈的にオペレータのことらしい。 何でもかんでも略すのはやめて欲しいねえ。