命題、言明

proposition

命題

< 日辻

真偽値

truth value, logical value

真理值

< 日辻

説明

description

說明，描述

< 中川, < 太田

明け方、夜明け前

dawn

黎明

< 鵡川

構文解析

syntax parsing

句法分析

N1をパースする、N1を解析する、N1を分析する

parse N1, analyze N1

分析N1

< 太田

定理

theorem

定理

< 日辻

啄木鳥（キツツキ）、赤啄木鳥（アカゲラ）

woodpecker

啄木鳥

< 田村, < 萱野, < 知里

補題

lemma

引理

< 日辻

襟裳岬

Cape Erimo

襟裳岬

< 田村

日曜日

Sunday

星期日

< 太田 cf.<天気 tokapcup

N1をソートする、N1を並び替える

sort N1, reorder N1

排序N1

N1を真っ直ぐにする、N1を整列させる、N1を一直線に並べる

make N1 straight, align N1, line up N1

使N1變直，使N1對齊，使N1排列整齊

< 田村, < 萱野

N1を整列する、N1の文字揃えをする

align N1 (text alignment), align text in N1

對齊N1（文字對齊）

< まぽ

～のように、～かのように

as if, like, seemingly

好像，彷彿

< 中川, < 萱野, < 太田