formaliser

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

formaliser /fɔrmalize/

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

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

春になって暖かくなりかけた頃、急に寒さが戻って、地面などがまた凍りつく。《 季語・春 》[初出の実例]「七瀬御秡 同晦日也。〈略〉雪汁いてかへる」(出典:俳諧・誹諧初学抄(1641)初春)...

凍返るの用語解説を読む