summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex')
-rw-r--r--Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex1377
1 files changed, 0 insertions, 1377 deletions
diff --git a/Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex b/Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex
deleted file mode 100644
index c392205ca52..00000000000
--- a/Master/texmf-dist/doc/latex/kotex-oblivoir/oblivoir-test.tex
+++ /dev/null
@@ -1,1377 +0,0 @@
-% -*- UTF-8 : LaTeX -*-
-%%
-%% 2013/09/28. xoblivoir ver2 버전으로 포팅.
-%% 2010/03/17. xoblivoir 버전으로 포팅
-%%
-%% memhangul-ucs v1.44 테스트 파일
-%% Written by 도은이아빠.
-%%
-
-\documentclass[demo,chapter,openany,amsmath,gremph,adjustmath]{xoblivoir}
-%%% amsmath 옵션은 amsmath, amssymb 패키지를 로드해준다..
-
-%\usepackage[logonly]{trace} %% for debugging.
-\let\traceon\relax\let\traceoff\relax
-
-%%% display overfullrule
-%\setlength\overfullrule{5pt}
-
-%% 페이지 레이아웃. fapapersize를 이용한다..
-\usepackage{fapapersize}
-\usefapapersize{220mm,276mm,20mm,80mm,30mm,35mm}
-
-%% 폰트 설정
-\def\DefaultFont{HCR Batang LVT}
-\ifPDFTeX
- \usepackage{mathpazo}
-\else\ifLuaOrXeTeX
- \defaultfontfeatures{Mapping=tex-text,Ligatures=TeX}
- \setmainfont{TeX Gyre Pagella}
- \usepackage{unicode-math}
- \setmathfont{Asana-Math.otf}
- \setsansfont[Scale=.95]{TeX Gyre Heros}
- \setkormainfont[ItalicFont=\DefaultFont,ItalicFeatures={FakeSlant=.167}]{\DefaultFont}[]{\DefaultFont}
- \setkorsansfont[]{NanumGothic}[]{HCR Dotum LVT}
-\fi\fi
-
-\ifLuaTeX
-\def\interHANGUL{InterHangul}
-\let\circemph=\dotemph
-\else\ifXeTeX
-\def\interHANGUL{interhchar}
-\fi\fi
-
-%% logos
-\usepackage{hologo}
-
-%%% marginfix
-%\usepackage{marginfix}
-
-%% 좌우 마진의 marginpar 위치가 혼선을 보인다면
-%% 다음을 선언한다.
-\strictpagecheck
-
-\usepackage{cite}
-
-\ifPDFTeX
-\usepackage{graphicx}
-\fi
-\usepackage[dvipsnames]{xcolor}
-%% pdf 정보
-\hypersetup{%
- bookmarks=true,%
- plainpages=false,%
- colorlinks=true,%
- pdfauthor={Karnes Kim},%
- pdfcreator={Karnes Kim}
-}
-
-\nonfrenchspacing
-%% nonfrench를 설정하는 경우에는 \xspaceskip도 정해주자.
-%% 여기서는 눈에 띄도록 이 길이를 넉넉하게 잡았음.
-%% 일반적으로 .6 내지 .7 정도를 권장함.
-\xspaceskip=.8em plus .1em minus .1em
-
-%% 이 아래 명령들은 본문에서 바꿀 수 있다.
-%% 행간설정. 두번째 인자는 fn/float에 적용되는 행간.
-\SetHangulspace{1.5}{1.1}
-%% quotespacing을 설정함. \noadjustqutespacing이 default. \adjustquotespacing
-%\adjustquotespacing
-%% float/fn의 좁은 행간 설정을 disable. \adjustfloatfnspacing
-\noadjustfloatfnspacing
-
-%% snugshade 환경에 칠할 배경색.
-\definecolor{shadecolor}{gray}{0.85}
-
-%%% from memman.tex. modified.
-%% 본문에서 한 번 사용하기 위해 설정한 chapter
-%% style 예제. 이 예제는 memman에 있다.
-%% 한글판을 위하여 조금 수정함.
-\makeatletter
-\newlength{\numberheight}
-\newlength{\barlength}
-\makechapterstyle{veelo}{%
- \setlength{\beforechapskip}{40pt}
- \setlength{\midchapskip}{25pt}
- \setlength{\afterchapskip}{40pt}
- \renewcommand{\chapnamefont}{\normalfont\LARGE\flushright}
- \renewcommand{\chapnumfont}{\normalfont\HUGE}
- \renewcommand{\chaptitlefont}{\normalfont\HUGE\bfseries\flushright}
- \renewcommand{\printchaptername}{}%
- \renewcommand{\prechapternum}{% <= 이 명령을 정의.
- \chapnamefont\MakeUppercase{chapter}}
- \renewcommand{\postchapternum}{}% <= 이 명령을 정의. 여기서는 비움.
- \renewcommand{\chapternamenum}{}
- \setlength{\numberheight}{18mm}
- \setlength{\barlength}{\paperwidth}
- \addtolength{\barlength}{-\textwidth}
- \addtolength{\barlength}{-\spinemargin}
- \renewcommand{\printchapternum}{%
- \makebox[0pt][l]{%
- \hspace{.8em}%
- \resizebox{!}{\numberheight}{\chapnumfont \thechapter}%
- \hspace{.8em}%
- \rule{\barlength}{\numberheight}
- }
- }
- \makeoddfoot{plain}{}{}{\thepage}
-}
-
-\makechapterstyle{mycompanion}{%
- \chapterstyle{default}
- \renewcommand*{\chapnamefont}{\normalfont\LARGE\scshape}
- \renewcommand*{\printchaptername}{\raggedleft\chapnamefont \@chapapp}
- \renewcommand*{\prechapternum}{\raggedleft\chapnamefont \pre@chapter}
- \renewcommand*{\chapnumfont}{\normalfont\Huge}
- \setlength{\chapindent}{\marginparsep}
- \renewcommand*{\printchaptertitle}[1]{%
- \begin{adjustwidth}{}{-\chapindent}
- \raggedleft \chaptitlefont ##1\par\nobreak
- \end{adjustwidth}}}
-
-\makeatother
-
-%%% User's commands
-%% 사용자 명령들. 인덱스 관련 명령.
-\newcommand\dispcmd[1]{%
- \texttt{\textbackslash #1}%
- \index{명령!\textbackslash #1}%
- \index{#1@\textbackslash #1}%
-}
-
-\newcommand\cls[1]{%
- \texttt{#1}\ 클래스%
- \index{클래스!#1}%
- \index{#1~클래스}%
-}
-
-\newcommand\pkg[1]{%
- \texttt{#1}\ 패키지%
- \index{패키지!#1}%
- \index{#1~패키지}%
-}
-
-\newcommand\thisclass{%
- \texttt{memoir}\ 클래스%
- \index{클래스!memoir}%
- \index{memoir~클래스}%
-}
-
-\newcommand\env[1]{%
- \textsf{#1} 환경%
- \index{환경!#1}%
- \index{#1~환경}%
-}
-
-\newcommand\wi[2][\empty]{%
- \ifx#1\empty
- \index{#2}#2%
- \else
- \index{#1!#2}#2%
- \fi
-}
-
-%% showcommand/showenv 명령.
-%% 만약 command/env 보여주기를 끄려면
-%% \showcommandfalse를 선언한다.
-\makeatletter
-\newif\if@showcommand\@showcommandtrue
-\newcommand\showcommandtrue{\@showcommandtrue}
-\newcommand\showcommandfalse{\@showcommandfalse}
-
-\strictpagechecktrue
-
-\newcommand\showcommand[1]{%
- \if@showcommand
- \checkoddpage\ifoddpage
- \marginpar{\small\texttt{\textbackslash #1}}%
- \else
- \marginpar{\hfill\small\texttt{\textbackslash #1}}%
- \fi
- \fi
-}
-
-\newcommand\showenv[1]{%
- \if@showcommand
- \checkoddpage\ifoddpage
- \marginpar{\small\textit{#1}(env.)}%
- \else
- \marginpar{\hfill\small\textit{#1}(env.)}%
- \fi
- \fi
-}
-\makeatother
-
-%% MakeShortVerb
-\MakeShortVerb{\|}
-% \DeleteShortVerb{\|}
-
-%% 인덱스의 hyperpage 처리를 위해서
-\newcommand\bfhypidx[1]{%
- \textbf{\hyperpage{#1}}%
-}
-
-%% replace \bigskip
-\newcommand\alineskip{%
- \vspace{\onelineskip}%
-}
-
-%% showindexmark
-%% 여백을 충분히 확보하고 다음 행을
-%% 활성화해볼 것.
-%\showindexmarktrue
-
-%% 문장 부호 관련 명령은 스타일에 포함시켰음.
-%% \bnm, \snm, \cnm, \ccnm.
-
-%% index를 만든다.
-%% makeindex를 실행할 때는 makeindex-dhucs.pl을 이용할 것.
-%% #> perl makeindex-dhucs.pl -s dhhangulucs.ist <filename>
-%%
-\makeindex
-
-%% newlist
-%% 새로운 리스트를 만드는 것이 정말 너무나 간단하다.
-\newcommand\queryfont{\raggedleft\sffamily\small}
-\newcommand\listofqueriesname{Queries~목록}
-\newlistof{listofqueries}{loq}{\listofqueriesname}
-\newlistentry{query}{loq}{0}
-\newcommand{\query}[2][\empty]{%
- \refstepcounter{query}
- \par\noindent\fbox{Q?}~\begingroup\queryfont #2\endgroup%
- \addcontentsline{loq}{query}{\protect\numberline{\thequery}#2}\par
- \ifx#1\empty\else\index{Query!#1}\fi
-}
-
-%% title page
-\newcommand\MakeTitle{%
- \begin{titlingpage}
- \setcounter{page}{-1}%
- \begin{adjustwidth*}{0mm}{-55mm}
- \newlength\tmplen\setlength\tmplen{\textwidth}\addtolength\tmplen{60mm}
- \fbox{%
- \begin{minipage}{\tmplen}
- \vspace*{90mm}
- \begin{center}
- \LARGE\bfseries\thetitle \\ \vskip\onelineskip
- \normalfont\normalsize\theauthor
- \end{center}
- \vspace*{100mm}
- \end{minipage}}
- \end{adjustwidth*}
- \end{titlingpage}
-}
-
-%% 각주. footmisc는 memoir와 함께 쓸 수 있다.
-%\usepackage[bottom]{footmisc}
-%% 그러나, 위의 예와 같이 [bottom] footnote를 위해서라면
-%% 다음과 같이 할 것을 권장함. raggedbottom에서 동작함.
-\renewcommand*{\footnoterule}{\kern-3pt\vfill
- \hrule width 0.4\columnwidth \kern 2.6pt}
-%% 각주를 floats 아래.
-\feetbelowfloat
-
-%% 밑줄.
-\ifLuaTeX\else
-\usepackage[normalem]{ulem}
-\fi
-
-%% 사소한 설정
-\def\util#1{\texttt{#1}\index{Utility!#1}}
-
-%% \useremph compatibility
-\ifPDFTeX
- \let\ORIGuseremph=\useremph
- \def\useremphchar{\tiny★}
- \setlength\useremphraisedim{10pt}
- \def\useremph#1{\ORIGuseremph{#1}}
-\else\ifXeTeX
- \let\ORIGuseremph=\useremph
- \def\useremph#1{\ORIGuseremph[10pt]{\tiny★}{#1}}
-\else\ifLuaTeX
- \let\ORIGdotemph=\dotemph
- \def\dotemph#1{%
- \def\dotemphraise{0.4em}
- \def\dotemphchar{˙}
- \ORIGdotemph{#1}}
- \def\circemph#1{%
- \def\dotemphraise{0.4em}
- \def\dotemphchar{˚}
- \ORIGdotemph{#1}}
- \def\useremph#1{%
- \def\dotemphraise{10pt}
- \def\dotemphchar{\tiny★}
- \ORIGdotemph{#1}}
-\fi\fi\fi
-
-%%%
-%\headnamereftrue
-
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-%%%%%%%%%%%% 이제 문서를 시작.
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-\begin{document}
-
-\title{memoir에서 한글을 쓰자!}
-\author{도은이아빠}
-\date{\today}
-
-%% 아래 \MakeTitle 명령은 이 문서의 preamble에
-%% 정의되어 있다. 표지 디자인은 이 정의를 참고하여
-%% 수정하여 볼 것.
-\MakeTitle
-\cleardoublepage
-
-\frontmatter
-% ToC, etc
-%% 차례 페이지들. 여기서는 demo chapter style과
-%% Ruled 페이지 스타일을 적용한다.
-\chapterstyle{demo}
-
-\tableofcontents
-%\clearpage
-\listoffigures
-%\clearpage
-\listoftables
-%% listofqueries는 \newlistof로 만든
-%% local \listofx임.
-%\clearpage
-\listofqueries
-
-\mainmatter
-
-%% hangul 페이지 스타일을 테스트하기
-%% 위하여 제1편 앞에 한 챕터를 둠. 다만 chapter의 첫 면은
-%% chapter 페이지 스타일을 따른다.
-\pagestyle{hangul}
-
-\chapterstyle{default}
-
-\chapter{xoblivoir}
-
-이 문서는 xoblivoir의 몇 가지 기능을 시험하기 위한 목적으로
-작성되었다. 이 문서의 원본은 memhangul을 개발하던 당시
-테스트용으로 사용된 바, 가장 먼저 만들어진 oblivoir 문서이다.
-
-해당 문단의 여백에 사용되고 있는 명령이 나와 있으므로 참고할 수 있을
-것이다. 실제로 xoblivoir 사용설명서를 작성하기 어려운 것이
-기본적인 것은 모두 memoir에 바탕을 두고 있는 데다가
-한글화하면서 변화한 점도 많아서 이것을 모두 모으면 너무나 방대한
-내용이 된다는 점이다.
-
-이 문서의 원본을 잘 연구하면 그럭저럭 oblivoir가 어떻게 동작하는지
-짐작할 수 있게 되기를 희망한다.
-
-이 문서는 다음 순서로 컴파일할 수 있다. |$ENGINE|은 \util{pdflatex}, \util{xelatex}, \util{lualatex} 가운데 하나이고
-|$JOBNAME|은 파일 이름(\texttt{xobtesttest})이다.
-한편, 색인을 만드는 유틸리티 |$MAKEINDEXENGINE|은 \util{pdflatex} 상황에서는
-\util{komkindex}이고 그밖의 경우에는 \util{kotexindy}이다.
-
-\begin{verbatim}
- # $ENGINE $JOBNAME
- # $ENGINE $JOBNAME
- # $MAKEINDEXENGINE $JOBNAME.idx
- # $ENGINE $JOBNAME
-\end{verbatim}
-
-
-
-\chapter{default 페이지 스타일}
-
-\section{맹동야를 보내는 글}
-\epigraph{한유 글, \cnm{送孟東野序}}{김학주 옮김}
-
-대개 만물은 평정을 얻지 못하면 소리를 내게 된다.
-초목은 소리가 없으나 바람이 흔들면 소리를 내게 되며, 물은 소리가 없으나 바람이
-움직이면 소리를 내게 된다. 물이 뛰어오르는 것은 바위같은 곳에 부칮쳤기
-때문이다. 물이 세차게 끓어오르는 것은 한 곳에서 물결을 막기 때문이다.
-물이 펄펄 끓어오르는 것은 불로 태우기 때문이다. 쇠나 돌은 소리가 없으나
-치면 소리를 낸다. 사람이 말하는 데 있어서도 이와 같으니,
-부득이한 일이 있은 후에야 말을 하게 된다. 노래를 하는 것은 생각이
-있기 때문이며, 우는 것은 회포가 있기 때문이다.
-
-음악이라는 것은 가슴속이 막혀 답답할 때 밖으로 새어나오는 것이며
-소리를 잘 내는 것을 선택하여 이것을 빌려서 소리를 내게 된다.
-쇠\cntrdot 돌\cntrdot 실\cntrdot 대\cntrdot 박\cntrdot 흙\cntrdot
-가죽\cntrdot 나무 등 여덟 가지 악기를 만드는 데 쓰이는 자료들은 만물
-가운데 소리를 잘 내는 것들이다.
-
-자연의 계절에 있어서도 역시 그러하니 소리를 잘 내는 것을 선택하여 그것을
-빌려서 소리를 내게 된다. 그러므로 새를 빌려 봄의 소리를 내고, 우뢰를
-빌려 여름의 소리를 내고, 벌레를 빌어 가을의 소리를 내며,
-바람을 빌어 겨울의 소리를 낸다. 사계절이 서로 바뀌어 나타나는 현상은
-반드시 그 평정을 얻지 못했기 때문일 것이다.
-
-이는 사람에게 있어서도 마찬가지이다. 사람의 소리 가운데 정묘한 것이 언어이며
-문장의 표현은 언어 가운데서도 더욱 정묘한 것이다. 그 중에서도 더욱 소리를
-잘 내는 것을 선택하여 이것을 빌려서 소리를 내게 된다.
-
-당요\cntrdot 우순 시대에는 고요와 우가 소리를 잘 내는 사람들이어서
-그들을 빌려 소리를 냈다. 기는 문사로써 소리를 내지는 못했으나
-스스로 소를 빌려서 소리를 냈다. 하나라 때에는 오자가 노래를 불러 소리를
-냈다. 이윤은 은나라에서 소리를 냈고 주공은 주나라에서 소리를 냈다.
-
-무릇 \snm{시}\cntrdot \snm{서} 등 육예에 실린 것들은 모두 소리를
-잘 낸 것들이다. 주나라가 쇠퇴해지자 공자의 무리들이 소리를 냈는데
-그 소리를 크게 멀리 들렸다. 옛 서적에 ``하늘이 장차 선생을 목탁으로
-삼으려 하는구나!''\,라고 하였는데도 믿지 못하겠는가!
-
-주나라 말엽에 이르러서는 장주가 황당한 문사로써 초나라에서
-소리를 냈다. 초나라를 큰나라였는데 망할 무렵이 되어 굴원이 소리를 냈다.
-장손진\cntrdot 맹가\cntrdot 순경은 도로써 소리를 낸 자들이고,
-양주\cntrdot 묵적\cntrdot 관이오\cntrdot 안영\cntrdot 노담\cntrdot 신불해\cntrdot
-한비\cntrdot 신도\cntrdot 전연\cntrdot 추연\cntrdot 시교\cntrdot 손무\cntrdot
-장의\cntrdot 소진의 무리들은 모두 술법으로써 소리를 냈다.
-
-진나라가 융성하자 이사가 소리를 냈으며 한나라 때에는 사마천\cntrdot 사마상여\cntrdot
-양응이 가장 소리를 잘 낸 자들이다.
-
-그 후 위\cntrdot 진 시대에는 소리를 내는 자들이 옛날 사람들에 미치지 못했지만
-또한 아직 끊이지는 않았었다. 그 가운데 괜찮은 것들도 그 소리는 맑지만
-경박하고 그 음절은 빠르고 급하며 그 문사는 음란하고 슬프며
-그 뜻은 느슨하고도 방자하며 그 표현은 난잡하고 문채가 없었으니
-하늘이 그 덕을 추하게 여겨 돌보지 않은 때문이었는가? 무엇 때문에
-소리를 잘 내는 자들로 하여금 소리를 내게 하지 않았는가!
-
-당(唐)나라가 천하를 장악하고나서는 진자앙\cntrdot 소원명\cntrdot 원결\cntrdot
-이백\cntrdot 두보\cntrdot 이관 등이 모두 자신의 잘하는 것으로써 소리를 내었다.
-
-현재 살아 있으면서 아랫자리에 있는 사람으로 동야 맹교가 비로소 시로써
-소리를 내었다. 그는 위\cntrdot 진 시대 사람들보다 훨씬 뛰어나며
-게을리하지 않으면 옛사람들의 수준에 미칠 수 있겠고
-그밖의 작품들은 한나라의 문풍에 젖어 있다. 나에게서 배운 자들로서
-이고와 장적이 가장 뛰어나다. 이 세 사람의 소리는 진실로 훌륭하다.
-
-그런데 하늘이 장차 그들의 소리를 온화하게 하여 국가의 성대함을 소리내게
-할 것인지 아니면 장차 그들 자신을 가난하고 굶주리게 하고
-그들의 마음을 근심스럽게 하여 그 불행을 스스로 소리내게 할 것인지 모르겠다.
-이 세 사람의 운명은 하늘에 달려 있는 것이니 윗자리에 있다고 해서 어찌
-기뻐하겠으며 아랫자리에 있다고 해서 어찌 슬퍼하겠는가.
-
-동야가 강남에 근무하러 떠나면서 즐거워하지 않는 것 같아서 내가 그의
-운명이 하늘에 달려 있다고 말하며 이를 풀어주려고 하는 것이다.
-
-%% 본문시작.
-%% 본문은 companion chapter style로 식자할 것인데,
-%% default를 한 번 부른 이유는 앞서 사용한 demo의
-%% 글꼴 설정에 영향을 받기 때문이다.
-
-\part{xoblivoir 테스트}
-
-\chapterstyle{mycompanion}
-\pagestyle{companion}
-
-%% 제목은 두 줄로 식자하되, heading과 toc에는 개행 없이.
-% \chapter[memoir 클래스에서 한글을 쓰자][memoir 클래스에서...]{memoir
-% 클래스에서\\ 한글을 쓰자} % -> [toc][heading]{title}
-% \chapter[memoir 클래스에서 한글을 쓰자]{memoir 클래스에서\\ 한글을
-% 쓰자} % -> [toc,heading]{title} %% 이 부분이 memoir와 다르다.
-% \chapter{memoir 클래스에서 한글을 쓰자} % {toc,heading,title}
-% \chapter[memoir 클래스에서 한글을 쓰자][memoir 클래스에서
-% 한글...]{memoir 클래스에서\\ 한글을 쓰자}
-% \chapter[memoir 클래스에서 한글...]{memoir 클래스에서\\ 한글을 쓰자}
-% 주의: titleref에 \\ 문자가 들어가면 안된다. titleref에서 사용하는
-% 것은 두번째 옵션인자이므로, 다음과 같이 두번째 옵션 인자를 밝혀줄
-% 것.
-\chapter[memoir 클래스에서 한글...][memoir 클래스에서 한글을 쓰자]{%
- memoir 클래스에서\\ 한글을 쓰자}
-\traceon\label{sec:firstchap}\traceoff
-
-\chapterprecis{\noindent 이 장에서는 memoir 클래스에 대해 간략히
- 소개하고 한글화에 대하여 개관한다.}
-
-\showcommand{chapterprecis}\showcommand{chapterstyle}\showcommand{pagestyle}
-\thisclass\는 Peter Wilson 씨가 작성한 \LaTeX\ 클래스이다. \LaTeX 이 제공하는
-표준 클래스\index{표준~클래스|bfhypidx}는 \cls{book}, \cls{report}, \cls{article}, \cls{letter}
-등이 있지만, 어딘가 모르게 세세한 부분에서 부족한 점이 있어서 수많은 추가 패키지를
-사용해야 원하는 문서 모양을 구현할 수 있는 경우가 많았다. \thisclass\는 그 동안 개발된
-문서 조판의 세세한 부분을 하나의 클래스로 통합한 것으로, 사용자 입장에서는
-정말 획기적인 환상적인 클래스가 아닐 수 없다. 매우 많은 패키지들을 이
-클래스는 통합\cntrdot 내장하거나 그와 유사한 기능을 제공한다.
-이 패키지의 결점은, 한번 사용하기 시작하면 다시는 book과 같은
-표준 클래스로 돌아가기 어렵다는 점이다.
-
-EUC-KR\index{한글!EUC-KR|bfhypidx} 한글을 \thisclass 에서 사용하도록 만들었던 것이
-\pkg{memhangul}였다.
-이제 여기서 제공하는 클래스는 본질적으로 \pkg{memhangul}\과 동일하지만
-한글을 UTF-8 유니코드로 입력할 수 있게 만든 것이다. \wi[유니코드]{유니코드 한글}을
-처리하기 위해서 \pkg{dhucs}\를 채택하였다.
-\query[유니코드]{유니코드 한글 처리}
-
-\alineskip
-
-\hangfrom{한글 }사용을 위해서 H\LaTeX 을 채택한 결과는 어느 정도
-괜찮은 결과를 가져왔다. 그러나 \pkg{dhucs}\를 이용하여 구현한 \pkg{memhangul-ucs}\는
-괜찮은 정도가 아니라 아주 훌륭한 결과를 얻게 되었다.
-
-\showcommand{hangpara}\showcommand{hangfrom}%
-\hangpara{2.6em}{2}%
-{\SetAdhocFonts{unpg}{ungt}\showcommand{SetAdhocFonts}%
-유니코드 한글 입력이 가능하도록 하는 것은 \pkg{dhucs}에서였다. 이것은
-\LaTeX-ucs 패키지와 한글 자동조사 및 한글 문서서식을 합친 것인데,
-핵심적인 한글 식자와 자동조사의 구현은 김도현 교수가 작성하였다.
-필자는 사용자 인터페이스를 조금 추가하고 한글 문서서식을 보충하는
-정도로 미미한 기여를 하였다.}
-
-이 패키지의 장점은 대강 다음과 같다.
-\tightlists\showcommand{tightlists}
-\begin{itemize}
-
-\item 유니코드를 쓴다는 것 자체가 장점이다. EUC-KR 한글의 범위를
-넘어서서 맞춤법에는 어긋나지만 꼭 써야할 경우가 없지 않은 ``띡''과 같은
-완성형 밖 글자를 식자할 수 있다.\footnote{%
- 중세 한글 문제는 코드와 폰트의 문제가 얽혀 있어서
- 여기에서는 다루지 않는다.}
-
-\item 절에 \wi{한글식 절카운터 모양}(section counter format), \dispcmd{pgana} 등을
-사용하는 것이 쉽다.
-
-\item \wi{자동조사} 기능이 구현되어 있다.
-
-\item 주요 pagestyle과 chapterstyle이 \wi{한글}과 호환되게 하였다. 이호재 님의
-말씀에 의하면, \thisclass 는 여러 가지 면에서 매우 편리하다고 한다.
-
-\item 인덱스 만들기가 구현되었다.
-
-\item \thisclass 의 여러 기능을 그대로 쓸 수 있다.
-
-\end{itemize}
-
-\section{이 문서의 컴파일 방법}
-
-다음과 같은 순서로 컴파일한다.
-
-\bvtopandtail\showcommand{bvtopandtail}\showenv{boxedverbatim}
-\begin{boxedverbatim}
-#> latex memucstest
-#> latex memucstest
-#> makeindex-dhucs -s dhucs memucstest
-#> latex memucstest
-\end{boxedverbatim}
-
-|makeindex(-dhucs)|에 앞서서 |latex|을 두 번 실행하는 이유는,
-memoir 패키지의 인덱스 만들기의 특징 때문이다. 처음 한 번만 실행해서는
-|.idx| 파일이 만들어지지 않는다.
-
-\section{chapter 스타일}
-
-\showcommand{prechapternum}\showcommand{postchapternum}
-사용자가 자신의 |chapterstyle|을 정의(定義)할 때는 반드시
-\dispcmd{prechapternum}과 \dispcmd{postchapternum}을 함께 정의해주도록 한다.
-그림~\ref{fig:examchapstyle}\은 |hangnum| chapter style을
-정의하는 방법을 보여준다.
-\begin{figure}
-%% 웬만한 환경은 memoir에 다 있다.!!!
-\begin{boxedverbatim}
-\makechapterstyle{hangnum}{%
- \renewcommand{\chapnumfont}{\chaptitlefont}
- \settowidth{\chapindent}{\chapnumfont 999}
-% \renewcommand{\printchaptername}{} % <= 쓰지 않음.
- \renewcommand{\prechapternum}{} % <= 이 행을 정의
- \renewcommand{\chapternamenum}{}
- \renewcommand{\postchapternum}{}% <= 이 행을 정의
- \renewcommand{\printchapternum}{%
- \noindent\llap{\makebox[\chapindent][l]{\chapnumfont
- \thechapter}}}
- \renewcommand{\afterchapternum}{}
-}
-\end{boxedverbatim}
-\caption{chapterstyle 정의 예제}\label{fig:examchapstyle}
-\end{figure}
-
-장 스타일을 수정하는 구체적인 예는 |memman.tex|\cite{memman}에서
-가져온 |veelo| chapter style의 정의를 참조하라. 이 문서의
-소스 Preamble에 있다. 예제는 \Cref{sec:math} \titleref{sec:math}\을 보라.
-%% disable \nameref
-\textbf{\nameref{sec:appchap}}\를 보라.
-
-\textbf{\titleref{sec:appchap}}\를 보라. \pref{sec:appchap}\을,
-\ref{sec:appchap}\을, \Cref{sec:appchap}\을
-\Sref{sec:appsec}\가, \ref{sec:appsec}\가, \titleref{sec:appsec}\가.
-\titleref{sec:appsec}\을.
-\showcommand{Cref}\showcommand{ref}\showcommand{pageref}\showcommand{titleref}
-%% \Cref 명령으로 식자되는 결과를 주의깊게 보라.
-
-\section{시집}\label{sec:poembook}
-
-\wi{어머님}이 \wi{수술} 후에 거동이 불편해지신 후, 집에만
-계시는 것이 무척 \wi{무료}하신 듯하다. 예전에 내가 보던
-\wi{시집}을 꺼내 보고 계시다. \showcommand{titleref}\showcommand{Sref}%
-\Sref{sec:poembook} \textit{\titleref{sec:poembook}}\는
-텍스트 입력의 예제이다.
-
-%% memoir는 poem 스타일을 자체 내장하고 있다.
-%% plain poem title을 선언함.
-\PlainPoemTitle\showcommand{PoemTitle}\showcommand{PlainPoemTitle}
-\showenv{snugshade}\showcommand{poemtitle}\showenv{verse}
-\begin{snugshade}
-\renewcommand\poemtoc{subsection}
-\settocdepth{subsection}
-\poemtitle{신안리에서}
-\settowidth{\versewidth}{\hbox{사람들은 굳이 한 마디 말 하려 하지 않는다.}}
-\ifpdf\begin{verse}\else\begin{verse}[\versewidth]\fi
-
-실개천 너머 나 있는 샛길로\\
-택시가 들어오고 나가며 \\
-겨르로운 달빛에 감출 부끄러움도 없는\\
-사람들은 굳이 한 마디 말 하려 하지 않는다.\\!
-
-나는 톱밥 같은 달빛을 한 웅큼\\
-멀리 철길 쪽으로 뿌렸다.\\
-매달린 불빛보다\\
-아침이 먼저 깨어나는 광경을 보며.\\
-삶은 새의 낮은 날음새 같은 것,\\
-이대로 누워 잠들기\\
-두렵지 않은 작은 마을에\\
-더 작은 풀꽃 인사한다.\\
-잊혀짐 너머 안부 묻는다.\\
-\end{verse}
-\end{snugshade}
-
-이 스타일은 \pkg{memucs-setspace}\를 이용한다. 이 패키지는\footnote{
- 이 스타일은 \pkg{setspace}\를 수정한 것이다.
- \env{verse}, \env{quote}\와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
- 기능이 있다.}
-verse, quote와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
-기능이 있다. 이 부분에서 \dispcmd{adjustfloatfnspacing}을 불러보겠다.
-\showcommand{adjustfloatfnspacing}
-다음번 각주는 행간이 조금 달라져야 한다.
-\adjustfloatfnspacing
-float 안에 놓인 것과 같아지도록.\footnote{%
-이 스타일은 \pkg{setspace}\를 수정한 것이다.
-verse, quote와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
-기능이 있다.}
-
-%%%\showcommand{memucsfninterwordhook}\showcommand{xspaceskip}
-%%%만약 각주의 자간을 조절하고 싶으면 어떻게 할 것인가?
-%%%이 때는 \dispcmd{memucsfninterwordhook}이라는 명령을 재정의해준다.
-%%%이것을 간편하게 재정의하는 명령을 따로 제공하지 않는 이유는,
-%%%이것을 재정의하는 것이 그다지 바람직하지 않기 때문이다.
-%%%게다가 만약 이 명령에서 \dispcmd{xspaceskip} 등을 수정하면
-%%%본문에도 영향을 미치기 때문에, 본문 중에서는
-%%%되도록 사용하지 않는 것이 좋다. 여기서는 오직 예시만을
-%%%위하여 간단한 예를 들어두겠다.
-%%%\let\ORIGmemucsfninterwordhook\memucsfninterwordhook
-%%%\renewcommand\memucsfninterwordhook{%
-%%% \ifLuaTeX
-%%% \hangulfontspec[InterHangul=.5em]{\DefaultFont}
-%%% \else\ifXeTeX
-%%% \hangulfontspec[interhchar=.5em]{\DefaultFont}
-%%% \else\ifPDFTeX
-%%% \interhchar{.5em}
-%%% \fi\fi\fi
-%%% \spaceskip=.8em plus .133em minus .111em
-%%%% \xspaceskip=1em plus .05em minus .05em
-%%%}%
-%%%이제 각주를 붙여보자.\footnote{%
-%%%각주의 자간을 수정하려면
-%%%위와 같이 한다. 잘 되는가?}
-%%%
-%%%\let\memucsfninterwordhook=\ORIGmemucsfninterwordhook
-
-%\DefaultInterHchar
-
-\showcommand{noadjustquotespacing}\showcommand{adjustquotespacing}
-이 아래는 본문 중에서 \dispcmd{noadjustquotespacing}과 \dispcmd{adjustquotespacing}을
-불렀을 때 \env{quote} 안에서 행간이 어떻게 변하는지 보여준다.
-기본값은 \dispcmd{noadjustquotespacing}이다.
-
-\begin{quote}
-이 스타일은 \pkg{setspace}\를 수정한 것이다.
-verse, quote와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
-기능이 있다. 마치 float 안에 놓인 것과 같이.
-\end{quote}
-
-여기서 \dispcmd{adjustquotespacing}을 호출함.
-
-\adjustquotespacing
-\begin{quote}
-이 스타일은 \pkg{setspace}\를 이용한다. 이 패키지는
-verse, quote와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
-기능이 있다. 마치 float 안에 놓인 것과 같이.
-\end{quote}
-
-verse류 환경의 행간은 quote를 따른다. 앞서 보인 시를 여기에서
-다시 식자해보자.
-\begin{snugshade}
-\renewcommand\poemtoc{subsection}
-\settocdepth{subsection}
-\PoemTitle{신안리에서}
-\settowidth\versewidth{사람들은 굳이 한 마디 말 하려 하지 않는다.}
-\ifpdf\begin{verse}\else\begin{verse}[\versewidth]\fi
-
-실개천 너머 나 있는 샛길로\\
-택시가 들어오고 나가며 \\
-겨르로운 달빛에 감출 부끄러움도 없는\\
-사람들은 굳이 한 마디 말 하려 하지 않는다.\\!
-
-나는 톱밥 같은 달빛을 한 웅큼\\
-멀리 철길 쪽으로 뿌렸다.\\
-매달린 불빛보다\\
-아침이 먼저 깨어나는 광경을 보며.\\
-삶은 새의 낮은 날음새 같은 것,\\
-이대로 누워 잠들기\\
-두렵지 않은 작은 마을에\\
-더 작은 풀꽃 인사한다.\\
-잊혀짐 너머 안부 묻는다.\\
-\end{verse}
-\end{snugshade}
-
-여기서 다시 \dispcmd{noadjustquotespacing}을 선언함.
-
-\noadjustquotespacing
-\begin{quote}
-이 스타일은 \pkg{setspace}\를 이용한다. 이 패키지는
-verse, quote와 같은 환경을 조금 바꾸어서 행간을 약간 줄여주는
-기능이 있다. 마치 float 안에 놓인 것과 같이.
-\end{quote}
-
-\section{강조}
-
-강조를 구현하는 데는 여러 가지 방법이 있다. 서구 문헌의
-경우 이탤릭체를 사용하는 것이 일반적이고, 예전의 독일 문헌에서는
-자간을 띄우는 강조 방법을 사용한 적도 있다고 한다.
-
-우리말 문헌은 일관되어 있지 않다.
-
-\subsection{방점 강조}
-
-예를 들면 \circemph{방점 강조} 방법을 사용하는 것이 가능하다.
-\wi[강조]{방점 강조}는 \dotemph{한글 맞춤법}의 문장부호 조항에서 규정하고 있는 방법이기도
-하다.\showcommand{circemph}\showcommand{dotemph}
-맨처음에 이 명령은 H\LaTeX\ 1.01에서 구현된 것이었는데,
-그 후
-\useremph{발전을 거듭하여}
-현재에 이르렀다.
-\showcommand{useremph}
-
-\subsection{기울인 글꼴 또는 글꼴 대체}
-
-\ifPDFTeX \ungremph \fi
-H\LaTeX{}에서는 {\itshape\wi[강조]{기울인 글꼴}}을 쓰는 방법을 오랫동안 사용해왔다.
-그러나 실제로 출판되는 서적에서는 \wi[강조]{글꼴 대체} 방법을 사용하는
-경우가 많다.
-
-\ifPDFTeX \begingroup
- \regremph
- |gremph| 옵션은 다음과 같은 효과를 낸다. \emph{gremph 옵션}.
- \ungremph
- 이번에는 이것을 disable한다. \emph{gremph 옵션}.
-
- |\bfemtrue|와 |\bfemfalse|는 그래픽 글꼴 대신
- 은바탕 굵은 글꼴로 식자하게 한다. 또, |\SetGremphFonts|
- 명령으로 직접 폰트를 지정할 수 있다.\showcommand{regremph} \showcommand{ungremph}
- \showcommand{SetGremphFonts}\showcommand{bfemtrue, \textbackslash bfemfalse}
- 다만 |\SetGremphFonts| 명령은 preamble에서만 쓸 수 있다.
-\endgroup \else\ifLuaOrXeTeX \begingroup
- \hologo{LuaLaTeX}이나 \hologo{XeLaTeX}을 쓰는 경우,
- 강조 글꼴의 선택은 폰트 속성과 연계된다. 즉, \textit{Italic Font}로
- 지정된 글꼴이 강조 글꼴로 사용된다.
- |[itemph]| 옵션은 이 부분의 글꼴을 기울어지게 만든다.
-\endgroup \fi\fi
-
-\showcommand{MakeShortVerb}
-
-%% 한글 섹션 카운터 포맷을 가능하게 함.
-\renewcommand\thesection{\pgana{section}}
-\section{두번째 절}
-
-\epigraphtextposition{flushleftright}
-\epigraph{%
-나는 십대에 \wi{철학책}을 읽기 시작한 무렵부터
-거기에 언제나 이 `나(私)'가 빠져 있다고 느껴왔다.}
-{\emph{탐구}\\ \textsf{\wi[인명]{카라타니 코진(柄谷行人)}}}
-
-\showcommand{pgana}\showcommand{epigraph}
-\showcommand{epigraphtextposition}
-
-\wi{수학}에서는 어떤 공리계가 하나의 해석 모델에서는 참이지만
-다른 해석 모델에서는 거짓인 일이 있을 수 있다.
-이것은 \wi{공리계}가 불충분한 경우이다.
-
-\renewcommand\thesection{\onum{section}}
-\section{표}
-
-\showcommand{legend}\showcommand{onum}
-\thisclass\는 다양한 표작성 환경을 제공한다.
-\tref{tab:test}\과 \tref{tab:test2}\를 보라.
-\showcommand{tref}
-
-%% tabular에는 legend를 붙일 수 있다.
-\begin{table}
-\caption{test table}\label{tab:test}
-\centering
-\begin{tabular}{cc}
-\hline
-두 줄 짜리 & 3 \\
-하단 제목 붙은 & 4 \\
-\hline
-\end{tabular}
-\legend{caption 아닌 소제목}
-\end{table}
-
-\begin{table}
-\caption{test table 2}\label{tab:test2}
-\centering
-\begin{tabular}{cc}
-\hline \hline
-두 줄 짜리 & 6 \\ \hline
-하단 제목 안 붙은 & 5 \\
-\hline \hline
-\end{tabular}
-\end{table}
-
-(여기서 페이지를 나눈다. 페이지 나누기 명령으로는
-\dispcmd{cleartoverso}를 사용하겠다. 이것은 이 뒤에 새로
-시작하는 페이지가 짝수쪽(verso)이 되게 한다. \dispcmd{cleartorecto}
-명령도 있다.)
-\showcommand{cleartoverso}\cleartoverso
-
-\namesubappendixtrue
-\begin{subappendices}
-\addappheadtotoc
-\section{자동조사 테스트}
-\showcommand{namesubappendixtrue}
-\showcommand{addappheadtotoc}
-\showenv{subsppendices}
-
-간단한 \dispcmd{ref}-like 명령으로 \wi{자동조사}를 테스트한다.
-\dispcmd{cite}도 잘 된다.
-
-\tref{tab:test}\와 \tref{tab:test2}\이 어떻게 보이나요?
-그리고 \fref{fig:examchapstyle}\은 \pref{fig:examchapstyle}\로
-가면 볼 수 있어요. 페이지~\pref{fig:examchapstyle}\로 가보세요.
-\showcommand{tref, \textbackslash fref}\showcommand{pref}
-
-위의 문장 입력:
-\bvsides\showcommand{bvsides}\showenv{boxedverbatim}
-\begin{boxedverbatim}
-\tref{tab:test}\와 \tref{tab:test2}\이 어떻게 보이나요?
-그리고 \fref{fig:examchapstyle}\은
-\pageref{fig:examchapstyle}\AltPageName\로 가면 볼 수 있어요.
-페이지~\pageref{fig:examchapstyle}\로 가보세요.
-\end{boxedverbatim}
-
-\section{그림 테스트}
-
-\newlength{\mylength}
-\begin{figure}
-\calccentering{\mylength}
-\begin{adjustwidth*}{\mylength}{-\mylength}
-\centering
-\includegraphics[width=.6\textwidth]{doeun}
-\caption{공부하는(?) 도은이}\label{doeunbike}
-\end{adjustwidth*}
-\end{figure}
-
-그림이 잘 들어가는지도 테스트해야 한다고 한다. \fref{doeunbike}\를 볼 것.
-이 그림은 마진폭을 계산해서 편집영역의 중간이 아니라 페이지 전체의
-중간으로 가도록 \dispcmd{calccentering}을 이용했다.\showcommand{calccentering}
-\showenv{adjustwidth*}
-이 계산이 표준 \LaTeX\ 클래스에서 얼마나 귀찮은 것이었는지 상상할 수
-있겠는가?
-\query{그림넣기}
-
-\begin{boxedverbatim}
-\newlength{\mylength}
-\begin{figure}
-\calccentering{\mylength}
-\begin{adjustwidth*}{\mylength}{-\mylength}
-\centering
-\includegraphics[width=.6\textwidth]{doeun}
-\caption{공부하는(?) 도은이}\label{doeunbike}
-\end{adjustwidth*}
-\end{figure}
-\end{boxedverbatim}
-
-\end{subappendices}
-
-%%% part 페이지를 깨끗하게...
-\copypagestyle{part}{empty}
-
-%%%%%%%%%% Ruled를 사용하되 partmark를 정의함.
-\copypagestyle{MyRuled}{Ruled}
-\newlength{\MyRuledheadwidth}
-\setlength{\MyRuledheadwidth}{\textwidth}
-\addtolength{\MyRuledheadwidth}{\marginparsep}
-\addtolength{\MyRuledheadwidth}{\marginparwidth}
-\makerunningwidth{MyRuled}{\MyRuledheadwidth}
-\makeheadrule{MyRuled}{\MyRuledheadwidth}{\normalrulethickness}
-\makeheadposition{MyRuled}{flushright}{flushleft}{flushright}{flushleft}
-\makeatletter
-\makepsmarks{MyRuled}{%
- \let\@mkboth\markboth
- \def\partmark##1{\markboth{\hparttitlehead. ##1}{##1}}
- \def\chaptermark##1{\markright{\hchaptertitlehead. ##1}}
- \def\sectionmark##1{}
-}
-\def\partmark#1{\markboth{\hparttitlehead. #1}{#1}}
-\makeatother
-
-%%% 제2장. 페이지 스타일과 챕터 스타일을 바꿈.
-%%% 새로운 장에 새로운 스타일을 적용하려 할 때는,
-%%% chapterstyle은 \chapter명령보다 먼저 부르고 \pagestyle은
-%%% \chapter보다 나중에 부르는 것이 좋다.
-
-\part{테스트는 즐거워}
-\oblivoirchapterstyle{veelo}
-\pagestyle{MyRuled}
-
-\chapter{수학질문상자}\traceon\label{sec:math}\traceoff
-
-%% 절의 카운터를 \pnum으로.
-\renewcommand\thesection{\pnum{section}}
-
-\showcommand{makepagestyle}\showcommand{copypagestyle}
-
-\section{자연로그의 밑}
-
-이 절은 \cite{Kentaro}\을 인용하였다. \env{singlespacing}\을
-사용하였다.\showenv{singlespacing}
-
-%\begin{singlespacing}
-\[
-e^x =1+ \frac{x}{1!} + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots
-\]
-이라는 사실이 알려져 있다. 여기에서 $x=1$이라 하면,
-\[
-e=1+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!} +\cdots
-\]
-가 된다.
-
-우선
-\[
-\lim_{n\to\infty}\left(1+ \frac{1}{n}\right)^{n} = e
-\]
-에서 $1/n = h$라 두면,
-\[
-\lim_{h\to 0}\left(1+h\right)^{\frac{1}{h}} = e
-\]
-라고 쓸 수 있다. $e$를 밑으로 하는 대수를 $\log$라고 표시하면,
-\[
-\frac{\log(1+h)}{h} = \log(1+h)^{\frac{1}{h}}
-\]
-인데, 여기에서 $h \to \infty$이라면,
-\[
-\lim_{h\to 0}\frac{\log(1+h)}{h} = \lim_{h\to 0}\log(1+h)^{\frac{1}{h}} =\log e.
-\]
-
-따라서,
-\[
-\log(1+h)=x, \quad\text{즉}\quad h=e^{x} -1
-\]
-이다. 여기에서,
-\[
-1=\lim_{h\to0}\frac{\log(1+h)}{h}=\lim_{x\to0}\frac{x}{e^x -1}.
-\]
-
-따라서,
-\[
-\lim_{x\to0}\frac{e^x -1}{x}=1
-\]
-을 얻는다. 그런데 여기에서,
-\[
-y=e^x
-\]
-의 도함수 $y'$를 구해본다.
-\[
-y'=\lim_{h\to0}\frac{e^{x+h}-e^x}{h}=e^x \lim_{h\to0}\frac{e^h -1}{h}=e^x.
-\]
-따라서,
-\[
-y=e^x \text{라면}, \qquad y'=e^x
-\]
-이다.
-
-또, $y=\log x$의 도함수를 구해본다.
-\begin{displaymath}
-\begin{split}
-y' &= \lim_{h\to0}\frac{\log(x+h)-\log x}{h} \\
- &= \lim_{h\to0}\frac{1}{h}\log\left(1+ \frac{h}{x}\right) \\
- &= \frac{1}{x}\lim_{h\to0}\frac{x}{h}\log\left(1+\frac{h}{x}\right) \\
- &= \frac{1}{x}\lim_{\frac{h}{x}\to0}\log\left(1+\frac{h}{x}\right)^{\frac{x}{h}} \\
- &= \frac{1}{x}\log e \\
- &= \frac{1}{x}.
-\end{split}
-\end{displaymath}
-
-따라서,
-\[
-y=\log x \text{라면}, \qquad y'=\frac{1}{x}.
-\]
-
-%\end{singlespacing}
-
-이와 같이 간단한 공식으로 얻어진 것은 대수의 밑으로 $e$를 썼기
-때문이다. $e$ 이외의 밑을 사용하면, 공식은 보다 복잡하게 된다.
-이런 의미에서 $e$를 밑으로 하는 대수를 \emph{자연로그}라고 부른다.\showcommand{emph}
-이상으로부터 상상할 수 있듯이, 미적분학과 같은 이론을 전개할 때는
-$e$를 밑으로 하는 대수를 사용하고, 실제의 수치계산에서는
-$10$을 밑으로 하는 상용로그를 사용한다.
-
-\fancybreak{* * *}
-
-$0 \le t \le 1$에 있어서, $f(t)$는 연속인 도함수 $f'(t)$를 가지고,\showcommand{fancybreak}
-$0 < f'(t) \le 1,\quad f(0)=0$이다. 이 때 다음 부등식이 성립함을 보여라.
-\[
-\left[ \int_{0}^{1} f(t)dt \right ] ^2 \ge \int_{0}^{1} [f(t)]^3 dt
-\]
-
-\vskip\onelineskip
-
-적분구간의 상한을 변수 $x$로 바꾸어본다.
-\[
-\left[ \int_{0}^{x} f(t)dt \right]^2 \ge \int_0^x [f(t)]^3 dt
-\]
-이 식의 좌변에서 우변을 빼서 그것을 $F(x)$라고 두자.
-\[
-F(x) = \left[ \int_{0}^{x} f(t)dt \right]^2 - \int_0^x [f(t)]^3 dt
-\]
-이 때 $F(0)=0$이다.
-
-$F(x)$를 $x$로 미분하면
-\begin{equation}
-\begin{split}
-F'(x) &= 2\left[ \int_{0}^{x} f(t)dt \right]f(x) - \{f(x)\}^3 \\
- &= f(x) \left[ 2\int_{0}^{2} f(t)dt - \{f(x)\}^2 \right]
-\end{split}
-\end{equation}
-
-문제의 의미에 의해 $0<x<1$에서 $f(x) > 0$이다.
-\[
-G(x) = 2 \int_{0}^{x} f(t)dt - \{f(x)\}^2 \qquad (0 \le x \le 1)
-\]
-이라 놓으면 $G(0)=0$이고,
-\begin{equation}
-\begin{split}
-G'(x) &= 2f(x) - 2f(x)f'(x) \\
- &= 2f(x) \{1-f'(x)\} \ge 0
-\end{split}
-\end{equation}
-이다. $0 \le x \le 1$인 모든 $x$에 관하여 $f'(x) \le 1$이므로
-$G'(x) \ge 0$. 따라서 $G(x) \ge 0$임을 말할 수 있다. 그러므로
-\uline{$F(x) \ge 0$이 성립한다.}\showcommand{uline (ulem package)}
-
-%% 부록 관련 명령
-%% \appendix 또는 appendices 환경
-%\appendix
-%% 부록 면주에 \hparttitlehead, \hchaptertitlehead 를 표시하지 않는다.
-\def\partmark#1{\markboth{#1}{#1}}
-\def\chaptermark#1{\markright{#1}}
-%
-
-\AppendixTitleToToc
-\AttachAppendixTitleToSecnum
-
-%\begin{appendices}
-\appendix
-\appendixpage*
-
-\renewcommand\thechapter{\Roman{APPchapter}}
-\renewcommand\thesubsection{\thesection.\arabic{APPsubsection}}
-\setcounter{APPchapter}{0}
-
-\chapterstyle{appendixdefault}
-\renewcommand*\prechapternum{\chapnamefont 부록\ \ 제}
-\renewcommand*\postchapternum{\chapnamefont 장}
-\renewcommand*\printchapternum{\chapnumfont\thechapter}
-%% appendix에서는 chaptersyle을 appendixcompanion,
-%% appendixdefault, appendixsection 등으로 지정할 것.
-%% 사용자가 새로운 chapterstyle을 설정하려 할 때는
-%% appendixXXXX 환경을 새로 만들어야 한다.
-%% appendix에서의 절 모양은 \thechapter.\arabic{section}으로
-%% 된다. 이것은 renewcommand할 수 있다.
-
-\pagestyle{hangul}
-
-\chapter{19세기 초중엽}\label{sec:appchap}
-
-\chapterprecis{\noindent 부록에서는 한자가 많은 문장과 상호참조가 많은 문장을
- 시험한다.}
-\showcommand{chapterprecis}
-
-\showcommand{appendix}\showenv{appendices}
-\ResetHangulspace{1.333}{1.2}
-\showcommand{ResetHangulspace}
-\paragraphfootnotes
-\showcommand{paragraphfootnotes}
-
-\section{평안도 광산}\label{sec:appsec}
-19세기에 들어와서도 1807년 \wi{평안도} \wi[위원]{渭原} 지방에서
-\wi{광산}이 개발되자 단시일내에 수많은 광산노동자가 집결하여 커다란
-광산촌을 형성하였는데 이 광산도 앞의 遂安광산과 동일한 형태로
-운영되었을 것은 틀림없다. 1811년 평안도 농민전쟁 당시 서울에 있던
-禹君則의 物主(資本主)가 수천 냥의 자금을 보내어 그것으로 雲山의 금광을
-운영하게끔 한 사실, 또한 앞서 본 대로 雲山 광산노동자 800명을 官軍으로
-강제적으로 끌어들이려 한 계획, \wi[김창시]{金昌始}가
-\wi[운산광산]{雲山광산}의 \wi[우욱]{禹郁}과 연계하에 그곳의
-광산노동자를 농민전쟁에 끌어들이는 조직 사업을 진행하였다고 하는
-사실은\footnote{\bnm{日省錄} 哲宗 9年 2月 3日條} 이 시기에
-雲山금광에서도 수많은 광산노동자가 집결하여 있었음을 確證하여
-준다. 또한 1858년 함경도 암행어사 洪承裕의 보고에 의하면 당시
-함경도에서는 金, 銀, 銅의 潛採가 광범하게 이루어져서 하나의 광산이
-開發되기만 하면 도처에서 金店軍이 몇천 명씩 몰려와서 鑛山村이 형성되고
-場市가 열려서 각종 日用品이 광범하게 매매되고 있고 광산의 坑의 깊이가
-千餘尺에 달하는 경우도 적지 않았다.\footnote{\bnm{關南平亂錄} 卷五
- 安州牧使 牒報條.}
-
-\section{술어 논리의 완전성 정리}
-
-이 절의 텍스트는 \cite{incompl}\ pp.\ 155ff.에서 취하였다.
-\showcommand{cite}
-
-\subsection{먼저 기호의 설명을 잠깐\texorpdfstring{\ldots}{...}}
-
-술어논리의 형식화는 모든 대상과 논리법칙(공리)의 기호화로부터
-시작된다. ``태초에 기호가 있다''이다.
-
-\showcommand{texorpdfstring}
-기본 기호는 \fref{fig:syms}의 여섯 종류이다.
-\showcommand{fref}
-
-\begin{figure}
-\centering
-\begin{minipage}{.75\textwidth}
-\begin{tabbing}
-1111\=11111111111111111111\= \kill
-(1) \> 대상기호(상수) \> $ c_{1}, c_{2}, c_{3}, c_{4}, \ldots $ \\
-(2) \> 함수기호 \> $ f_{1}, f_{2}, f_{3}, f_{4}, \ldots $ \\
-(3) \> 술어기호 \> $ P_{1}, P_{2}, P_{3}, P_{4}, \ldots $ \\
-(4) \> 자유변수 \> $ a_{1}, a_{2}, a_{3}, a_{4}, \ldots $ \\
-(5) \> 속박변수 \> $ x_{1}, x_{2}, x_{3}, x_{4}, \ldots $ \\
-(6) \> 논리기호 \> $ \land, \lor, \rightarrow, \lnot, \forall, \exists $
-\end{tabbing}
-\end{minipage}
-\caption{기본 기호}\label{fig:syms}
-\end{figure}
-
-\showenv{tabbing}\showenv{minipage}
-
-이 중, `자유변수'란 불특정의 대상, `속박변수'란 논리기호 $\forall$과
-$\exists$의 어느 것인가와 함께 사용하는 변수를 나타낸다. $\forall$과
-$\exists$는 `속박기호' 또는 `양화기호'라 부르고 $\forall$을
-`전칭기호', $\exists$를 `존재기호'라고 말한다.
-
-이 $\forall$과 $\exists$를 포함하지 않는 논리 체계가 \bnm{프린키피아
- 마테마티카}에서 처음으로 체계화된 ``명제논리학''이다. 이쪽은 벌써
-1920년에 그 무모순성과 완전성이 당시 컬럼비아 대학의 학생에 지나지
-않았던 E.~L.~포스트에 의해서 증명되고 있다.
-
-논리기호는 초수학에 있어서는 추상적인 기호에 지나지 않는다. 그러나
-근원을 밝히면 그것들에는 원래 각각 고유한 의미가 있다. 즉 `$\lnot$'는
-``\ldots 이 아니다'', `$\lor$'는 ``또는'', `$\land$'는 ``동시에'',
-`$\rightarrow$'는 ``이라면'', $\forall$은 ``모든'', $\exists$는 ``어떤
-\ldots 가 존재한다''는 의미이다.
-
-이 해석으로 말하면 대상이 유한집합의 경우는 술어논리도 명제논리로
-환원될 수 있다. $\forall$과 $\exists$는 무한집합을 대상으로 할 때
-비로소 의미를 갖는 논리기호이다. 수학은 본질적으로 무한집합을 대상으로
-하고 있기 때문에 술어논리는 수학의 논리로 되어 있는 것이다.
-
-그러나 지금은 이러한 유래를 제외하고 형식적 체계만을 문제삼고 있기
-때문에 당분간 기호의 의미는 잊어버려도 상관없다. 오히려 적극적으로
-잊어버려서 기호의 조작에만 전념하려고 하는 것이 초수학의 기본
-방침이다.
-
-\subsection{`항', `논리식'의 정의와 논리법칙}
-
-기호가 갖추어진 곳에서 추론의 대상이 되는 `항'을 \pref{fig:term}의
-\fref{fig:term}\과 같이 정의한다.\showcommand{pref}
-
-\begin{figure}
-\centering
-\begin{minipage}{.75\textwidth}
-\begin{enumerate}[(1)]\tightlist\small\raggedright
-\item \label{itemone} 대상 기호와 자유변수는 항이다.
-\item \label{itemtwo} $f$가 $n$ 변수의 함수기호이고, $t_1 , t_2 ,
- \ldots, t_n$이 항이라면 $f(t_1 , t_2 , \ldots t_n )$은 항이다.
-\item (\ref{itemone})\와 (\ref{itemtwo})\으로부터 얻어지는 것만이 항이다.
-\end{enumerate}
-\end{minipage}
-\caption{`항'의 정의}\label{fig:term}
-\end{figure}
-
-다음으로 이 항을 사용해서 `논리식'을 \fref{fig:logi}\과 같이 정의한다.
-
-\begin{figure}
-\centering
-\begin{minipage}{.85\textwidth}
-\begin{enumerate}[(1)]\tightlist\small\raggedright
-\item \label{st} $P$가 $n$ 변수의 술어기호이고, $t_1 , t_2 , \ldots ,
- t_n $이 항이라면 $P(t_1 , t_2 , \ldots , t_n )$은 논리식이다. 특히
- 이것을 \emph{원시논리식}이라 부른다.
-\item \label{nd} $A, B$가 논리식일 때 $\lnot A, A \lor B, A \land B, A
- \to B$도 논리식이다.
-\item \label{rd} $A(a)$가 자유변수 $a$를 포함하는 논리식이고 $x$가
- $A(a)$ 속에 나타나지 않는 속박변수일 때 $\forall xA(x), \exists
- xA(x)$는 논리식이다.
-\item (\ref{st}), (\ref{nd}), (\ref{rd})에 의해서 얻어지는 것만이
- 논리식이다.
-\end{enumerate}
-\small
-덧붙여 말하면, $\forall xA(x)$는 ``모든 $x$는 $A$를 충족시킨다'',
-$\exists xA(x)$는 ``$A$를 충족시키는 $x$가 존재한다''라고 해석한다.
-\end{minipage}
-\caption{`논리식'의 정의}\label{fig:logi}
-\end{figure}
-
-그러면 다음은 이들 논리식을 사용해서 추론을 행하기 위한 논리법칙의
-설정인데, 힐베르트-아카만의 공리계에서는 다음 \fref{fig:rules}\과 같이
-되어 있다.
-
-\begin{figure}
-\centering
-\begin{minipage}{.85\textwidth}\small
-\noindent\textsf{공리}\\
-\begin{enumerate}[(1)]\tightlist
-\item $A \to (B\to A)$
-\item $(A\to B)\to ((A\to (B\to C))\to (A\to C))$
-\item $A\to (B\to A\land B)$
-\item $A\land B\to A,\quad A\land B\to B$
-\item $A\to A\lor B,\quad B\to A\lor B$
-\item $(A\to C)\to ((B\to C)\to(A\lor B\to C))$
-\item $(A\to B)\to ((A\to \lnot B)\to \lnot A))$
-\item $\lnot\lnot A\to A$
-\item $A(t)\to \exists xA(x)$ ($t$는 항)
-\item $\forall xA(x) \to A(t)$ ($t$는 항)
-\end{enumerate}
-
-\bigskip
-
-\noindent\textsf{추론 규칙}\\
-\begin{enumerate}[1~~]
-\item \label{rules:st} $\dfrac{A,\; A\to B}{B}$
-\item $\dfrac{A(a)\to C}{\exists xA(x)\to C}$
-\item $\dfrac{C\to A(a)}{C\to \forall xA(x)}$
-\end{enumerate}
-다만, $A, B, C, \ldots, \forall xA(x), \ldots$ 등은 모두 논리식으로
-한다.
-\end{minipage}
-\caption{논리법칙 (힐베르트-아카만의 공리계를 따름)}\label{fig:rules}
-\end{figure}
-
-`추론규칙'이 형성하는 ``도형''을 ``연역도'' 또는 ``증명도''라 부르고
-이 도형은 ``위의 기호열로부터 아래의 기호열을 추론한다''라고
-해석한다. 예컨대 추론규칙 \ref{rules:st}\는 ``$A$와 $A\to B$로부터
-$B$를 추론한다''라고 해석하는 것이다.
-
-\subsection{증명과 해석}
-
-이만큼 준비가 된 곳에서 `증명가능'의 개념을 다음과 같이 정의한다.\showcommand{tightlist}
-\showenv{enumerate}
-\begin{enumerate}[(1)]\tightlist
-\item \label{ev:st} 공리는 증명가능하다.
-\item \label{ev:nd} 증명가능한 논리식에 추론규칙을 적용해서 얻어지는 논리식은
- 증명가능하다.
-\item (\ref{ev:st})\과 (\ref{ev:nd})에서 얻어진 논리식만이
- 증명가능하다.
-\end{enumerate}
-
-논리식 $A$가 $B_1 , B_2 , \ldots , B_n $을 가정했을 때 증명할 수
-있다면,
-\begin{displaymath}
-B_1 , B_2 , \ldots , B_n \vdash A
-\end{displaymath}
-라고 쓴다.\showenv{displaymath}
-
-또한 $A$가 술어논리의 공리만을 사용해서 증명가능할 때는
-\begin{displaymath}
-\vdash A
-\end{displaymath}
-라고 쓴다.
-
-\begin{snugshade}
-실례를 두 가지 대비시켜서 보여주자.
-
-예컨대 논리식,
-$$
-\forall x \exists y (y < x)
-$$
-는 ``모든 $x$에 대해서 $y$가 존재하고 $y$는 $x$보다 작다''라고 해석할
-수 있다. 이 해석 아래에서는 실수의 영역이면 모델이 되나 자연수의
-영역에서는 모델이 되지 않는다. 자연수로 $x$를 $0$으로 잡으면 그것보다
-작은 자연수 $y$는 존재하지 않기 때문이다.
-
-대비적인 실례로서 논리식,
-$$
-\exists x \forall y (x \le y)
-$$
-를 취하자. 그 해석은 ``어떤 $x$가 존재하고 모든 $y$에 대해서 $y$는
-$x$와 같거나 $x$보다 크다''로 된다. 이것은 자연수가 모델이라면
-$0$이라는 최소수가 존재하기 때문에 진실이 되나 실수의 모델에서는 허위로
-되는 논리식이다.
-\end{snugshade}
-\showenv{snugshade}
-
-그래서 모든 해석에 대해서 진실이 되는 논리식을 `항진식' 또는
-`토톨로지'라 부르고 $A$가 토톨로지일 때
-\begin{displaymath}
-\vDash A
-\end{displaymath}
-라고 쓰기로 한다.
-
-\chapter{이 문서에 관하여}
-
-이 문서는 \pkg{memhangul-ucs}를 처음 만들 때 테스트용으로 작성한
-것이다.
-
-\pkg{oblivoir}는 원래 \pkg{dhucs}를 백그라운드 드라이버로 하여
-구현된 것이었다. 그러다가 \hologo{XeTeX}ko, \hologo{LuaTeX}ko를
-백그라운드로 한 \pkg{xoblivoir}가 만들어졌다.
-현재 버전의 \pkg{xoblivoir}는 이 둘을 합쳐서 어떤 엔진으로 컴파일해도
-거의 같은 결과를 얻게끔 되어 있다.
-따라서, 이 문서는 \hologo{pdfLaTeX}, \hologo{XeLaTeX}, \hologo{LuaLaTeX} 어느 것으로도 컴파일된다. \showcommand{hologo}
-
-\section{kotexindy에 관하여}
-찾아보기를 만들려면 |kotexindy|를 사용하라. 예를 들면 다음과 같다.
-\begin{verbatim}
-$ kotexindy memucstest.idx
-\end{verbatim}
-찾아보기를 찍는 명령은 |\printindex|이다. \showcommand{printindex}
-
-%\restorechapsec \showcommand{restorechapsec}
-%% 만약 appendix가 문서의 가장 끝에 오는 것이 아니라면
-%% 이 명령을 appendix 이후에 실행해준다.
-%% 아래와 같이 appendices 환경을 쓰는 경우에는
-%% 환경을 종료하기만 하면 된다.
-%\end{appendices}
-
-%%% 본문의 끝.
-\backmatter
-\chapterstyle{demo}
-
-%% \bibintoc 하면 참고문헌이 목록에 나온다.
-%% 기본값이므로 별도로 설정할 필요는 없다.
-%\bibintoc
-\renewcommand\prebibhook{%
- \showcommand{bibintoc}%
- 이 참고문헌 예제는 시험을 위해서 작성된 것으로 실제 문서의
- 내용과는 무관하다.%
- \showcommand{prebibhook}}
-\begin{thebibliography}{00}
-\bibitem[카누쓰86]{Knuth} Donald Knuth. \textit{The
- \TeX{}book}. Addison-Wesley. 1986.
-\bibitem{memman} Peter Wilson. ``The Memoir Class for Configurable
- Typesetting --- User Guide,'' On-line 문서.
- \url{http://www.ctan.org/tex-archive/macros/latex/contrib/memoir/}.
-\bibitem{incompl} 요시나가 요시마사, 임승원 (옮김), \bnm{불완전성 정리
- --- ``이성의 한계''의 발견}. 전파과학사. 1993.
-\bibitem[수학질문상자]{Kentaro} 야노 겐타로(矢野健太郞), 전재복
- (옮김). \bnm{수학 질문 상자 --- 왜일까? 그것을 알고
- 싶다}. 전파과학사. 1991. (원저: 고단샤, 1973).
-\end{thebibliography}
-
-\indexintoc
-\renewcommand\preindexhook{%
- 찾아보기는 테스트를 위해서 임의의 단어들로 선정되었다.
- \bigskip}
-\printindex
-
-%% memoir에서는 \listof... 명령을 아무데나 선언할
-%% 수 있다. 신기하다.
-\clearpage
-\showcommand{listof...}
-\listofqueries
-
-\end{document}
-