年別利用推移は以下のとおり。項書き換え項書き換え(こうかきかえ、)とは、数学・計算機科学・論理学において、式(数式、論理式)の項を別の項に置換する手法を総称する用語である。項書き換え系(、TRS)とは、項の集合とその置換規則から構成される。項書き換えは非決定的になることがありうる。ある規則で書き換え可能な項が他の規則でも書き換え可能な場合がありえて、その場合は複数の規則が適用可能と言うことになる。項書き換え系では、項書き換えのためのアルゴリズムは提供されず、書き換え規則の集合のみが提供される。しかし、適当なアルゴリズムと組み合わせれば、項書き換え系はプログラムのような働きをし、実際いくつかの宣言型プログラミング言語は項書き換えに基づいている。例.算術.一般的な算術の規則は、以下のような規則を含む項書き換え系とみなすことができる:初等代数学.項書き換え系は自動定理証明にとっても便利な手法である。いくつかの等式からなる仮説があったとき、それらが一種の項書き換え規則群として利用できる。簡単な代数学での項書き換え手法として「類似の項を一方の辺に集める」というやり方がある。その進め方は何通りもある。論理学.論理学では、論理式から連言標準形(CNF)を得る手続きを項書き換え系として表すことができる。その系の規則は以下の通りである:合流性と停止性.合流性.どういう置換規則を適用しても最終的に同じ標準形になる項書き換え系の性質を「合流性」と呼ぶ。これは、標準形の一意性と結びついた特性である。停止性.抽象項書き換え系.抽象的な項書き換え系もある。この場合、項の集合と置換規則を用意しなければならない。鳥肌が立つ国民食国民食(こくみんしょく)とは、世代や地域、性別などに影響されることなく大衆に親しまれている食品、または料理を指す用語。各国の国民食.アジア.インド.インドネシア.インドネシア料理を参照。サテやナシゴレンなど。ココナッツが多用される傾向がある。大韓民国.タイ王国.