複数辞典一括検索+

1 形式化.🔗🔉

1 形式化.

2 儀礼化.🔗🔉

2 儀礼化.

《1656》: ⇒↓, -ation🔗🔉

《1656》: ⇒↓, -ation for・mal・ize /fmlz, -m- | f-/

vt.🔗🔉

vt.

1 正式にする.🔗🔉

1 正式にする.

2 形式的にする, 儀式張らせる.🔗🔉

2 形式的にする, 儀式張らせる.

3 …に一定の形を与える.🔗🔉

3 …に一定の形を与える.

4 【論理】 形式化する《表現を記号でおきかえ, 意味を問題にしないで式の構成や変形の規則を厳密に決めることにいう》.🔗🔉

4 【論理】 形式化する《表現を記号でおきかえ, 意味を問題にしないで式の構成や変形の規則を厳密に決めることにいう》.

5 【言語】 形式化する《言語の規則を記号により表記することにいう》.🔗🔉

5 【言語】 形式化する《言語の規則を記号により表記することにいう》.

vi. 形式的である; 形式張る; 形式的に行動する[ふるまう].🔗🔉

vi. 形式的である; 形式張る; 形式的に行動する[ふるまう].

fr・mal・z・er n.🔗🔉

fr・mal・z・er n.

《1597》: ⇒-ize🔗🔉

《1597》: ⇒-ize frmal lnguage

n. (自然言語に対して, 数学・記号論理学などで用いる)形式言語.🔗🔉

n. (自然言語に対して, 数学・記号論理学などで用いる)形式言語. frmal lgic

n. 形式論理(学) (cf. material logic).🔗🔉

n. 形式論理(学) (cf. material logic). for・mal・ly /fmli, -mi | f-/

研究社新英和大辞典 ページ 191001