AtCoderでは独自用語による問題説明が展開される