formaliser

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

formaliser /fɔrmalize/

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

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

ガラス管球内に入れた高抵抗線に電流を流し,ジュール熱によって高温となり放射する光を利用するもの。抵抗線としてはタングステンが用いられ,その蒸発を防ぐためアルゴンおよび窒素ガスが管内に約 0.7気圧封入...

白熱電球の用語解説を読む