ตัวอย่าง mechanize

• We can mechanize this idea in type theory, yielding the key technique for expressing high-level programs via elimination operators, hence we reprise it here.

• Fortunately, some of this burden can be alleviated by mechanizing the definition and metatheory of a language.

• Much of the effort in mechanizing semantics today is focused on automatically generating or verifying proofs of the meta-theory of a semantics.

• Therefore, to reduce costs, it is essential that lentil harvest be mechanized.

• There is significant evidence to show that farmers mechanized wherever their means allowed.

• Here we provide a brief overview of developments in mechanizing heart rhythm, structure, or function.

• In other words, mechanized logic is ready for prime time.

• Tractor subsidies have encouraged shedding of labour: already, by the early 1970s, one-quarter of the cultivated area was mechanized.

• In order to avoid blame and penalties, enterprise managers typically employed labour on mundane tasks that could have been mechanized.

• First, mechanized formal methods now have a place in the design of digital artfacts.

• The higher the educational level of the agent, the greater the incentive to mechanize (expected sign of coefficient - positive).

• It was necessary to speak of the soul, but dangerous to mechanize its action.

• In many major mechanized factories, machinery such as peeling machines, splint choppers, veneer choppers, and polishing drums already existed.

• Twenty-nine per cent of them are mechanized, contributing 90 per cent of the total catch, and the remaining are motorized with outboard engines.

• The production process in the former is land extensive, utilizing modern technology, and is to some extent mechanized.