ページ名の変更

じゃミ言語の名前を変更します。