์์ดํฐ ์ ์ ์ฐ๊ฒฐ ์ ๋จ์ถ์ด ์ฑ์ผ๋ก Themis ๋ธ๋๋ฐ์ค๋ฅผ ์๋์ผ๋ก ์คํํ๊ธฐ

์๋ A, B ๊ณผ์ ์ ๊ฐ ์์๋๋ก ์ค์ ํ๋ฉด ์์ดํฐ ์ ์ ์ฐ๊ฒฐ ์ ๋จ์ถ์ด ์ฑ์ผ๋ก Themis ๋ธ๋๋ฐ์ค๋ฅผ ์๋์ผ๋ก ์คํํ ์ ์์ต๋๋ค. A. ๋จ์ถ์ด ์ฑ์ Themis ์คํ ์คํฌ๋ฆฝํธ ์ถ๊ฐํ๊ธฐ 1. ๋จ์ถ์ด ์ฑ์ ์คํํฉ๋๋ค. 2. "๋จ์ถ์ด" ํญ์ ์ ํํ๊ณ , 3. ์๋จ + ๋ฒํผ์ ํฐ์นํ์ฌ ์๋ก์ด ๋จ์ถ์ด๋ฅผ ์ถ๊ฐํฉ๋๋ค. 4. "+ ๋์์ถ๊ฐ" ๋ฒํผ์ ํญํฉ๋๋ค. 5. "์คํฌ๋ฆฝํธํ๊ธฐ" ๋ฒํผ์ ํญํฉ๋๋ค. 6. ํ๋ฉด์ ์คํฌ๋กคํ์ฌ "์ฑ ์ด๊ธฐ" ๋ฒํผ์ ์ฐพ์์ ํญํฉ๋๋ค. 7. "์ฑ ์ด๊ธฐ"์ ํฌํจ๋ "์ฑ"์ ํญํฉ๋๋ค. 8. "Themis"๋ฅผ ๊ฒ์ํ๊ณ , 9. Themis ๋ธ๋๋ฐ์ค ์ฑ์ ์ ํํฉ๋๋ค. 10. "์๋ฃ"๋ฅผ ํญํ์ฌ ์ ์ฅํฉ๋๋ค. 11. ์คํฌ๋ฆฝํธ๊ฐ ์ ์์ ์ผ๋ก ์ถ๊ฐ๋๋ฉด ์๋์ ๊ฐ์ด ํ์๋๊ณ , ๋จ์ถ์ด ๋ฐฐ๊ฒฝ์์ ๋๋ค์
๋๋ค. ์๋ก ์ถ๊ฐ๋ Themis ์คํ ๋จ์ถ์ด๋ฅผ ๊ธธ๊ฒ ํฐ์นํ์ฌ ์ด๋ฆ์ "Themis ์ด๊ธฐ"๋ก ๋ณ๊ฒฝํ์ต๋๋ค. B. ์ ์์ด ์ฐ๊ฒฐ๋ ๋ "Themis ์ด๊ธฐ" ์คํฌ๋ฆฝํธ ์คํํ๊ธฐ 1. "์๋ํ" ํญ์ ์ ํํ๊ณ "์๋ก์ด ์๋ํ" ๋๋ "+" ๋ฒํผ์ ํญํฉ๋๋ค. ๊ธฐ์กด์ ๋ฑ๋ก๋ ์๋ํ ์ ๋ฌด์ ๋ฐ๋ผ ํ์๋๋ ํ๋ฉด์ด ๋ค๋ฆ
๋๋ค. 2. ๊ฒ์์ฐฝ์ "์ถฉ์ "์ ์
๋ ฅํ๊ณ , 3. "์ถฉ์ ๊ธฐ" ํญ๋ชฉ์ ์ ํํฉ๋๋ค. 4. "์ฐ๊ฒฐ๋ ๋"์ "ํ์ธ ํ ์คํ" ํญ๋ชฉ์ ์ ํํ๊ณ , 5. "๋ค์" ๋ฒํผ์ ํญํฉ๋๋ค. ๋ง์ฝ ์ด ํ๋ฉด์์ "์ฆ์ ์คํ"์ ์ ํํ๋ฉด ์ถฉ์ ์ผ์ด๋ธ์ ์ฐ๊ฒฐํ ๋ Themis ๋ธ๋๋ฐ์ค ์ฑ์ด ์ฆ์ ์คํ๋๋๋ฐ, ์ฐจ๋์ด ์๋ ๋ค๋ฅธ ์ฅ์์์ ์ถฉ์ ๊ธฐ๋ฅผ ์ฐ๊ฒฐํ ๋๋ Themis ๋ธ๋๋ฐ์ค ์ฑ์ด ์คํ๋๋ฏ๋ก ์ฐธ๊ณ ํ์๊ธฐ ๋ฐ๋๋๋ค. 6. "๋์ ๋จ์ถ์ด" ํญ๋ชฉ๋ค ์ค์์ "T...