formaliser

ポケットプログレッシブ仏和・和仏辞典第3版（仏和の部）の解説

[他]〚論〛形式化する．

━se ～腹を立てる，気を悪くする．

出典　ポケットプログレッシブ仏和・和仏辞典第3版（仏和の部）ポケットプログレッシブ仏和・和仏辞典第3版（仏和の部）について　情報 | 凡例

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

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

宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...