diff --git a/datastructure/range_chmin_chmax_add_range_sum/task.md b/datastructure/range_chmin_chmax_add_range_sum/task.md
index 534edca14..33f833fba 100644
--- a/datastructure/range_chmin_chmax_add_range_sum/task.md
+++ b/datastructure/range_chmin_chmax_add_range_sum/task.md
@@ -19,10 +19,20 @@ Given a size $N$ interger sequence $a_0, a_1, \dots, a _ {N - 1}$. Process the f
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq N, Q \leq @{param.N_AND_Q_MAX}$
-- @{lang.en} $\vert a_i \vert \leq @{param.A_ABS_MAX}$ is satisfied always while processing queries. @{lang.ja} クエリ処理の過程で常に $\vert a_i \vert \leq @{param.A_ABS_MAX}$ が成り立つ @{lang.end}
+- $\vert a_i \vert \leq @{param.A_ABS_MAX}$ is satisfied always while processing queries. 
 - $0 \leq l < r \leq N$
 
+@{lang.ja}
+
+- $1 \leq N, Q \leq @{param.N_AND_Q_MAX}$
+- クエリ処理の過程で常に $\vert a_i \vert \leq @{param.A_ABS_MAX}$ が成り立つ
+- $0 \leq l < r \leq N$
+
+@{lang.end}
+
 ## @{keyword.input}
 
 ~~~
diff --git a/datastructure/vertex_add_path_sum/task.md b/datastructure/vertex_add_path_sum/task.md
index dd28dd74f..c30eef5fc 100644
--- a/datastructure/vertex_add_path_sum/task.md
+++ b/datastructure/vertex_add_path_sum/task.md
@@ -21,7 +21,6 @@ $Q$ 個のクエリが飛んでくるので処理。
 - $1 \leq N, Q \leq @{param.N_AND_Q_MAX}$
 - $0 \leq a_i, x \leq @{param.A_AND_X_MAX}$
 - $0 \leq p, u_i, v_i < N$
-- @{lang.en} $(u_i, v_i)$ @{lang.ja} $(u_i, v_i)$ は木 @{lang.end}
 
 ## @{keyword.input}
 
diff --git a/graph/bipartitematching/task.md b/graph/bipartitematching/task.md
index b79ac4d05..aad632739 100644
--- a/graph/bipartitematching/task.md
+++ b/graph/bipartitematching/task.md
@@ -14,11 +14,23 @@ Calculate the maximum matching.
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq L, R \leq 100,000$
 - $1 \leq M \leq 200,000$
 - $0 \leq a_i < L$
 - $0 \leq b_i < R$
-- @{lang.en} There is no multiple edges @{lang.ja} 多重辺は存在しない @{lang.end}
+- There is no multiple edges.
+
+@{lang.ja}
+
+- $1 \leq L, R \leq 100,000$
+- $1 \leq M \leq 200,000$
+- $0 \leq a_i < L$
+- $0 \leq b_i < R$
+- 多重辺は存在しない
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/graph/directedmst/task.md b/graph/directedmst/task.md
index 3993ea5e8..1fbb07f95 100644
--- a/graph/directedmst/task.md
+++ b/graph/directedmst/task.md
@@ -16,6 +16,19 @@ $N$ 頂点 $M$ 辺の単純な重み付き有向グラフが与えられる。$i
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
+- $1 \leq N \leq @{param.N_MAX}$
+- $N - 1 \leq M \leq @{param.N_MAX}$
+- $0 \leq S < N$
+- $0 \leq a_i, b_i < N$
+- $a_i \neq b_i$
+- $(a_i, b_i) \neq (a_j, b_j) (i \neq j)$
+- $0 \leq c_i \leq @{param.C_MAX}$
+- All the vertices are reachable from the vertex $S$.
+
+@{lang.ja}
+
 - $1 \leq N \leq @{param.N_MAX}$
 - $N - 1 \leq M \leq @{param.N_MAX}$
 - $0 \leq S < N$
@@ -23,7 +36,9 @@ $N$ 頂点 $M$ 辺の単純な重み付き有向グラフが与えられる。$i
 - $a_i \neq b_i$
 - $(a_i, b_i) \neq (a_j, b_j) (i \neq j)$
 - $0 \leq c_i \leq @{param.C_MAX}$
-- @{lang.en} All the vertices are reachable from the vertex $S$ @{lang.ja} 頂点 $S$ から全ての頂点へ到達可能 @{lang.end}
+- 頂点 $S$ から全ての頂点へ到達可能
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/math/addition_of_big_integers/task.md b/math/addition_of_big_integers/task.md
index f178187b9..286ed5288 100644
--- a/math/addition_of_big_integers/task.md
+++ b/math/addition_of_big_integers/task.md
@@ -12,9 +12,19 @@ Given integers $A$ and $B$, print $A+B$.
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq T \leq @{param.T_MAX}$
 - $0 \leq |A|, |B| < 10^{@{param.LOG_10_A_AND_B_MAX}}$
-- @{lang.en}The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.@{lang.ja}全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。@{lang.end}
+- The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.
+
+@{lang.ja}
+
+- $1 \leq T \leq @{param.T_MAX}$
+- $0 \leq |A|, |B| < 10^{@{param.LOG_10_A_AND_B_MAX}}$
+- 全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/math/division_of_big_integers/task.md b/math/division_of_big_integers/task.md
index e77b7ad10..e6d6b9ef1 100644
--- a/math/division_of_big_integers/task.md
+++ b/math/division_of_big_integers/task.md
@@ -15,10 +15,21 @@ Given a non-negative integer $A$ and a positive integer $B$, print integers $q,
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
+- $1 \leq T \leq @{param.T_MAX}$
+- $0 \leq A \leq 10^{@{param.LOG_10_A_AND_B_MAX}}$
+- $1 \leq B \leq 10^{@{param.LOG_10_A_AND_B_MAX}}$
+- The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.
+
+@{lang.ja}
+
 - $1 \leq T \leq @{param.T_MAX}$
 - $0 \leq A \leq 10^{@{param.LOG_10_A_AND_B_MAX}}$
 - $1 \leq B \leq 10^{@{param.LOG_10_A_AND_B_MAX}}$
-- @{lang.en}The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.@{lang.ja}全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。@{lang.end}
+- 全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/math/kth_root_mod/task.md b/math/kth_root_mod/task.md
index a39e1184b..50c4bb6d4 100644
--- a/math/kth_root_mod/task.md
+++ b/math/kth_root_mod/task.md
@@ -20,11 +20,23 @@ $X^K \equiv Y \pmod{P}$ なる $X$ を1つ求めてください。
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq T \leq @{param.T_MAX}$
 - $0 \leq K \leq @{param.K_MAX}$
 - $2 \leq P \leq @{param.P_MAX}$
 - $0 \leq Y  < P$
-- @{lang.en} $P$ is prime @{lang.ja} $P$ は素数 @{lang.end}
+- $P$ is prime.
+
+@{lang.ja}
+
+- $1 \leq T \leq @{param.T_MAX}$
+- $0 \leq K \leq @{param.K_MAX}$
+- $2 \leq P \leq @{param.P_MAX}$
+- $0 \leq Y  < P$
+- $P$ は素数
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/math/multiplication_of_big_integers/task.md b/math/multiplication_of_big_integers/task.md
index 4094b687d..d169fa24f 100644
--- a/math/multiplication_of_big_integers/task.md
+++ b/math/multiplication_of_big_integers/task.md
@@ -12,9 +12,19 @@ Given integers $A$ and $B$, print $AB$.
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq T \leq @{param.T_MAX}$
 - $0 \leq |A|, |B| < 10^{@{param.LOG_10_A_AND_B_MAX}}$
-- @{lang.en}The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.@{lang.ja}全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。@{lang.end}
+- The sum of (the number of characters in $A$) $+$ (the number of characters in $B$) over all test cases does not exceed $@{param.SUM_OF_CHARACTER_LENGTH}$.
+
+@{lang.ja}
+
+- $1 \leq T \leq @{param.T_MAX}$
+- $0 \leq |A|, |B| < 10^{@{param.LOG_10_A_AND_B_MAX}}$
+- 全てのテストケースに対する ($A$ の文字数) $+$ ($B$ の文字数) の総和は $@{param.SUM_OF_CHARACTER_LENGTH}$ を超えない。
+
+@{lang.end}
 
 ## @{keyword.input}
 
diff --git a/math/sparse_matrix_det/task.md b/math/sparse_matrix_det/task.md
index 6cd1adc82..2505d583d 100644
--- a/math/sparse_matrix_det/task.md
+++ b/math/sparse_matrix_det/task.md
@@ -12,12 +12,24 @@ $M$ の行列式を $\bmod @{param.MOD}$ で求めてください。
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
 - $1 \leq N \leq @{param.N_MAX}$
 - $1 \leq K \leq @{param.M_MAX}$
 - $0 \leq a_i, b_i \leq N - 1$
-- $(a_i, b_i)$ @{lang.en} is distinct @{lang.ja} は全て異なる @{lang.end}
+- $(a_i, b_i)$ is distinct.
 - $1 \leq c_i < @{param.MOD}$
 
+@{lang.ja}
+
+- $1 \leq N \leq @{param.N_MAX}$
+- $1 \leq K \leq @{param.M_MAX}$
+- $0 \leq a_i, b_i \leq N - 1$
+- $(a_i, b_i)$ は全て異なる
+- $1 \leq c_i < @{param.MOD}$
+
+@{lang.end}
+
 ## @{keyword.input}
 
 ```
diff --git a/math/sqrt_mod/task.md b/math/sqrt_mod/task.md
index 1d2fe89f4..7a55d9bc5 100644
--- a/math/sqrt_mod/task.md
+++ b/math/sqrt_mod/task.md
@@ -16,10 +16,21 @@ $X^2 \equiv Y (\bmod P)$ なる $X$ を1つ求めてください。
 
 ## @{keyword.constraints}
 
+@{lang.en}
+
+- $1 \leq T \leq 100,000$
+- $2 \leq P \leq 10^9$
+- $0 \leq Y < P$
+- $P$ is prime.
+
+@{lang.ja}
+
 - $1 \leq T \leq 100,000$
 - $2 \leq P \leq 10^9$
 - $0 \leq Y < P$
-- @{lang.en} $P$ is prime @{lang.ja} $P$ は素数 @{lang.end}
+- $P$ は素数
+
+@{lang.end}
 
 ## @{keyword.input}