英和和英

語源

Recorded c.1430, "division into shares, distinction," from 中期英語 particioun, from Old French particion (modern partition), from Latin partitio, partitionem (“division, portion”), from partitus, the past participle of partire (“to split (up), part(ition)”).

発音

• (Received Pronunciation) IPA: /pɑːˈtɪ.ʃən/, [pʰɑːˈtʰɪ.ʃn̩]
• (General American) IPA: /pɑɹˈtɪ.ʃən/, [pʰɑɹˈtʰɪ.ʃn̩]
• 韻: -ɪʃən
• ハイフネーション: par‧ti‧tion

名詞

partition (countable and uncountable, plural partitions)

1. An action which divides a thing into parts, or separates one thing from another.

   the partitions of Poland

   • c. 1596–1599 (date written), William Shakespeare, “The Second Part of Henry the Fourth, […]. Epilogue.”, in Mr. William Shakespeares Comedies, Histories, & Tragedies […] (First Folio), London: […] Isaac Iaggard, and Ed[ward] Blount, published 1623, →OCLC, [Act IV, scene i]:

     And good from bad find no partition.

   • 1958 May, “Decline in Irish Railway Mileage”, in Railway Magazine, page 295:

     At the partition of Ireland in 1920, the railway mileage of the whole country stood at its maximum figure of 3,442, of which 2,668 miles were in the South, and 754 in the much smaller North.

2. A part of something that has been divided.

   the Russian Partition

3. (mathematics) An approach to division in which one asks what the size of each part is, rather than (as in quotition) how many parts there are.
4. The division of a territory into two or more autonomous ones.

   Monarchies where partition isn't prohibited risk weakening through parcellation and civil wars between the heirs.

5. A vertical structure that divides a room.

   a brick partition; lath and plaster partitions

6. That which divides or separates; that by which different things, or distinct parts of the same thing, are separated; boundary; dividing line or space.
   • 1700, [John] Dryden, “The Flower and the Leaf: Or, The Lady in the Arbour. A Vision.”, in Fables Ancient and Modern; […], London: […] Jacob Tonson, […], →OCLC:

     No sight could pass / Betwixt the nice partitions of the grass.

7. A part divided off by walls; an apartment; a compartment.
   • 1667, John Milton, “Book VIII”, in Paradise Lost. […], London: […] [Samuel Simmons], and are to be sold by Peter Parker […]; [a]nd by Robert Boulter […]; [a]nd Matthias Walker, […], →OCLC; republished as Paradise Lost in Ten Books: […], London: Basil Montagu Pickering […], 1873, →OCLC:

     Lodged in a small partition.

8. (law) The severance of common or undivided interests, particularly in real estate. It may be effected by consent of parties, or by compulsion of law.
9. (computing) A section of a hard disk separately formatted.

   Hyponyms: extended partition, primary partition, swap partition

   • 2007 September 25, Bungie, Halo 3, Microsoft Game Studios, Xbox 360, level/area: Terminal Three (Legendary):

     The epicenter of the disturbance is the partition currently housing a [personality construct array] retrieved from Contender AI 05-032 <+> 0816.

10. (databases) A division of a database or one of its constituting elements such as tables into separate independent parts.
11. (computing) A division of a data stream, such as a messaging queue or topic (often representing a unit of parallelism, and of fault tolerance).
12. (set theory) A collection of non-empty, disjoint subsets of a set whose union is the set itself (i.e. all elements of the set are contained in exactly one of the subsets).
13. (music) A musical score.

使用する際の注意点

• (set theory): The elements of the collection are sometimes called the blocks or parts of the partition.

同意語

• dismemberment

派生語

関連する語

• partite

動詞

partition (third-person singular simple present partitions, present participle partitioning, simple past and past participle partitioned) (transitive)

1. To divide something into parts, sections or shares.

   to partition a hard drive

2. To divide a region or country into two or more territories with separate political status.

   Poland was progressively partitioned by Russia, Austria, and Prussia in the late 18th century.

3. To separate or divide a room by a partition (ex. a wall), often use with off.

同意語

• dismember

派生語

関連する語

• partner