ここは日本語で記述してもいいのであった。