stanford-oval/wikipedia huggingface dataset:
การหาอายุจากคาร์บอนกัมมันตรังสี

การหาอายุจากคาร์บอนกัมมันตรังสี (อังกฤษ: Radiocarbon dating, มักเรียกสั้นๆว่า การหาอายุคาร์บอน) เป็นวิธีการหาอายุจากธาตุกัมมันตรังสี (radiometric dating)  รูปแบบหนึ่งโดยการใช้ปรากฏการณ์ธรรมชาติของ คาร์บอน-14 (14
C) ซึ่งเป็นธาตุกัมมันตรังสี เพื่อประมาณการอายุของวัสดุคาร์บอน-แบริ่ง ได้ถึงประมาณ 58,000 ถึง 62,000 ปี แบบหยาบ หรือ ยังไม่สามารถบ่งชี้ได้แน่ชัด การหาอายุคาร์บอนมักนำมาใช้บ่งบอกอายุของคาร์บอนระหว่าง "ช่วงก่อนปัจจุบัน(BP)" กับ "ช่วงปัจจุบัน" ตามที่กำหนดไว้คือปีคริสต์ศักราช 1950 ซึ่งเป็นอายุที่สามารถบ่งชี้ได้เพื่อเทียบกับวันตามปฏิทิน หนึ่งในสิ่งที่ใช้การคำนวณหาอายุของคาร์บอนมากที่สุดคือ การประมาณการอายุของซากสารประกอบอินทรีย์ที่ได้จากการขุดค้นทางโบราณคดี ในขณะที่พืชเปลี่ยนคาร์บอนไดออกไซด์(CO
2) ในชั้นบรรยากาศ ด้วยการแยกอินทรียวัตถุตามขั้นตอนการสังเคราะห์ด้วยแสง เป็นการเพิ่มปริมาณของ 14
Cให้ใกล้เคียงกับระดับของไอโซโทปคาร์บอนในชั้นบรรยากาศ เมื่อพืชตายหรือถูกกินโดยสิ่งมีชีวิตอื่น(ตัวอย่าง โดยมนุษย์หรือสัตว์อื่นๆ) การสะสมของส่วนประกอบ 14
Cหยุดตัวลง และวัตถุลดลงตามอัตราเลขชี้กำลังเนื่องจากการย่อยสลายธาตุกัมมันตรังสีของ 14
Cจากการเปรียบเทียบอัตราส่วนคงเหลือของ 14
Cของวัตถุตัวอย่างเมื่อเปรียบเทียบจาก 14
Cในชั้นบรรยากาศ ช่วยให้สามารถประเมินอายุของวัตถุตัวอย่างได้
เทคนิคการหาอายุของคาร์บอนนี้ได้รับการพัฒนาโดย Willard Libby และเพื่อนร่วมสถาบันศึกษาของเขาที่มหาวิทยาลัยชิคาโกในปีค.ศ. 1949
ในประเทศไทย หน่วยงานที่ให้บริการตรวจหาอายุด้วยวิธีคาร์บอนกัมมันตรังสีคือ สถาบันเทคโนโลยีนิวเคลียร์แห่งชาติ (องค์การมหาชน)
พื้นฐานทางเคมีและกายภาพ

ธาตุคาร์บอนมีสถานะคงที่ 2 สถานะคือ ไอโซโทปปลอดรังสีได้แก่ คาร์บอน-12 (มีนิวตรอน 6 โปรตอน 6) และ คาร์บอน-13 และไอโซโทปที่ไม่เสถียรคือ คาร์บอน-14 (14
C) ซึ่งมีนิวตรอน 8 ตัว และยังคงหลงเหลือตกค้างอยู่บนโลก คาร์บอน-14 มีอายุสัมพัทธ์ของครึ่งชีวิตประมาณ 5,730 ปี กล่าวคือจำนวนโมเลกุลของคาร์บอน-14 จะเหลือครึ่งหนึ่งเมื่อมีอายุครบ 5,730 ปี โดยการสลายให้อนุภาคบีตา
ตัวอย่างการหาอายุคาร์บอน

รอยเท้าโบราณแห่งอากาฮัวลินกา
ถ้ำชูเวต์
สมุดทะเลเดดซี
ดูลอวคอธี
อีฟแห่งนาฮารอน
สตรีฮารัลด์สแกร์
ชายเคนเนวิก
ผ้าห่อศพแห่งตูริน
ทะเลสาบโครงกระดูก
การปะทุของเขาธีรา
แผนที่วินลันด์
ดูเพิ่ม

Arizona Accelerator Mass Spectrometry Laboratory
Carbon sequestration
Cosmogenic isotopes
Discussion of half-life and average-life or mean-lifetime
Environmental isotopes
Old wood
Radiocarbon - The main international journal of record for research articles and date lists relevant to 14C เก็บถาวร 2007-05-31 ที่ เวย์แบ็กแมชชีน
C14dating.com - General information on Radiocarbon dating เก็บถาวร 2012-07-18 ที่ เวย์แบ็กแมชชีน
calib.org - Calibration program, Marine Reservoir database, and bomb calibration
NOSAMS: National Ocean Sciences Accelerator Mass Spectrometry Facility at the Woods Hole Oceanographic Institution
Discussion of calibration (from U Oxford)
Several calibration programs can be found at www.radiocarbon.org เก็บถาวร 2016-01-26 ที่ เวย์แบ็กแมชชีน
CalPal Online (Cologne Radiocarbon Calibration & Paleoclimate Research Package)
OxCal program (Oxford Calibration)
Fairbanks' Radiocarbon Calibration program (for prior to 12400 BP) เก็บถาวร 2011-08-25 ที่ เวย์แบ็กแมชชีน
Notes on radiocarbon dating, including movies illustrating the atomic physics เก็บถาวร 2010-08-10 ที่ เวย์แบ็กแมชชีน (from UC Santa Barbara)
Carbon Dating-How it works?[ลิงก์เสีย]
1: รูปแบบของ คาร์บอน-14 
2: การสลาย คาร์บอน-14 
3: สมการของสิ่งมีชีวิต และอสมการของสิ่งไม่มีชีวิต ที่ซึ่ง 14
C ย่อยสลาย (ดูกรณีที่ 2)
การออกแบบเชิงอุตสาหกรรม

iPod, ผลิตภัณฑ์ที่ได้รับการออกแบบเชิงอุตสาหกรรม
KitchenAid 5 qt. Stand Mixer, ออกแบบในปี ค.ศ. 1937 โดย Egmont Arens, ยังคงประสบความสำเร็จอย่างมากในวันนี้
Western Electric Model 302 telephone, พบได้ทั่วสหรัฐอเมริกาตั้งแต่ปี ค.ศ. 1937 ไปจนถึงการนำโทรออกสัมผัสเสียง
Calculator Olivetti Divisumma 24 ออกแบบในปี ค.ศ. 1956 โดย Marcello Nizzoli
การออกแบบเชิงอุตสาหกรรม (อังกฤษ: industrial design) เป็นกระบวนการออกแบบที่ประยุกต์ใช้กับผลิตภัณฑ์ที่ผลิตผ่านเทคนิคการผลิตจำนวนมาก มีลักษณะสำคัญคือ การออกแบบนั้นแยกออกจากการผลิต หมายถึง การออกแบบเป็นกิจกรรมเชิงสร้างสรรค์ในการกำหนดรูปแบบและคุณลักษณะของผลิตภัณฑ์ ที่เกิดขึ้นก่อนหน้ากิจกรรมเชิงกายภาพของการผลิตผลิตภัณฑ์ซึ่งเป็นไปในลักษณะการทำซ้ำอย่างแท้จริง และบ่อยครั้งเป็นการผลิตแบบอัตโนมัติ
การออกแบบอุตสาหกรรมนี้แตกต่างจากการออกแบบงานฝีมือ กล่าวคือรูปแบบของผลิตภัณฑ์ถูกกำหนดล่วงหน้าในช่วงเวลาของการคิดสร้างสรรค์โดยผู้สร้างผลิตภัณฑ์
ผลิตภัณฑ์อุตสาหกรรมทั้งหมดเป็นผลที่เกิดขึ้นจากกระบวนการออกแบบ ทั้งนี้ธรรมชาติของกระบวนการออกแบบอุตสาหกรรมอาจมีหลายแนวทางคือ สามารถดำเนินการได้โดยตัวบุคคลหรือโดยทีมขนาดใหญ่; สามารถเน้นความคิดสร้างสรรค์เชิงการหยั่งรู้ หรือ เน้นผลการตัดสินใจที่เกิตจากการคำนวณทางวิทยาศาสตร์ ซึ่งบ่อยครั้งมักจะเน้นทั้งสองแนวทางในเวลาเดียวกัน; และสามารถรับอิทธิพลจากปัจจัยต่างๆ เช่น วัสดุศาสตร์ กระบวนการผลิต กลยุทธทางธุรกิจ และ ทัศนคติทางสังคมการค้าหรือสุนทรียภาพที่แพร่หลายในขณะนั้น
บทบาทของนักออกแบบอุตสาหกรรมคือการสร้างและดำเนินการเพื่อให้เกิดผลลัพธ์ของการออกแบบ เพื่อการแก้ปัญหาทั้งในเรื่องของ รูปแบบ ฟังก์ชันการใช้งาน การยศาสตร์ (ergonomics) การตลาด การพัฒนาแบรนด์ การพัฒนาอย่างยั่งยืน และการขาย
ดูเพิ่ม

การออกแบบการสื่อสาร
การออกแบบปฏิสัมพันธ์
การออกแบบผลิตภัณฑ์
การออกแบบสิ่งแวดล้อม
การออกแบบประสบการณ์
การพัฒนาผลิตภัณฑ์ใหม่
การสร้างสรรค์
การออกแบบทางอารมณ์ โดย Donald Norman
นักออกแบบ
กระบวนการออกแบบทางวิศวกรรม
วิศวกรรมการออกแบบ
ประธานเจ้าหน้าที่ด้านประสบการณ์
ศูนย์สร้างสรรค์งานออกแบบ
Form follows function
Hague system
Hardware interface design
Industrial Designers Society of America
Core77
Rapid prototyping
Sensory design
Sustainable design
Transgenerational design
TU Delft Faculty of Industrial Design Engineering
Virtual product development
WikID
แหล่งข้อมูลอื่น

แม่แบบ:Prone to spam
การูดาอินโดนีเซีย

การูดาอินโดนีเซีย (อังกฤษ: Garuda Indonesia) เป็นสายการบินประจำชาติของประเทศอินโดนีเซีย ตั้งชื่อตามคำในภาษาอังกฤษที่แปลว่า "ครุฑ" ซึ่งเป็นตราแผ่นดินของอินโดนีเซีย สายการบินมีสำนักงานใหญ่ตั้งอยู่ภายในท่าอากาศยานนานาชาติซูการ์โน-ฮัตตาในจังหวัดบันเติน ใกล้กับกรุงจาการ์ตา ทั้งนี้ ในปี ค.ศ. 2014 สายการบินได้รับการจัดอันดับเป็นสายการบิน 5 ดาวจากสกายแทรกซ์
ก่อตั้งเมื่อปี ค.ศ. 1949 ในชื่อ KLM Interinsulair Bedrijf ปัจจุบันเป็นหนึ่งในสายการบินชั้นนำของโลก และเป็นสมาชิกลำดับที่ 20 ของสกายทีม กลุ่มพันธมิตรสายการบินอันดับสองของโลก ให้บริการเที่ยวบินไปยังเอเชียตะวันออกเฉียงใต้ เอเชียตะวันออก ออสเตรเลีย และยุโรปจากฐานการบินที่ท่าอากาศยานนานาชาติซูการ์โน-ฮัตตา
ในคริสต์ทศวรรษ 1980 ถึงกลางคริสต์ทศวรรษ 1990 เป็นยุคที่สายการบินการูดามีความรุ่งเรืองมากที่สุด โดยมีเที่ยวบินไปทุกภูมิภาคของโลก รวมถึงลอสแอนเจลิสในสหรัฐอเมริกา แต่เนื่องจากประสบปัญหาทางการเงิน ตลอดจนเหตุที่ลูกเรือฆาตกรรมนักสิทธิมนุษยชนบนเครื่องบิน  ได้นำไปสู่การตัดลบงบประมาณของสายการบินในที่สุด
แหล่งข้อมูลอื่น

Official website (อังกฤษ) (อินโดนีเซีย) (ญี่ปุ่น) (จีน)
Official website (1996-1997)
Garuda Annual Report 2012
Garuda Indonesia Highlights
| ด ค กสายการบินการูดาอินโดนีเซีย |
| --- | --- | --- |
| บริษัทลูก |  แอโรวิซาตา  ซิตีลิงก์  จีเอ็มเอฟแอโรเอเชีย  |  |
| ชื่อเดิม |  อินโดนีเซียแอร์เวย์  การูดาอินโดนีเซียแอร์เวย์  |  |
| ฝูงบิน |  แอร์บัส เอ330-200  แอร์บัส เอ330-300  แอร์บัส เอ330-900  โบอิง 737-800  โบอิง 777-300อีอาร์  |  |
| ฐานการบินหลัก |  ท่าอากาศยานนานาชาติจูอันดา  ท่าอากาศยานนานาชาติกัวลานามู  ท่าอากาศยานนานาชาติงูระห์ไร  ท่าอากาศยานนานาชาติซูการ์โน-ฮัตตา  ท่าอากาศยานนานาชาติสุลต่านฮาซานูดดิน  |  |
| อุบัติเหตุและอุบัติการณ์ |  GA 708  GA 150  GA 206  GA 035  GA 865  GA 152  GA 421  GA 200  |  |
 จุดหมายปลายทาง
การอธิษฐาน

การอธิษฐาน (อังกฤษ: prayer) หมายถึง การตั้งจิตร้องขอต่อสิ่งที่ตนถือว่าศักดิ์สิทธิ์เพื่อผลอย่างใดอย่างหนึ่ง
การอธิษฐานในศาสนา > ศาสนาพุทธ

บทความหลัก: การอธิษฐานในศาสนาพุทธ
การอธิษฐานในศาสนา > ศาสนาคริสต์

บทความหลัก: การอธิษฐานในศาสนาคริสต์
การอธิษฐานในศาสนา > ศาสนาอิสลาม

บทความหลัก: ละหมาด
การเขียนโปรแกรมเชิงลักษณะ

การเขียนโปรแกรมเชิงลักษณะ (อังกฤษ: aspect-oriented programming - AOP) ในทางวิศวกรรมซอฟต์แวร์ และการพัฒนาซอฟต์แวร์เชิงลักษณะ (อังกฤษ: aspect-oriented software development - AOSD) เป็นความพยายามในการช่วยนักพัฒนาสำหรับแยกคอนเซินในการเขียนโปรแกรม โดยเฉพาะอย่างยิ่งคอนเซินตัดขวาง (crosscutting concern) เพื่อเพิ่มความเป็น module การใช้งาน AOP อาจจะต้องทำการปรับเปลี่ยนภาษาในการพัฒนา ในขณะที่การใช้ AOSD จะรวมถึงความเกี่ยวข้องกับภาษา สภาพแวดล้อมและวิธีการพัฒนา
การเข้าครอบครองกิจการ

ในธุรกิจ การเข้าครอบครองกิจการ (อังกฤษ: Takeover) คือการเข้าซื้อบริษัทหนึ่ง (เป้าหมาย) โดยอีกบริษัทหนึ่ง (ผู้ซื้อ หรือ ผู้เสนอซื้อ) ใน สหราชอาณาจักร คำนี้หมายถึงการเข้าซื้อบริษัทมหาชน ซึ่งมีหุ้นสามัญจดทะเบียนในตลาดหลักทรัพย์ ตรงกันข้ามกับการเข้าซื้อบริษัทเอกชน
ฝ่ายบริหารของบริษัทเป้าหมายอาจหรืออาจไม่เห็นด้วยกับข้อเสนอเข้าครอบครองกิจการ และส่งผลให้มีการแบ่งประเภทการเข้าครอบครองกิจการดังต่อไปนี้: เป็นมิตร ไม่เป็นมิตร ย้อนกลับ หรือพลิกกลับ การจัดหาเงินทุนเพื่อเข้าครอบครองกิจการมักจะเกี่ยวข้องกับการกู้ยืมหรือประเด็นพันธบัตรซึ่งอาจรวมถึง พันธบัตรขยะ และข้อเสนอเงินสดง่าย ๆ นอกจากนี้ยังสามารถรวมหุ้นในบริษัทใหม่ได้ด้วย
| --- | --- |
ฐานข้อมูลการควบคุมรายการหลักฐาน: ประจำชาติ :  เยอรมนี  เช็กเกีย
การเขียนโปรแกรมเชิงตรรกะแบบอุปนัย

การเขียนโปรแกรมเชิงตรรกะแบบอุปนัย (อังกฤษ: inductive logic programming) เป็นการนำวิธีการเรียนรู้ของเครื่องมาใช้ร่วมกับวิธีการเขียนโปรแกรมเชิงตรรกะ ในการเรียนรู้ประเภทการเรียนรู้แบบมีผู้สอน การเขียนโปรแกรมตรรกะแบบอุปนัยมีแนวคิดหลักคือ พยายามสร้างทฤษฎีที่ครอบคลุมตัวอย่างบวกแต่ไม่ครอบคลุมตัวอย่างลบ
การเขียนโปรแกรมตรรกะแบบอุปนัยมีความแตกต่างจากการเรียนรู้ของเครื่องแบบอื่นในส่วนที่ได้มีการนำเอาโปรแกรมเชิงตรรกะมาใช้ในการอธิบายตัวอย่างและสามารถสร้างความรู้ภูมิหลังในรูปของตรรกะอันดับที่หนึ่งได้ ระบบจะทำการเรียนรู้เพื่อสร้างทฤษฎีในรูปแบบของโปรแกรมเชิงตรรกะจากตัวอย่างและความรู้ภูมิหลังที่ได้รับ โดยทฤษฎีที่ได้นี้สามารถนำไปใช้ในการจำแนกตัวอย่างใหม่ที่ระบบยังไม่เคยเห็นหรือไม่ได้ใช้ในการสอนได้ ซึ่งการใช้โปรแกรมตรรกะแบบอุปนัยในการอธิบายสมมติฐานและตัวอย่าง ทำให้มีข้อดีที่เหนือกว่าวิธีอื่นๆ คือ
ความรู้ส่วนใหญ่ของมนุษย์สามารถอธิบายได้ในรูปของตรรกะอันดับที่หนึ่ง ในขณะที่วิธีการเรียนรู้ของเครื่องส่วนใหญ่จะอธิบายในรูปของตรรกศาสตร์ประพจน์ ทำให้อธิบายความรู้ของมนุษย์ได้ไม่ดีเท่าที่ควร และการใช้โปรแกรมตรรกะในการอธิบายแนวคิดที่ได้จากการเรียนรู้ยังสามารถอธิบายแนวคิดได้ซับซ้อนมากกว่าการอธิบายด้วยตรรกศาสตร์ประพจน์
การเขียนโปรแกรมตรรกะแบบอุปนัยสามารถใช้ความรู้ภูมิหลังในการเรียนรู้ได้ง่ายกว่าวิธีการเรียนรู้ของเครื่องแบบอื่น ที่ไม่ได้ใช้การเขียนโปรแกรมเชิงตรรกะ
การอภิปรายไม่ไว้วางใจ

ญัตติไม่ไว้วางใจ หรือ การอภิปรายไม่ไว้วางใจ (อังกฤษ: motion of no-confidence, motion of censure) คือ การที่สมาชิกสภาล่าง (โดยมากเป็นสมาชิกฝ่ายค้าน) เข้าชื่อการเสนอญัตติเพื่อสอบสวนรัฐบาล กระทำเมื่อเห็นว่าการทำงานของรัฐมนตรีหรือคณะรัฐมนตรีไม่เป็นที่พอใจ ในกรณีนี้สมาชิกมีสิทธิเข้าชื่อเสนอญัตติไม่ไว้วางใจ ถือเป็นวิธีการหนึ่งในการควบคุมและตรวจสอบการทำงานของรัฐบาล วิธีอื่นนอกจากนี้ ได้แก่ การตั้งกระทู้ถาม การแสดงบัญชีรายการทรัพย์สินและหนี้สิน การถอดถอนจากตำแหน่ง การอภิปรายไม่ไว้วางใจเป็นวิธีที่เห็นผลชัดเจนที่สุด มีผลกระทบต่อความมั่นคงของรัฐบาลมากที่สุด และยังเป็นการคานอำนาจของฝ่ายบริหาร (รัฐบาล) โดยฝ่ายนิติบัญญัติ (รัฐสภา) ที่ชัดเจนและได้ผลดีที่สุดด้วย
การอภิปรายไม่ไว้วางใจเป็นไปตามหลักการที่ว่า "ฝ่ายบริหารจะอยู่ได้ก็โดยความไว้วางใจของฝ่ายนิติบัญญัติ" ดังนั้นการอภิปรายไม่ไว้วางใจจะมีขึ้นก็ต่อเมื่อรัฐสภาเห็นว่ารัฐมนตรีหรือคณะรัฐมนตรีไม่ควรแก่การไว้วางใจให้ปฏิบัติหน้าที่ต่อไป ซึ่งอาจเกิดจากการตัดสินใจผิดพลาด การใช้อำนาจหน้าที่ในทางมิชอบ เป็นต้น
สหราชอาณาจักร

ตามจารีตประเพณีในระบบเวสต์มินสเตอร์ หากกฎหมายงบประมาณรายจ่ายไม่ผ่านความเห็นชอบของสภาสามัญชน รัฐบาลมีทางเลือกอยู่สองทางคือลาออกหรือเปิดอภิปรายให้จัดการเลือกตั้งใหม่ ซึ่งคล้ายคลึงกับการอภิปรายไม่ไว้วางใจ ในสภาวะการณ์เช่นนี้ รัฐบาลในระบบเวสต์มินสเตอร์จะอยู่ในภาวะกลืนไม่เข้าคายไม่ออกเนื่องจากไม่สามารถใช้จ่ายเงินได้
ประเทศญี่ปุ่น

มาตรา 69 ของรัฐธรรมนูญแห่งประเทศญี่ปุ่น ค.ศ. 1947 บัญญัติว่า "หากสภาผู้แทนราษฎรมีมติเห็นชอบญัตติไม่ไว้วางใจ หรือมีมติไม่เห็นชอบญัตติไว้วางใจ คณะรัฐมนตรีทั้งคณะพึงลาออก เว้นแต่ว่ามีการยุบสภาผู้แทนราษฎรภายในสิบวัน"
ประเทศไทย

บทความหลัก: การอภิปรายไม่ไว้วางใจในประเทศไทย
การอ้างเหตุผลแนวทแยงของคันทอร์

การอ้างเหตุผลแนวทแยงของคันทอร์ (อังกฤษ: Cantor's diagonal argument) เป็นวิธีการพิสูจน์ของเกออร์ค คันทอร์ ที่แสดงให้เห็นว่า จำนวนจริงไม่เป็นอนันต์นับได้ (countably infinite)
วิธีการแนวทแยง ไม่ได้เป็นการพิสูจน์การนับไม่ได้ของจำนวนจริงอันแรกของคันทอร์ แต่เป็นการพิสูจน์ที่เผยแพร่หลัง 3 ปีของการพิสูจน์อันแรก วิธีการพิสูจน์อันแรกของเขาไม่เกี่ยวข้องกับการกระจายทศนิยม หรือระบบตัวเลข
ตั้งแต่ที่มีการใช้วิธีพิสูจน์นี้ ได้มีการพิสูจน์ที่คล้ายๆกันอีกหลายแบบ ซึ่งเรียกว่าเป็นวิธีการแนวทแยง โดยดูจากวิธีที่ใช้ในการพิสูจน์
จำนวนจริง

การพิสูจน์ของคันทอร์ แสดงให้เห็นว่า ช่วง [0,1] ไม่เป็น อนันต์นับได้
การพิสูจน์โดยข้อขัดแย้ง มีขั้นตอนดังนี้
สมมติว่าช่วง [0,1] เป็น อนันต์นับได้
เราจะแจงจำนวนทั้งหมดในช่วงนี้ด้วยลำดับ ( r1, r2, r3, ... )
เรารู้ว่าจำนวนเหล่านี้สามารถเขียนในรูปการกระจายทศนิยมได้
เราจะเรียงจำนวนให้เป็นแถว ในกรณีที่การกระจายทศนิยมเป็น 0.499 ... = 0.500 ..., เราจะเลือกอันที่ลงท้ายด้วย 9. จากตัวอย่าง การกระจายทศนิยมที่เริ่มต้นของลำดับเป็นดังนี้
: r1 = 0 . 5 1 0 5 1 1 0 ...
: r2 = 0 . 4 1 3 2 0 4 3 ...
: r3 = 0 . 8 2 4 5 0 2 6 ...
: r4 = 0 . 2 3 3 0 1 2 6 ...
: r5 = 0 . 4 1 0 7 2 4 6 ...
: r6 = 0 . 9 9 3 7 8 3 8 ...
: r7 = 0 . 0 1 0 5 1 3 5 ...
: ...
เราจะสร้างจำนวนจริง x ซึ่งอยู่ใน [0,1] โดยการพิจารณา เลขหลักที่ k หลังจุดทศนิยมของการกระจายทศนิยมของ rk ซึ่งเราจะขีดเส้นใต้และทำตัวหนาเอาไว้ การพิสูจน์นี้จึงมีชื่อเรียกว่า การพิสูจน์แนวทแยง
: r1 = 0 . 5 1 0 5 1 1 0 ...
: r2 = 0 . 4 1 3 2 0 4 3 ...
: r3 = 0 . 8 2 4 5 0 2 6 ...
: r4 = 0 . 2 3 3 0 1 2 6 ...
: r5 = 0 . 4 1 0 7 2 4 6 ...
: r6 = 0 . 9 9 3 7 8 3 8 ...
: r7 = 0 . 0 1 0 5 1 3 5 ...
: ...
จากทศนิยมเหล่านี้ เราจะนิยามทศนิยมของ x ดังนี้
ถ้าเลขหลักที่ k ของ rk เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 4
ถ้าเลขหลักที่ k ของ rk ไม่เป็น 5 แล้ว เลขหลักที่ k ของ x เป็น 5
ดังนั้น x จึงเป็นจำนวนจริง (เพราะว่าการกระจายทศนิยมอยู่ในรูปจำนวนจริง) ที่อยู่ในช่วง [0,1]. จากตัวอย่างข้างบน เราจะได้การกระจายทศนิยมดังนี้
: x = 0 . 4 5 5 5 5 5 4 ...
เรารู้ว่าจะต้องมี n ที่ทำให้ rn = x เพราะว่าเรากำหนดให้ ( r1, r2, r3, ... ) แจงจำนวนจริงทั้งหมดในช่วง [0,1]
แต่ว่าการเลือกเลข 4 และเลข 5 ของ x ในข้อ (6) จะทำให้ x จะแตกต่างในหลักที่ n ของ rn ดังนั้น x ไม่อยู่ในลำดับ ( r1, r2, r3, ... )
ดังนั้น ลำดับนี้ไม่ได้เป็นการแจงจำนวนจริงทั้งหมดในช่วง [0,1] เกิดข้อขัดแย้ง
ดังนั้น สมมติฐาน (1) ที่ว่าช่วง [0,1] เป็นอนันต์นับได้ จึงเป็นเท็จ
บทพิสูจน์นี้แสดงให้เห็นว่าเซต R ของจำนวนจริงทั้งหมดนั้นนับไม่ได้. ถ้า R นับได้แล้ว เราจะแจงจำนวนจริงทั้งหมดให้อยู่ในลำดับนี้ได้ และทำให้เป็นลำดับ [0,1] โดยการลบจำนวนจริงที่อยู่นอกช่วงนี้ออกไป แต่เราเห็นแล้วว่าไม่สามารถทำได้. นอกจากนี้ เราจะแสดงให้เห็นว่า [0,1] และ R มีขนาดเท่ากันโดยการสร้างฟังก์ชันหนึ่งต่อหนึ่งทั่วถึงระหว่างกัน ซึ่งอาจจะไม่สะดวกสำหรับการทำในช่วง [0,1]; สำหรับช่วงเปิด (0,1) เราจะให้  f\colon (0,1)\rightarrow \mathbb {R} 
โดยนิยามว่า  f(x)=\tan \left(\pi \left(x-{\frac {1}{2}}\right)\right).
การเข้าถึงโดยสุ่ม

การเข้าถึงโดยสุ่ม เปรียบเทียบกับการเข้าถึงเชิงเส้น
ในวิทยาการคอมพิวเตอร์ การเข้าถึงโดยสุ่ม (อังกฤษ: random access) หรือ การเข้าถึงโดยตรง (direct access) คือความสามารถในการเข้าถึงข้อมูลในลำดับภายในเวลาที่เท่าๆกันสำหรับข้อมูลตัวใด ๆ ก็ตาม เวลาในการเข้าถึงข้อมูลนี้ไม่ขึ้นกับกับขนาดของลำดับด้วย ตัวอย่างของการเข้าถึงโดยสุ่มคือการอ่านข้อมูลจากแผ่นซีดี ซึ่งสามารถอ่านข้อมูลตำแหน่งใดๆได้ทันที
การเข้าถึงข้อมูลที่ตรงกันข้ามกับการเข้าถึงโดยสุ่มคือการเข้าถึงเชิงเส้น ซึ่งข้อมูลที่อยู่ไกลกว่าจะเสียเวลาในการเข้าถึงข้อมูลมากกว่า ตัวอย่างเช่นการอ่านข้อมูลจากตลับเทป ซึ่งต้องมีกรอเทปไปยังตำแหน่งที่ต้องการอ่านข้อมูล
สำหรับโครงสร้างข้อมูล ความสามารถในการเข้าถึงโดยสุ่มคือความสามารถในการเข้าถึงรายการได้ภายในเวลาคงที่ หรือ  O(1) ซึ่งโครงสร้างข้อมูลที่เรียบง่ายที่สุดที่มีความสามารถนี้ก็คือแถวลำดับ โครงสร้างข้อมูลที่เหลือที่มีความสามารถนี้ โดยมากแล้วก็จะมาจากการดัดแปลงแถวลำดับ เช่น แถวลำดับพลวัต อย่างไรก็ตาม การมีความสามารถในการเข้าถึงโดยสุ่มก็ความหมายอีกนัยหนึ่งว่าที่อยู่ของหน่วยความจำต้องเรียงกันแบบมีแบบแผน ดังนั้นจึงทำให้โครงสร้างข้อมูลทั้งหลายที่มีความสามารถนี้ไม่สามารถเพิ่มข้อมูลกลางรายการได้อย่างมีประสิทธิภาพ บางโครงสร้างข้อมูลเช่นรายการโยงแลกความสามารถในการเข้าถึงแบบสุ่มด้วยความสามารถในการเพิ่มและลบข้อมูลกลางรายการแทน
ความสามารถในการเข้าถึงโดยสุ่มมีความสำคัญมาก มีขั้นตอนวิธีมากมายที่ใช้ประโยชน์จากโครงสร้างข้อมูลที่มีการเข้าถึงข้อมูลโดยสุ่ม เช่น การค้นหาแบบทวิภาค ขั้นตอนวิธีการเรียงลำดับ ตะแกรงเอราทอสเทนีส เป็นต้น
การออกแบบใช้คอมพิวเตอร์ช่วย

ตัวอย่าง:การวาด CAD 2 มิติ
ตัวอย่าง:การวาด CAD 3 มิติ
การออกแบบใช้คอมพิวเตอร์ช่วย (อังกฤษ: Computer-aided design) เป็นการใช้ระบบคอมพิวเตอร์ เพื่อช่วยในการสร้าง ,การปรับเปลี่ยน ,การวิเคราะห์ หรือ การเพิ่มประสิทธิภาพของการออกแบบ ซอฟต์แวร์ CAD ถูกใช้เพื่อเพิ่มประสิทธิภาพการทำงานของนักออกแบบปรับปรุงคุณภาพ ,การออกแบบปรับปรุง ,การสื่อสารผ่านเอกสา รและเพื่อสร้างฐานข้อมูลสำหรับการผลิต ผลผลิต CAD มักอยู่ในรูปแบบของไฟล์อิเล็กทรอนิกส์สำหรับการพิมพ์ ,การตัดเฉือน หรือการดำเนินการผลิตอื่น ๆ
การใช้งานในการออกแบบระบบอิเล็กทรอนิกส์เป็นที่รู้จักกันคือ Electronic design automation ในการออกแบบวิศวกรรมเครื่องกล เป็นที่รู้จักกันคือ mechanical design automation (MDA) หรือ computer-aided drafting (CAD) ซึ่งรวมถึงกระบวนการในการสร้างภาพวาดทางเทคนิคด้วยการใช้ซอฟต์แวร์คอมพิวเตอร์
ซอฟต์แวร์ CAD สำหรับการออกแบบเชิงกลใช้กราฟิกแบบเวกเตอร์เพื่ออธิบายถึงวัตถุในแบบร่างหรืออาจสร้างกราฟิกแรสเตอร์ที่แสดงลักษณะโดยรวมของวัตถุที่ออกแบบ
CAD อาจถูกนำมาใช้ในการออกแบบเส้นโค้งและตัวเลขใน2 มิติ หรือ เส้นโค้ง ,พื้นผิว และของแข็งเข้าใน3 มิติ
CAD เป็นศิลปะอุตสาหกรรมที่สำคัญที่ใช้กันอย่างแพร่หลายในหลาย ๆ ด้าน รวมถึง อุตสาหกรรมยานยนต์ ,การต่อเรือและอวกาศ ,การออกแบบทางอุตสาหกรรม ,สถาปัตยกรรมการทำเทียม และอื่น ๆ อีกมากมาย CAD ยังใช้กันอย่างแพร่หลายในการสร้างภาพเคลื่อนไหวคอมพิวเตอร์สำหรับเอฟเฟ็กต์พิเศษในภาพยนตร์โฆษณาและคู่มือทางเทคนิคที่เรียกว่าการสร้างเนื้อหาดิจิทัล DCC
ดูเพิ่ม

ซอฟต์แวร์คอมพิวเตอร์กราฟฟิกส์ 3 มิติ
การสร้างแบบจำลองสามมิติ
การพิมพ์ 3 มิติ
Additive Manufacturing File Format
CAD standards
Coarse space (numerical analysis)
การเปรียบเทียบของซอฟต์แวร์คอมพิวเตอร์กราฟฟิกส์ 3 มิติ
การเปรียบเทียบของนักตัดต่อการออกแบบใช้คอมพิวเตอร์ช่วย
การเปรียบเทียบของไฟล์วิวเวอร์ส CAD, CAM และ CAE
Comparison of Free EDA software (Electronic Design Automation)
การออกแบบอุตสาหกรรมใช้คอมพิวเตอร์ช่วย
สถาปัตยกรรมดิจิทัล
การออกแบบระบบอิเล็กทรอนิกส์อัตโนมัติ
การเพิ่มประสิทธิภาพด้านวิศวกรรม
ระเบียบวิธีไฟไนต์เอลิเมนต์
Integrating functionality
ISO 128
ISO 10303 STEP
Model based definition
Molecular design software
โอเพนซอร์สฮาร์ตแวร์
เทคโนโลยีการสร้างต้นแบบรวดเร็ว
Space mapping
Surrogate model
Virtual prototyping
ความเป็นจริงเสมือน
แหล่งข้อมูลอื่น

MIT 1982 CAD lab
แม่แบบ:Wikiversity-inline
แม่แบบ:Wikiversity-inline
วิกิมีเดียคอมมอนส์มีสื่อเกี่ยวกับ Computer-aided design
นิยามแบบพจนานุกรมของ การออกแบบใช้คอมพิวเตอร์ช่วย ที่วิกิพจนานุกรม
การเกิดลิ่มเลือดและสิ่งหลุดอุดหลอดเลือดภายหลังการได้รับวัคซีนโควิด-19

| การเกิดลิ่มเลือดและสิ่งหลุดอุดหลอดเลือดภายหลังการได้รับวัคซีน (post-vaccination embolic and thrombotic event) |
| --- | --- |
ชื่ออื่น: vaccine-induced prothrombotic immune thrombocytopenia (VIPIT), vaccine-induced thrombotic thrombocytopenia (VITT), thrombotis with thrombocytopenia syndrome (TTS)

เกล็ดเลือดต่ำ เป็นอาการหนึ่งของภาวะนี้
การตั้งต้น: 5-28 วัน หลังได้วัคซีน
วิธีวินิจฉัย: วินิจฉัยจากอาการ, การตรวจนับเม็ดเลือด, การตรวจดีไดเมอร์
ความชุก: พบ 390 ราย จากการฉีดวัคซีน (AZD1222) 24.6 ล้านครั้ง
การเสียชีวิต: เสียชีวิต 71 ราย จากผู้ป่วย 390 คน (AZD1222)
การเกิดลิ่มเลือดและสิ่งหลุดอุดหลอดเลือดภายหลังการได้รับวัคซีน (อังกฤษ: post-vaccination embolic and thrombotic event), ภาวะเกล็ดเลือดต่ำจากภูมิคุ้มกันชนิดทำให้เกิดลิ่มเลือดที่ถูกชักนำด้วยวัคซีน (อังกฤษ: vaccine-induced prothrombotic immune thrombocytopenia, VIPIT), ภาวะเกล็ดเลือดต่ำจากภูมิคุ้มกันที่ถูกชักนำด้วยวัคซีน (อังกฤษ: vaccine-induced thrombotic thrombocytopenia, VITT) หรือ กลุ่มอาการเกล็ดเลือดต่ำและมีลิ่มเลือด (อังกฤษ: thrombotis with thrombocytopenia syndrome, TTS) เป็นโรคที่ร่างกายมีการสร้างลิ่มเลือดอย่างผิดปกติที่พบได้น้อยมากชนิดหนึ่ง ถูกพบครั้งแรกในคนจำนวนน้อยที่เคยได้รับวัคซีนโควิด-19 ของออกซฟอร์ด-แอสตราเซเนกาในช่วงการระบาดทั่วของโควิด-19 และต่อมาก็พบในคนที่ได้รับวัคซีนโควิด-19 ของจอห์นสันแอนด์จอห์นสัน ทำให้หน่วยงานที่เกี่ยวข้องต้องประเมินความปลอดภัยของวัคซีนเหล่านี้ใหม่อีกครั้ง
เชิงอรรถ

↑  วัคซีนโควิด-19 ของออกซฟอร์ด-แอสตราเซเนกา เดิมมีชื่อรหัสระหว่างการวิจัยว่า AZD1222, ต่อมาจึงได้จำหน่ายในชื่อการค้าหลายชื่อ เช่น  Vaxzevria และ Covishield.
↑  วัคซีนโควิด-19 ของจอห์นสันแอนด์จอห์นสันยังเป็นที่รู้จักในชื่อวัคซีนโควิด-19 ของแจนเซ่น วัคซีนนี้ผลิตโดยบริษัทแจนเซ่นฟาร์มาซูติคอล ซึ่งเป็นบริษัทที่ถือครองโดยจอห์นสันแอนด์จอห์นสัน
การเข้าป้อม

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |

การเข้าป้อม หรือ การเดินเข้าป้อม (อังกฤษ: castling) เป็นการเดินในเกมหมากรุกสากล ระหว่างขุนกับเรือในตำแหน่งแรกเริ่มของผู้เล่น ซึ่งเป็นการเคลื่อนที่ของหมากรุก 2 ตัวในตาเดียวกัน และเป็นการย้ายไปข้างหนึ่งนอกเหนือจากม้าที่สามารถ"กระโดดข้าม"กันได้
การเข้าป้อม ประกอบด้วยการย้ายขุนสองช่องไปทางที่มีเรือในแถวแรกของผู้เล่น จากนั้นก็ย้ายเรือไปยังช่องที่ขุนได้ข้ามมา การเข้าป้อมสามารถทำได้เฉพาะก็ต่อเมื่อตัวขุนไม่ยังเคยขยับ, เรือที่จะสับยังไม่เคยขยับ, ช่องระหว่างขุนและเรือไม่มีตัวใดขวาง, ตัวขุนยังไม่ถูกรุก และขุนจะไม่ข้ามฝั่งหรือจบในช่องที่มันถูกรุก การเข้าป้อมเป็นหนึ่งในกติกาหมากรุกสากล รวมถึงเป็นเทคนิคการย้ายขุน (Hooper & Whyld 1992:71)
การบันทึกหมากสำหรับการเข้าป้อม ทั้งระบบเชิงพรรณนาและเชิงพีชคณิต คือ 0-0 ร่วมกับเรือฝั่งคิง และ 0-0-0 ร่วมกับเรือฝั่งควีน ส่วนในบันทึกเกมแบบพกพา จะใช้ O-O และ O-O-O แทน การเข้าป้อมฝั่งคิงบางครั้งเรียกการเข้าป้อมระยะใกล้ และการเข้าป้อมฝั่งควีนบางครั้งเรียกการเข้าป้อมระยะไกล – ความแตกต่างขึ้นอยู่กับว่าเรือจะเคลื่อนที่ระยะใกล้ (สองช่องสี่เหลี่ยม) หรือระยะไกล (สามช่องสี่เหลี่ยม) (Hooper & Whyld 1992)
การเข้าป้อมได้รับการเพิ่มลงในหมากรุกยุโรปช่วงศตวรรษที่ 14 หรือ 15 และยังไม่ได้พัฒนาเป็นรูปแบบอย่างที่เห็นในปัจจุบันจนถึงศตวรรษที่ 17 ส่วนหมากรุกของเอเชียไม่ได้มีการเคลื่อนที่เช่นนี้
การผ่าตัดเชื่อมข้อกระดูกสันหลัง

| การผ่าตัดเชื่อมข้อกระดูกสันหลัง (Spinal fusion) |
| --- | --- |
การแทรกแซง
การเชื่อมกระดูกสันหลัง L5 และ S1
ICD-9-CM: 81.0
MeSH: D013123
MedlinePlus: 002968
การผ่าตัดเชื่อมข้อกระดูกสันหลัง (อังกฤษ: Spinal fusion, spondylodesis, spondylosyndesis)
เป็นเทคนิคทางศัลยศาสตร์ออร์โทพีดิกส์เพื่อเชื่อมข้อกระดูกสันหลังสองข้อหรือมากกว่านั้น
ซึ่งสามารถทำได้ที่กระดูกสันหลังส่วนคอ ส่วนอก และส่วนเอว เพื่อกันข้อกระดูกที่เชื่อมกันไม่ให้เคลื่อนไหว
มีวิธีการเชื่อมกระดูกหลายอย่าง แต่ละอย่างจะมีการปลูกถ่ายกระดูก (bone grafting)
ไม่ว่าจะมาจากคนไข้เอง (autograft) ได้จากผู้บริจาค (allograft) หรือจากกระดูกเทียม เพื่อช่วยเชื่อมกระดูกที่เกี่ยวข้อง
และบ่อยครั้งจะต้องใช้อุปกรณ์อื่น ๆ (รวมทั้งสกรู แผ่นวัสดุ หรือกรง) เพื่อยึดกระดูกให้อยู่กับที่ในขณะที่กระดูกปลูกถ่ายเชื่อมข้อกระดูกเข้าด้วยกัน
การผ่าตัดเชื่อมข้อกระดูกสันหลังทำมากที่สุดเพื่อบรรเทาความปวดและแรงกดต่อไขสันหลัง ที่เกิดเมื่อหมอนกระดูกสันหลัง (กระดูกอ่อนระหว่างข้อกระดูก) เสื่อม (degenerative disc disease)
อาการทางแพทย์อื่น ๆ ที่รักษาด้วยวิธีนี้รวมทั้งช่องไขสันหลังตีบ กระดูกสันหลังเคลื่อน กระดูกสันหลังเสื่อม กระดูกสันหลังหัก กระดูกสันหลังคด และหลังโกง
เหมือนกับการผ่าตัดอื่น ๆ ภาวะแทรกซ้อนอาจรวมทั้งการติดเชื้อ การเสียเลือด และความเสียหายต่อประสาท
การเชื่อมยังเปลี่ยนการเคลื่อนไหวปกติของกระดูกสันหลัง ซึ่งสร้างภาระมากขึ้นกับข้อกระดูกเหนือและใต้ข้อที่เชื่อมเข้าด้วยกัน
ดังนั้น ภาวะแทรกซ้อนระยะยาวก็คือกระดูกที่มีภาระมากขึ้นจะเสื่อม