XNUMX๋
๋ฐ ์ , ์ทจ์ฝ์ ์ ๋ํ ๋
์ ์์
์๊ฐ์ด ํ๋ฌ ์์ด ์๋ฃ์์ ๋ฐ๊ฒฌ๋๋ ๋ผํด์ด ๋จ์ด์ ์ฝ์ด ๋ชจ์์ ์์งํ์ผ๋ฉฐ ์ค๋์ ์ด๋ฅผ Habra ๋ ์๋ค๊ณผ ๊ณต์ ํ ์ค๋น๊ฐ ๋์์ต๋๋ค. ์ด๋ฌํ ๋ฌธ๊ตฌ ์ค ๋ค์๋ ๋ฌ์์์ด ํ์ ๋ฌธํ์์ ์ ๊ทน์ ์ผ๋ก ์ฌ์ฉ๋์ง๋ง ์์ด์์๋ ๋๋ ์์ค์์๋ ์์ฃผ ์๋์ผ๋ก ์ฌ์ฉ๋๋ค๋ ์ ์ ์ฃผ๋ชฉํ ๊ฐ์น๊ฐ ์์ต๋๋ค. ์ด ์ปฌ๋ ์ ์ด ๋ฌ์์์ด๋ฅผ ์ฌ์ฉํ๋ ํ๊ฒฝ์์ ๊ณผํ ์์ ์ ์ฐธ์ฌํ์ง ์์ง๋ง ๋ผํด์ด๊ฐ ํฌํจ๋์ด ์์ด ํผ๋์ค๋ฌ์ธ ์ ์๋ ๋ค์ ์ฌ๊ฐํ ์์ด ํ ์คํธ๋ฅผ ์์ฃผ ์ ํ๋ ์ฌ๋๋ค์๊ฒ ์ ์ฉํ ์ ์๊ธฐ๋ฅผ ๋ฐ๋๋๋ค.
์ผ๋ฐ์ ์ธ ์ฝ์ด ๋ฐ ํํ
๋ฑ - ๋ฑ๋ฑ, "๋ฑ." ๋ผํด์ด([หษt หsษt(ษ)ษนษ])๋ก ์ฝ์ผ๋ฉฐ ๋๋ถ๋ถ์ ๋ค๋ฅธ ์ฝ์ด์๋ ๋ฌ๋ฆฌ ๊ตฌ๋ ์ฐ์ค์์ ์์ฃผ ์ฌ์ฉ๋ฉ๋๋ค. ํ๋ฅญํ ๋ฐฉ๋ฒ์ผ๋ก ๋ฐ์์ ๋ฐฐ์ธ ์ ์์ต๋๋ค ์๋ ๋ ธ์ด The Turtles์ - ์ ์ผํ ๋ ธ๋ ๋ฑ ์ฐจํธ์ ์ค๋ฅธ ํ ์คํธ์์.
โซ์๋ ๋
ธ์ด, ์ด๋ฐ, ๋ ์ ๋ง ๋๋จํ ๊ฒ ๊ฐ์
โซ๊ทธ๋ฆฌ๊ณ ๋น์ ์ ์ ๋ง ๋์๊ฒ ์ํด์ค์
โซ๋น์ ์ ๋์ ์๋ถ์ฌ์ด์ ๊ธฐ์จ์
๋๋ค. ๋ฑ
et al. - ๊ทธ๋ฆฌ๊ณ ์๋ฆฌ, "๋ฐ ๊ธฐํ", [ษtหษหl]/[หet หรฆl]๋ก ์ฝ์ต๋๋ค. ๊ฑฐ์ ํญ์ ์ฌ๋์ ์ง์นญํ๋ฉฐ(์ํ ๋ณธ๋ฌธ์์ ์ ์ ๋ชฉ๋ก์ ๋จ์ถํ๊ธฐ ์ํด) ํ ์คํธ์ ๋ค๋ฅธ ์์น๋ฅผ ์์ํ๋ ๊ฒฝ์ฐ๋ ๊ฑฐ์ ์์ต๋๋ค(lat. ์๋ฆฌ๋ฐ์ด๊ฐ ์๋ค) ๊ฒํ ์ค. ๋งค์ฐ ๋๋ฌผ๊ฒ "๋ฑ"์ ์๋ฏธํ๋ ๋ฐ ์ฌ์ฉ๋ฉ๋๋ค. (์๋. ๋ฑ).
์ด๋ฌํ ๋์์ฑ
์ Meltdown๋ง ๋ฐฉ์งํ๋ฉฐ Kocher๊ฐ ์ค๋ช
ํ Spectre ๊ณต๊ฒฉ ํด๋์ค๋ ๋ฐฉ์งํ์ง ์์ต๋๋ค. et al. [40].
์ด๋ฌํ ๋์์ฑ
์ Meltdown๋ง ๋ฐฉ์งํ ๋ฟ์ด๋ฉฐ Kocher et al[40]์ด ์ค๋ช
ํ Spectre ๊ณต๊ฒฉ์ ๋ํด์๋ ํจ๊ณผ๊ฐ ์์ต๋๋ค.
์ฆ - ์์ด๋ ์์คํธ, โ๊ทธ๋ฐ ์๋ฏธ์์โ, โ๊ทธ๋ ์ต๋๋คโ. ์ฝ์ด IE([หaหหiห])๋ก ์ฝ๊ฑฐ๋ ๊ฐ๋จํ ๋ค์๊ณผ ๊ฐ์ด ์ฝ์ต๋๋ค. ๊ทธ๊ฑด.
์ผ์์ ๋ช
๋ น ์ํ์ค๊ฐ โโ์๋ชป๋ ๊ฐ์ผ๋ก ๊ณ์๋๋ ๊ฒ์ ๋ฐฉ์งํ๋ ค๋ฉด, ์ฆ, '0', Meltdown์ '0'์ด ์๋ ๊ฐ์ ๋ฐ๊ฒฌํ ๋๊น์ง ์ฃผ์ ์ฝ๊ธฐ๋ฅผ ๋ค์ ์๋ํฉ๋๋ค(6ํ).
๋ช
๋ น์ ์ ํ ์ํ์ค๊ฐ โโ์๋ชป๋ ๊ฐ์ผ๋ก ๊ณ์ ์คํ๋๋ ๊ฒ์ ๋ฐฉ์งํ๋ ค๋ฉด ๋ค์๊ณผ ๊ฐ์ด ํ์ญ์์ค. "0"์ ์ฌ์ฉํ๋ฉด Meltdown์ "0" ์ด์ธ์ ๊ฐ์ ์ฐพ์ ๋๊น์ง ์ฃผ์๋ฅผ ๋ค์ ์ฝ์ผ๋ ค๊ณ ์๋ํฉ๋๋ค(6ํ). (์ฌ๊ธฐ์ "์๋ชป๋ ๊ฐ"์ ์ค๋ก์ง "0"๋ง์ ์๋ฏธํ๋ฉฐ, ์ฅ ์์ฒด๋ฅผ The Case of 0 - "The Case of Zero"๋ผ๊ณ ํฉ๋๋ค.).
์ฐธ์กฐ - ๋น๋ฐ๋ ๋ผ์ด์ผ์ค, "์ฆ". ๋๋ถ๋ถ์ ๊ฒฝ์ฐ ๋ค์๊ณผ ๊ฐ์ด ์ฝ์ต๋๋ค. ์ฆ ๋๋ ์ฌ์น์. ์์ ์ฆ ๊ทธ ์ ์ด ๋ค๋ฅด๋ค ์ฆ - ์ด๊ฒ์ ์ค๋ช ์ด์ง๋ง ์ฐธ์กฐ โ ์ง์ /๋ชฉ๋ก์ด ๋ฐํ๋ ํ ๊ฐ์ฒด์ ๋ํ ํฌ๊ด์ ์ธ ํ์๊ฐ ์๋ฌดํ๋ฉ๋๋ค. ์ผ๋ถ ์์ํต์ ๋ ์ด์ ์ฌ์ฉ๋์ง ์๋ ๊ฒ์ผ๋ก ๊ฐ์ฃผํฉ๋๋ค. ์ฆ; ์ค์ ๋ก XNUMX์ธ๊ธฐ ํ๋ฐ์ ์ํ์์๋ ์ฐธ์กฐ ํ๋์ธ๋ณด๋ค ํจ์ฌ ๋ ์์ฃผ ๋ฐ์ํฉ๋๋ค.
์ด ์๋ก์ด ์ ํ์ ๊ณต๊ฒฉ์๋ ์ ํํ ์๊ฐ ๊ฐ๊ฒฉ ์ธก์ ์ด ํฌํจ๋๋ฏ๋ก ๋ถ๋ถ์ ์ด๊ณ ๋จ๊ธฐ์ ์ธ ์ํ๋ก Firefox์์ ์ฌ๋ฌ ์๊ฐ ์์ค์ ์ ๋ฐ๋๋ฅผ ๋นํ์ฑํํ๊ฑฐ๋ ์ค์
๋๋ค. ์ฌ๊ธฐ์๋ Performance.now()์ ๊ฐ์ ๋ช
์์ ์์ค์ ๊ณ ํด์๋ ํ์ด๋จธ๋ฅผ ๊ตฌ์ถํ ์ ์๋ ์์์ ์์ค๊ฐ ๋ชจ๋ ํฌํจ๋ฉ๋๋ค. ์ฐธ์กฐ,SharedArrayBuffer.
์ด ์๋ก์ด ์ ํ์ ๊ณต๊ฒฉ์๋ ์๊ฐ ๊ฐ๊ฒฉ์ ์ ํํ ์ธก์ ์ด ํฌํจ๋๋ฏ๋ก ๋ถ๋ถ์ ์ธ ํด๊ฒฐ ๋ฐฉ๋ฒ์ผ๋ก Firefox์์ ์ผ๋ถ ์๊ฐ ์์ค์ ์ ํ์ฑ์ ๋นํ์ฑํํ๊ฑฐ๋ ์ค์
๋๋ค. ์ฌ๊ธฐ์๋performance.now()์ ๊ฐ์ ๋ช
์์ ์์ค์ ๊ณ ํด์๋ ํ์ด๋จธ๋ฅผ ์์ฑํ ์ ์๋ ๊ฐ์ ์ ์ธ ์์ค, ์ฆ SharedArrayBuffer๊ฐ ๋ชจ๋ ํฌํจ๋ฉ๋๋ค.
์ - ์์ Gratia, โ์๋ฅผ ๋ค์ดโ, โํนํโ. ๋ค์๊ณผ ๊ฐ์ด ์ฝ์ต๋๋ค ์๋ฅผ ๋ค๋ฉด, ์ฝ์ด EG๋ก ๋ ์ผ๋ฐ์ ์ ๋๋ค. ์ด์ ๋ ์ฝ์ด์ ๋ฌ๋ฆฌ ์ด๋ ๋ชจ๋ ์๋ฏธ๋ฅผ ๋์ดํ๋ ๊ฒ์ด ์๋๋ผ ์ ํํ๊ฒ ์๋ก์ ์ฌ์ฉ๋ฉ๋๋ค.
Meltdown์ ์ํํธ์จ์ด ์ทจ์ฝ์ ์ ์
์ฉํ์ง ์์ต๋๋ค. ์ฆ, ๋ชจ๋ ์ฃผ์ ์ด์ ์ฒด์ ์์ ์๋ํฉ๋๋ค. ๋์ Meltdown์ ๋๋ถ๋ถ์ ์ต์ ํ๋ก์ธ์์์ ์ฌ์ฉํ ์ ์๋ ๋ถ์ฑ๋ ์ ๋ณด๋ฅผ ํ์ฉํฉ๋๋ค. ์, 2010๋
์ดํ์ ์ต์ Intel ๋ง์ดํฌ๋ก์ํคํ
์ฒ ๋ฐ ์ ์ฌ์ ์ผ๋ก ๋ค๋ฅธ ๊ณต๊ธ์
์ฒด์ ๋ค๋ฅธ CPU์ ํ์ฌ๋ฉ๋๋ค.
Meltdown์ ์ํํธ์จ์ด ์ทจ์ฝ์ ์ ์
์ฉํ์ง ์์ต๋๋ค. ๋ชจ๋ ์ฃผ์ ์ด์ ์ฒด์ ์์ ์๋ํฉ๋๋ค. ๋์ ๋๋ถ๋ถ์ ์ต์ ํ๋ก์ธ์, ํนํ 2010๋
์ดํ์ Intel ๋ง์ดํฌ๋ก์ํคํ
์ฒ์ ๋ค๋ฅธ ์ ์กฐ์
์ฒด์ CPU์์ ์ฌ์ฉํ ์ ์๋ ์ฌ์ด๋ ์ฑ๋ ์ ๋ณด๋ฅผ ์ฌ์ฉํฉ๋๋ค.
NB - ๋ ธํ, "๋ฉ๋ชจ". ๋๋ฌธ์๋ก ์์ฑ๋ฉ๋๋ค.
๋, v. - ๋, โ๋ฐ๋โ, [หvษห.sษs]. ๋ผํด์ด๋ก ๋น๋ฆฐ ๋จ์ด๊ฐ "๊ธํ์ ํ ๋ฐฉํฅ"์ด๋ผ๋ ๋ค๋ฅธ ์๋ฏธ๋ฅผ ๊ฐ์ง๊ณ ์๋ค๋ ์ ์ ์ฃผ๋ชฉํ ๋งํฉ๋๋ค. ์ค์ธ ์ฒ ํ์๋ค์ ์ด ํํ์ ์ฌ์ฉํ์ต๋๋ค. ๋ ๋ฐ์ฐ์ค "Petya๋ ํ์ ๋์ Korovans๋ฅผ ๊ฐํํ๊ณ , ์กํ์ ๊ต์ํ์ ์ ๊ณ ๋ฐ์์ ๋ ๊ธ๊ฒฉํ ๋ณํ์ต๋๋ค. ์ ๊ป".
c., cca., ca., circ. - ...๊ฒฝ, ๋ ์ง๋ฅผ ๊ธฐ์ค์ผ๋ก ํ "์ฝ"์ ๋๋ค. [หsษห.kษ]๋ก ๋ฐ์๋ฉ๋๋ค.
์์ ๋ณํต์ โ "ํน๋ณํ", "์ํฉ์ ๋ฐ๋ฅธ", "์ผ์์ ์ธ", ๋ฌธ์ ๊ทธ๋๋ก "์ด๋ฅผ ์ํด"๋ก ๋ฒ์ญ๋ฉ๋๋ค. ์ด๋ ๊ตฌ์ฒด์ ์ด๊ณ ๋งค์ฐ ์ข์ผ๋ฉฐ ์ข ์ข ๊ธด๊ธํ ๋ฌธ์ ๋ฅผ ํด๊ฒฐํ๋ ๊ฒ์ ์๋ฏธํฉ๋๋ค. "๋ชฉ๋ฐ"์ ์๋ฏธํ๋ ๋ฐ ์ฌ์ฉํ ์ ์์ต๋๋ค.
์ด ๊ด์ฐฐ๋ก ์ธํด ์๋ก์ด Spectre ๋ฐ Meltdown ๊ณต๊ฒฉ ๋ณ์ข
๊ณผ ๊ทธ ์ด์์ ๊ณต๊ฒฉ ๋ณ์ข
์ด ํ์ฐ๋์์ต๋๋ค. ์์ ๋ณํต์ ๋ฐฉ์ด(์: ๋ง์ดํฌ๋ก์ฝ๋ ๋ฐ ์ํํธ์จ์ด ํจ์น)
์ด๋ฌํ ๊ด์ฐฐ๋ก ์ธํด Spectre ๋ฐ Meltdown ๊ณต๊ฒฉ์ ์๋ก์ด ๋ณ์ข
์๊ฐ ์ฆ๊ฐํ๊ณ ์ํฉ๋ณ ๋ฐฉ์ด ์๋ฃจ์
(ํนํ ๋ง์ดํฌ๋ก ๋ช
๋ น ์์คํ
๋ฐ ํจ์น)์ด ๋์ฑ ์ฆ๊ฐํ์ต๋๋ค.
๋ฐ์ดํจ์ค๋ก ์ฌ์ฉํ ์ฝ๋ด์๊ฐ ์๋ค๋ฉด ์๋ตํด๋ ๋ฉ๋๋ค. ์์ ๋ณํต์ ์๋ฃจ์
์
๋๋ค.
๋์ปคํ๋ง ์ปคํจ์ํฐ๊ฐ ์์ผ๋ฉด ์์ ๋ฒํ๋ชฉ์ผ๋ก ์ฌ์ฉํ์ง ์์๋ ๋ฉ๋๋ค.
๊ด๊ณ lib โ ์ฝ์ด ๊ด๊ณ ๋ฌด์ ํ, "์์ง๋๋ก", "์ฆํฅ์ ์ผ๋ก". ์๋ฐ์ฑ, ์ฆํฅ์ฑ, ๊ฐ์์ค๋ฌ์ด ์์ด๋์ด๋ฅผ ๋ํ๋ ๋๋ค. ์์ ์์ ๋ณํต์ ๋ ๋ง์ ์์ ๊ฐ ์์ต๋๋ค. ์ ๊ฒ๋ค. "์ฐ๋ฆฌ์ ๋ผ์ด์ ๊ฐ ํฐ์ก๊ณ , ๋น์๋์์ด ํ ์๊ฐ ์์ ๋์ฐฉํ๊ฒ ๋ค๊ณ ์ฝ์ํ๊ณ , ์ฐ๋ฆฌ๋ ์๋์ด๋ก ๊ตฌ์กฐ๋ฌผ์ ์ธํ๋ฆฌ๋ก ๋ฌถ์ด์ผ ํ์ต๋๋ค." - ์์. โ๋ง๋์ ์ฌ์ํฌ๋ฆผ ์ฌ๋ ๊ฑธ ๊น๋นกํด์ ๋ง์๋ค์ฆ๋ฅผ ๋จน์ด๋ดค์ด์โ - ์ ๋๋ฆฝ.
๋๋ณธ์ ์์ด๋ฒ๋ ค์ ๋งํ์ด์ ๊ด๊ณ lib
๊ฐ์ฌ๋ฅผ ์์ด๋ฒ๋ ค์ ์ฆํฅ์ ์ผ๋ก ๋ง๋ค์์ด์
[sic] - โ์๋ณธ์์๋ ๊ทธ๋ ์ฃ .โ ํ์ ํ ์คํธ์์๋ ์๋์ ์ฒ ์๋ฒ(๋ฐฉ์ธ, ๊ตฌ์, ์ฒ ์ ์ค๋ฅ ๋ฑ)์ ์๋ฏธํฉ๋๋ค. ์์ ๋คํธ์ํฌ๊ฐ ์ฑ์ฅํ๋ฉด์ ํธ์๊ณผ ๊ธฐํ ๊ฒ์๋ฌผ์ ์ค์์ ์คํ๊ฐ ์กฐ๋กฑ๊ฑฐ๋ฆฌ(โ์ด๋ด, ์ ๋ง ๋ฐ๋ณด๊ฐ์!โ)๋ก ๋๋ฆฌ ํผ์ก์ต๋๋ค.
์๋ก ๋น์ ๋ ๋๋๋ ํธ๋ผํ ๋ํต๋ น์ ์ง๋ ํ ์์ผ ํธ์ํฐ๋ฅผ ํตํด ์ค๊ตญ์ด ์ด๋ฒ ์ฃผ ๋ฏธ๊ตญ ๋ฌด์ธ ์ ์ํจ์ ๋ํฌํ '๋ํต๋ น ์๋ ํ์'๋ผ๊ณ ๋น๋ํ๋ฉด์ ๋ฏธ์ค ๊ด๊ณ๋ฅผ ๋์ฑ ๊ธด์ฅ์ํฌ ์ํ์ด ์๋ค๊ณ ๋ฐํ์ต๋๋ค.
์ฐธ๊ณ ๋ฌธํ ๋ฐ ๊ฐ์ฃผ์ ์ฝ์ด
ibid., ์ด๋ธ. - ์ฑ
, ibid (์ถ์ฒ์ ๋ํด);
์ ๋ถ์ฆ. - ๊ฐ๊ฒ, ๋์ผํฉ๋๋ค (์ ์์ ๋ํด). ์๊ฒฉํ ๊ท์น์ ๋ฐ๋ผ ibid. ๋ง ๊ทธ๋๋ก "๊ฐ์ ์ฅ์์"(๊ฐ์ ํ์ด์ง, ๊ฐ์ ์ถ์ฒ)๋ฅผ ์๋ฏธํ๋ฉฐ ์ถ๊ฐ์ ์ธ ์ค๋ช
์ ์๋ฏธํ์ง๋ ์์ต๋๋ค. ์ ๋ถ์ฆ. ๋์ผํ ์ถ์ฒ์ ๋ค๋ฅธ ์์น๋ฅผ ๋ํ๋ด๋ฉฐ ํญ์ ํ์ด์ง ๋ฒํธ(๋๋ Passim). ์ค์ ๋ก ๋ง์ ์๊ฐ๋ค์ด ๋ค์๊ณผ ๊ฐ์ ๋ฐฉ๋ฒ์ ์ฌ์ฉํฉ๋๋ค. ibid. ๊ทธ๋ฆฌ๊ณ ์นจ์ฐฉํ๊ฒ ์ ํ์ด์ง๋ฅผ ์ ๊ณตํ์ธ์.
์ฐ์ฐ. CIT. - ์คํ๋ผ ์ธ์ฉ๋ฌธ, โ์ธ์ฉ๋ ์ ์๋ฌผ.โ ๋ค์์ ๊ฒฝ์ฐ ๊ธฐ์ฌ๋ ์ฑ ์ ์ ๋ชฉ์ ๋ฐ๊ฟ๋๋ค. ibid. ๋์ผํ ์ ์๋ฌผ์ ๋ํ ๋ค๋ฅธ ์ฐธ์กฐ๊ฐ ์ฐ์ฌํด ์๊ธฐ ๋๋ฌธ์ ์ ํฉํ์ง ์์ต๋๋ค(์: ๊ฐ์ฃผ). ์ ์์ ์ฑ์ ๋ฐ์ ์์ฑ๋จ:
์ฐธ์กฐ - ๋ดํ๋ค - "์ฐธ์กฐ", "๋น๊ต". ๊ฐ์ง ์์ ์ฐธ์กฐ ๊ฐ๊ด์ฑ์ ๋์ด๊ธฐ ์ํด ๋ค๋ฅธ ๊ด์ ์ ๋ํ๋ ๋๋ค(์์ ์ ์ฐธ์กฐ).
Passim - "์ด๋์๋". ์ฐพ๊ณ ์๋ ์์ด๋์ด/์ ๋ณด๊ฐ ์์ค ์ ์ฒด์ ์ค๋ฉฐ๋ค์ด ์์ด ์์ค์ ํน์ ํ์ด์ง๋ฅผ ํ์ํ๋ ๊ฒ์ด ๋ถ๊ฐ๋ฅํ ๋ ์ฌ์ฉ๋ฉ๋๋ค.
et seq. - ๋ฑ์ ์์ โ ์์ค์ ํ์ด์ง์ ๋ํ "๋ฐ ์ถ๊ฐ".
f. ะธ ์ํ. - ์ดํ โ ๋ ๋ค๋ฅธ ์ต์ "๋ฐ ์ถ๊ฐ"๋ ๊ณต๋ฐฑ ์์ด ํ์ด์ง ๋ฒํธ ๋ฐ๋ก ๋ค์ ๋ฐฐ์น๋ฉ๋๋ค. ํ๋ f. ํ ํ์ด์ง, ๋ ํ์ด์ง๋ฅผ ์๋ฏธํฉ๋๋ค. ์ํ. โ ํ์ด์ง ์๋ ๋ฌดํํฉ๋๋ค. ์ํ. ๋ ์ผ์ด์ ๋น์ทํ๊ธฐ ๋๋ฌธ์ ๊ฝค ์ธ๊ธฐ๊ฐ ์์ต๋๋ค. ์์ - "ํ์".
์ฐธ๊ณ : ํ๋ ์์ด์์๋ et๋ฅผ ์ฌ์ฉํ์ง ์๋ ๊ฒ์ด ์ข์ต๋๋ค. ์์ ff. ํ์ด์ง ๋ฒ์๋ฅผ ์ง์ ํ์ํ๋ ๊ฒ์ด ์ข์ต๋๋ค.
๊ฑฐ์ ์ฌ์ฉ๋์ง ์๋ ์ฝ์ด
์ ๋ณด ะธ ์ ๋ ์ ๋จน๋ค. - ์ธํ๋ผ, ์์ โ ๊ฐ๊ฐ ์๋์ ์๋ฅผ ์ฐธ์กฐํ์ธ์.
์์น. cit. - ๋ก์ฝ ์ํํ -์๋ ๋ก๊ทธ ibid.
sc. - ์ฆ - "๊ทธ๊ฒ์", ์ ์ฌ์ด ์ฐธ์กฐ
qv - ์ฟผ๋ ๋น๋์ค - "๋ด์", "๋ด์". ๊ฐ์ ์ํ์์๋ ํญ์ ๋ค๋ฅธ ๊ณณ์ ๊ฐ๋ฆฌํจ๋ค. ๊ณ ์ ์ ์ธ ํํ์์๋ ์๊ธ์์กฑํ ์ ์์ต๋๋ค. ์๋ํ๋ฉด ๋ ์๊ฐ ์ํ๋ ์ฅ์ ์ค์ค๋ก ์ฐพ์ ๊ฒ์ด๋ผ๊ณ ๊ฐ์ ํฉ๋๋ค. ํ๋ ์ธ์ด์์๋ ๋ค์์ ์ฌ์ฉํ๋ ๊ฒ์ด ๋ฐ๋์งํฉ๋๋ค. ์ฐธ์กฐ ๋ฌด์์ ๋ณด์์ผ ํ๋์ง์ ๋ํ ์ ํํ ์ง์นจ์ด ํฌํจ๋์ด ์์ต๋๋ค.
์ธ์ธํธ - ํ์ ๋์ฌ - ๊ธฐ๋ณธ์ ์ผ๋ก๋ ์ด๋ ์ต๋๋ค <a href>
ํ์ดํผํ
์คํธ ์์๋ ํน์ ์ฌ์ ํญ๋ชฉ์ ๋ํ๋ด๋ฉฐ, ์ ํํ ์ด๋ฆ์ ์ฝ์ด ๋ฐ๋ก ๋ค์ ๋์ต๋๋ค.
๊ทธ๋ฆฌ๊ณ ์กฐ๊ธ ๋
QED - ์ฟผํธ erat demonstrandum - "์ฆ๋ช ํด์ผ ํ ๊ฒ์ด ๋ฐ๋ก ์ด๊ฒ์ด์์ต๋๋ค."
sl - ์ผ์ค ๋ผํ - "๋์ ์๋ฏธ์์".
๋ด ์ฌ๋ฆ ์์ฆ - ์๊ฒฉํ ๊ฐ๊ฐ - "์๊ฒฉํ ์๋ฏธ์์."
์ถ ์ด์ ์ผ๋ก - "๋ฌธ์ ๊ทธ๋๋ก", "์ถ์ด์ ์ผ๋ก".
์ถ์ฒ : habr.com