命題、言明
proposition
命題
真偽値
truth value, logical value
真理值
説明
description
說明,描述
明け方、夜明け前
dawn
黎明
構文解析
syntax parsing
句法分析
N1をパースする、N1を解析する、N1を分析する
parse N1, analyze N1
分析N1
定理
theorem
啄木鳥(キツツキ)、赤啄木鳥(アカゲラ)
woodpecker
啄木鳥
補題
lemma
引理
襟裳岬
Cape Erimo
日曜日
Sunday
星期日
N1をソートする、N1を並び替える
sort N1, reorder N1
排序N1