Serverを起動するときに怒られたので，Rictyの斜体問題を回避するために行った修正を一旦削除しました．