ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)の解説
formaliser
[他]〚論〛形式化する.
━se ~ 腹を立てる,気を悪くする.
出典 ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)について 情報 | 凡例
[他]〚論〛形式化する.
━se ~ 腹を立てる,気を悪くする.
出典 ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)について 情報 | 凡例
[他動] …を形式化する:記号を用いて理論の形式的構造を表わす.
ガラス管球内に入れた高抵抗線に電流を流し,ジュール熱によって高温となり放射する光を利用するもの。抵抗線としてはタングステンが用いられ,その蒸発を防ぐためアルゴンおよび窒素ガスが管内に約 0.7気圧封入...