1. 形式化:目前为止,我们的一阶逻辑可以形式化(formalize)一些日常生活中的句子,把它变成一阶逻辑当中的语句,像是什麼所有男生都喜欢女生之类的.
2. 正式确认:hrtimer API 正式确认(formalize)了绝对时间和相对时间之间的区别,要求调用者指定类型. cleanup_module 函数提供了这个 API 的其他几个功能,其中之一是 list_for_each 宏,这个宏简化了列表迭代. 对于这个宏,
3. 使正式:formalization 形式化 | formalize 使正式 | formally 正式地
1. 使正式化;确定
If you formalize a plan, idea, arrangement, or system, you make it formal and official.
e.g. A recent treaty signed by Russia, Canada and Japan formalized an agreement to work together to stop the pirates...
俄罗斯、加拿大和日本最近签署的一项条约将三国共同防止盗版的协议正式确定下来。
e.g. She feels the time has come to formalise her relationship with Tempelsman.
她觉得是时候正式确定和坦佩尔斯曼的关系了。
verb