ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)の解説
formaliser
[他]〚論〛形式化する.
━se ~ 腹を立てる,気を悪くする.
出典 ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)について 情報 | 凡例
[他]〚論〛形式化する.
━se ~ 腹を立てる,気を悪くする.
出典 ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)ポケットプログレッシブ仏和・和仏辞典 第3版(仏和の部)について 情報 | 凡例
[他動] …を形式化する:記号を用いて理論の形式的構造を表わす.
ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...