合理化的日文

• このような議論を，以下では正当化された議論と呼ぶ．
  以下将这样的讨论称为合理化了的讨论。
• ．証明論的に正当化された議論は以下の性質を持つ．
  通过证明论合理化的讨论具有以下性质。
• 米国ＦＤＡは考え方を示したガイダンスを発行することにより、申請?審査システムの合理化を推し進めている。
  美国ＦＤＡ发行了用以推进申请审查系统合理化的指导方针。
• 米国ＦＤＡは考え方を示したガイダンスを発行することにより、申請?審査システムの合理化を推し進めている。
  美国ＦＤＡ发行了用以推进申请审查系统合理化的指导方针。
• 住民の食構成は農村部ではますます合理化していく一方、都市部では、バランスが取れない現象が深刻化になっている。
  农村居民膳食结构趋向合理，城市居民膳食失衡加重．
• この場合は帰納法の仮定により，Ａｒｇを根とした高さｋ以下の正当化された対話木が存在する．
  这时根据归纳法的假设，存在以Ａｒｇ为根的高度在ｋ以下的合理化的对话树。
• また，ＭＴＡの８週は石灰化促進しなかったこととして，ｐＨの適正化がなされなかったことが考えられる。
  此外，ＭＴＡ　８周没有促进石灰化，因而无法做到ｐＨ的合理化。
• 対話的証明論における正当化を次のように定める．
  对话形式证明论中的合理化规定如下。
• ＡがＦＡｒｇｓΓの最小不動点に含まれるとき，Ａは．ＡｒｇｓΓのもとで正当化（ｊｕｓｔｉ．ｅｄ）される．
  Ａ包含在ＦＡｒｇｓ的最小不动点中时，Ａ在Ａｒｇｓ下合理化。
• 〈命題７〉議論が証明論的に正当化されていれば，その部分議論も証明論的に正当化されている．
  （命题７）如果讨论通过证明论被合理化的话，其部分讨论也通过证明论合理化。