>>298
いや、むしろ親切というものだろう。
ゲーム理論の大家で、「選択肢」より「選択枝」という
表記のほうが好きだから、こっちを使う、と宣言して
それで通してる先生がいらっしゃった。