formaliser

プログレッシブ 仏和辞典 第2版の解説

formaliser /fɔrmalize/

[他動] …を形式化する:記号を用いて理論の形式的構造を表わす.

出典 プログレッシブ 仏和辞典 第2版プログレッシブ 仏和辞典 第2版について 情報 | 凡例

4月1日の午前中に、罪のないうそをついて人をかついでも許されるという風習。また、4月1日のこと。あるいは、かつがれた人のこと。四月ばか。万愚節。《季 春》[補説]西洋もしくはインドに始まる風習で、日本...

エープリルフールの用語解説を読む