formaliser

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

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

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

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

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

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

［1973～］プロ野球選手。愛知の生まれ。本名、鈴木一朗。平成3年（1991）オリックスに入団。平成6年（1994）、当時のプロ野球新記録となる1シーズン210安打を放ち首位打者となる。平成13年（...