1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
5 \origin /systemlyxdir/examples/ja/
11 % define new commands used in sec. 5.1
13 \xydef@\xymatrixrowsep@{#1}}
15 \xydef@\xymatrixcolsep@{#1}}
17 \newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
19 % a pdf-bookmark for the TOC is added
20 \let\myTOC\tableofcontents
21 \renewcommand\tableofcontents{%
22 \pdfbookmark[1]{\contentsname}{}
25 % redefine the \LyX macro for PDF bookmarks
26 \def\LyX{\texorpdfstring{%
27 L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}
31 \use_default_options false
32 \maintain_unincluded_children false
34 \language_package default
37 \font_roman "ae" "default"
38 \font_sans "default" "default"
39 \font_typewriter "default" "default"
40 \font_math "auto" "auto"
41 \font_default_family default
42 \use_non_tex_fonts false
45 \font_sf_scale 100 100
46 \font_tt_scale 100 100
48 \default_output_format pdf
50 \bibtex_command default
51 \index_command default
55 \pdf_title "Using XY-pc in LyX"
56 \pdf_author "H. Peter Gumm"
57 \pdf_subject "LyX's XY-pic manual"
58 \pdf_keywords "LyX, documentation"
60 \pdf_bookmarksnumbered true
61 \pdf_bookmarksopen true
62 \pdf_bookmarksopenlevel 2
67 \pdf_pdfusetitle false
68 \pdf_quoted_options "linkcolor=black, citecolor=black, urlcolor=blue, filecolor=blue,pdfpagelayout=OneColumn, pdfnewwindow=true,pdfstartview=XYZ, plainpages=false, pdfpagelabels"
71 \use_package amsmath 1
72 \use_package amssymb 1
75 \use_package mathdots 1
76 \use_package mathtools 0
78 \use_package stackrel 0
79 \use_package stmaryrd 0
80 \use_package undertilde 0
82 \cite_engine_type default
86 \paperorientation portrait
96 \paragraph_separation indent
97 \paragraph_indentation default
98 \quotes_language english
101 \paperpagestyle default
102 \tracking_changes false
103 \output_changes false
106 \html_be_strict false
115 \begin_layout Plain Layout
124 -Picを\SpecialCharNoPassThru LyX
133 \begin_layout Abstract
138 スタイルの導入された\SpecialCharNoPassThru LaTeX
139 システムと、比較的新しい版の\SpecialCharNoPassThru LyX
140 があれば、\SpecialCharNoPassThru LyX
147 \begin_layout Plain Layout
158 -Picを便利に使用することができます。\SpecialCharNoPassThru LyX
159 のメイン編集ウィンドウ内部で、図式を編集したり表示したりすることができるのです。ここでは、主に圏論や代数などの関連
160 領域で使用される図式を描いたり、編集したり、プレビューしたりするためには、
170 コマンドを\SpecialCharNoPassThru LyX
171 内部からどのように使えばいいのかを説明します。
174 \begin_layout Abstract
175 \begin_inset CommandInset toc
176 LatexCommand tableofcontents
183 \begin_layout Section
187 \begin_layout Standard
192 パッケージは、\SpecialCharNoPassThru LaTeX
193 においてグラフと図式を簡単に構成するための便利なツールとして、長い間使われてきています。不幸にして長い間、\SpecialCharNoPassThru LyX
195 るのは、悪名高き\SpecialCharNoPassThru TeX
196 コードボックスに限定されてきたため、\SpecialCharNoPassThru LyX
197 エディタでは、完成した図式ではなく\SpecialCharNoPassThru LaTeX
198 ソースしか表示されませんでした。しかしついに、AUC
199 \SpecialCharNoPassThru TeX
201 \begin_inset CommandInset citation
207 の一部である新しい\SpecialCharNoPassThru LaTeX
212 によって、\SpecialCharNoPassThru LyX
213 内部から構成し、表示し、対話式に編集する形で、
217 図式の編集や表示ができるようになりました。
220 \begin_layout Standard
221 \begin_inset VSpace defskip
227 \begin_layout Standard
229 \begin_inset Graphics
230 filename xyfigure.png
232 BoundingBox 0bp 0bp 680bp 445bp
240 \begin_layout Standard
241 \begin_inset VSpace defskip
247 \begin_layout Standard
252 \begin_layout Plain Layout
261 -Picを\SpecialCharNoPassThru LyX
262 内部からどのように使用すればよいか、図式をどのように作成し編集すればよいかを説明します。下記の手順は、Windows
263 \begin_inset space \thinspace{}
266 XPおよびWindows Vistaそれぞれの環境下で、\SpecialCharNoPassThru LyX
267 の第1.3.7版から第1.6版までを使用して検証されています。
270 \begin_layout Standard
271 操作には二つのモードがあります。最初のうち、何回かの練習では、まず
275 \begin_layout Plain Layout
284 -Picコードを\SpecialCharNoPassThru LyX
285 ウィンドウに入力し、その全体を選択した後、
297 \begin_layout Plain Layout
298 【訳註】これはキー割り当てがcuaの場合です(以下同)。その他のキー割り当てであれば、
302 関数に割り当てられたキーになります。たとえば、emacs配列では
315 \begin_layout Plain Layout
324 -Picをもっとよく使うようであったり、最初に作った図を修正したりしたいのであれば、目的の図は、\SpecialCharNoPassThru LyX
325 数式エディタを使って組み立て、修正した方がよいでしょう。
328 \begin_layout Standard
329 カーソルを図式の上に動かすと、図式はノードコマンドと矢印コマンドの配列として表示され、これは対話的に変更することができます。カーソルを編集領域から動かすと、図式
333 \begin_layout Standard
334 この文書の最初の2節では、上述した最初のモードで\SpecialCharNoPassThru LyX
335 を使うにはどうすればよいか説明し、可換図やグラフやオートマトンを描くのに便利な、すべての
339 \begin_layout Plain Layout
349 \begin_inset CommandInset ref
351 reference "sec:数式エディタ"
359 \begin_layout Plain Layout
371 \begin_layout Standard
376 \begin_layout Plain Layout
385 -Picの入門を書くことではなく、これらのうち最も重要なコマンドが\SpecialCharNoPassThru LyX
386 内部でどう機能するのかを紹介することにあります。というのも、
390 \begin_layout Plain Layout
400 \begin_inset CommandInset citation
406 で説明されているキー割り当ては、\SpecialCharNoPassThru LyX
407 内部では必ずしも正しく動作しないからです。
410 \begin_layout Section
414 \begin_layout Standard
415 ここからは、\SpecialCharNoPassThru LaTeX
424 が、\SpecialCharNoPassThru LaTeX
425 システムに導入されていることが必要です。これらはCTANから入手することができます。それぞれ
426 \begin_inset CommandInset citation
428 key "instant-preview"
433 \begin_inset CommandInset citation
439 を参照してください。これらを新しく導入した場合には、\SpecialCharNoPassThru LyX
442 編集\SpecialChar menuseparator
445 を実行する必要があるかもしれません。すると、\SpecialCharNoPassThru LyX
446 で最初の図式を作るための手順は以下のようになります。
449 \begin_layout Enumerate
456 \begin_inset Separator parbreak
462 \begin_layout Enumerate
463 \SpecialCharNoPassThru LyX
466 ツール\SpecialChar menuseparator
467 設定\SpecialChar menuseparator
468 操作性\SpecialChar menuseparator
475 ドロップダウンメニューを「有効」にしてください。
478 \begin_layout Enumerate
479 \SpecialCharNoPassThru LyX
481 \begin_inset Formula $a+b=c$
491 \begin_layout Enumerate
492 カーソルを数式の外に出し、その外観が、DVI文書やPostScript文書の仕上がりと同じような外観に変化するのを確認してください。
496 \begin_layout Enumerate
500 \begin_layout Plain Layout
510 \begin_inset Separator parbreak
516 \begin_layout Enumerate
517 \SpecialCharNoPassThru LyX
521 \begin_inset Newline newline
531 \begin_inset Newline newline
537 \begin_layout Enumerate
540 挿入\SpecialChar menuseparator
541 数式\SpecialChar menuseparator
551 \begin_layout Enumerate
553 \begin_inset Formula $\xymatrix{A\ar[r] & B}
557 のような矢印が現れるまでほんの一瞬待ってください。
561 \begin_layout Standard
565 \begin_layout Plain Layout
574 -Picの作成者Kristoffer H.
579 \begin_layout Plain Layout
589 \begin_inset CommandInset citation
595 から採った、以下の図式は、このパッケージで利用できる機能の多くに対する使用例となるでしょう。
598 \begin_layout LyX-Code
602 \begin_inset Newline newline
614 \begin_inset Newline newline
624 \begin_inset Newline newline
640 \begin_inset Newline newline
648 \begin_layout LyX-Code
652 \begin_layout Standard
653 先ほどと同じように、このコードをグラフィカルな出力に置き換えるには、これを一度に全部、
660 から閉じ波括弧\SpecialChar ldots
665 までを選択して、上述したように別行建て数式に変えてください。カーソルを数式領域から出してしばらくすると、以下のような輝かしいフルグラフィックスとして図式が表示さ
669 \begin_layout Standard
670 \begin_inset Formula $\xymatrix{U\ar@/_{1pc}/[ddr]_{\psi}\ar@/{}^{1pc}/[drr]^{\varphi}\ar@{.>}[dr]|-{(x,y)}\\
671 & X\times_{Z}Y\ar[d]^{q}\ar[r]_{p} & X\ar[d]_{f}\\
680 \begin_layout Subsection
684 \begin_layout Standard
689 は、図式の頂点のレイアウトを定義するのに、行列を使います。上記の例では、
690 \begin_inset Formula $3\times3$
694 \begin_inset Formula $U$
698 \begin_inset Formula $X\times_{Z}Y$
702 \begin_inset Formula $X$
706 \begin_inset Formula $Y$
710 \begin_inset Formula $Z$
713 の各頂点用に使用され、残りの位置は空のままに残されています。この場合には、以下の行列がレイアウトを決定しています。
716 \begin_layout LyX-Code
720 \begin_inset Newline newline
728 \begin_inset Newline newline
738 \begin_inset Newline newline
744 \begin_layout Standard
745 このパターンは\SpecialCharNoPassThru LaTeX
746 で慣れておられると思います。ここには3つの行があり、最初の2行は行末マーカ
754 で終わっています。各行には、各要素がアンパサンド
761 \begin_layout Subsection
765 \begin_layout Standard
766 頂点を入れたので、それらの間に矢印を加えます。矢印を生成する
776 ですが、これを矢印の始まる行列セルに入れます。矢印の終点は、方向コマンド
792 (右)で決定します。これらは経路を表すように結合して、角括弧の中に入れます。たとえば、左上角の頂点
793 \begin_inset Formula $U$
797 \begin_inset Formula $X\times_{Z}Y$
801 \begin_inset Formula $Y$
805 \begin_inset Formula $X$
826 と定義します。よって、上記の図式にすべての矢印を加えたものは以下のようになります。
829 \begin_layout LyX-Code
833 \begin_inset Newline newline
847 \begin_inset Newline newline
863 \begin_inset Newline newline
871 \begin_layout Standard
872 \begin_inset Formula $\xymatrix{ U \ar[ddr] \ar[drr] \ar[dr]\\
873 & X \times_{Z} Y \ar[d] \ar[r] & X \ar[d]\\
882 \begin_layout LyX-Code
886 \begin_layout LyX-Code
890 \begin_layout Subsection
894 \begin_layout Standard
901 コマンドに上添字または下添字として書き加えれば、付けることができます。したがって、
909 と書けば、セルを一つ下に下がって二つ右に行く矢印で、上に
910 \begin_inset Formula $\varphi$
913 というラベルを付けた矢印を定義することになります。ラベルを矢印の下に付けるには、
921 のように、ラベルを下添字にしてください。実は、この説明は右向きの矢印にのみ該当します。正確には、矢印が指している方向に矢印に沿って見ると、上添字はラベルを矢印の
922 左に置き、下添字は右に置くのです。その結果、
932 のように右から左に向いている矢印では、ラベル
933 \begin_inset Formula $\alpha$
937 \begin_inset Formula $\beta$
941 \begin_inset Formula $\xymatrix{\ & \ \ar[l]_{\beta}^{\alpha}}
945 のようになります。^や_の代わりに、|という文字を使用すると、ラベルを矢印の上に(柄の部分が埋もれてしまいますが)置くこともできます。
948 \begin_layout Standard
949 通常、ラベルは、矢印の起点となるオブジェクトと終点のオブジェクトの中点に置かれます。以下の図式では、
950 \begin_inset Formula $U$
954 \begin_inset Formula $(x,y)$
957 は、それがつなぐ二つのオブジェクトの中点ではなく、矢印の柄の中点にあります。これは、
963 のように、ラベルの前にマイナス記号を付けることで実現しています。
966 \begin_layout LyX-Code
970 \begin_inset Newline newline
988 \begin_inset Newline newline
1004 \begin_inset Newline newline
1012 \begin_layout LyX-Code
1013 \begin_inset Formula $\xymatrix{ U \ar[ddr]_{\psi}\ar[drr]^{\varphi}\ar[dr]|-{(x,y)}\\
1014 & X \times_{Z} Y \ar[d]^{q} \ar[r]_{p} & X \ar[d]_{f}\\
1023 \begin_layout Standard
1027 \begin_layout Plain Layout
1040 のように比率をラベルの前に付けることによって、ラベルを矢印の先の方や根本の方にずらすことができますが、これは\SpecialCharNoPassThru LyX
1049 のように矢印の上に置かれているラベルに関してのみ行うことができます。
1052 \begin_layout Standard
1053 これは、矢印の右や左に置かれているラベルに対しては機能しないのです。\SpecialCharNoPassThru LyX
1054 の数式エディタは、このような場合に対応する、
1074 \begin_layout Plain Layout
1083 -Picコードを正しく解釈できません。これを回避する二つの方法は、この文書の最後の節で提案されています。
1086 \begin_layout Subsection
1090 \begin_layout Standard
1095 文字を使って行われます。その後に括弧対を置き、その括弧の形、
1107 が、矢印のデザインを修正したいのか配置を変えたいのか曲率を変えたいのかを示します。これと同時に、矢印に対する様々な修正も加えることができます。
1110 \begin_layout Subsubsection
1114 \begin_layout Standard
1127 のような様々なデザインを施すことができます。これと同時に、様々な鏃や根本を指定できます。一般的に、矢印のデザインは、
1137 印を置き、その後に矢印の根本と柄、鏃を指定する文字を入れた括弧対{\SpecialChar ldots
1138 }を置くことで指定することができます。この指定文字は、実際の矢印をASCII文字で模したような
1145 と書くと、二股の矢羽根に、点線の矢柄、二重の鏃を持つ矢印が生成されます。その他の矢印デザインを下記の表に多数列挙しておきます。
1146 \begin_inset Formula $\xymatrix{A\ar@{^{(}->}[r] & B}
1156 のように左括弧を上添えにするか下添えにするかで記述します。
1159 \begin_inset Newline newline
1165 \begin_layout Standard
1166 \begin_inset Tabular
1167 <lyxtabular version="3" rows="11" columns="2">
1168 <features rotate="0" islongtable="true" longtabularalignment="center">
1169 <column alignment="center" valignment="top">
1170 <column alignment="center" valignment="top">
1172 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1175 \begin_layout Plain Layout
1181 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1184 \begin_layout Plain Layout
1185 \SpecialCharNoPassThru LyX
1193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1196 \begin_layout Plain Layout
1197 \begin_inset Formula $\xymatrix{\ \ar[r] & \ }
1206 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1209 \begin_layout Plain Layout
1221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1224 \begin_layout Plain Layout
1225 \begin_inset Formula $\xymatrix{\ \ar@{-->}[r] & \ }
1234 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1237 \begin_layout Plain Layout
1250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1253 \begin_layout Plain Layout
1254 \begin_inset Formula $\xymatrix{\ \ar@{..>}[r] & \ }
1263 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1266 \begin_layout Plain Layout
1278 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1281 \begin_layout Plain Layout
1282 \begin_inset Formula $\xymatrix{\ \ar@{~>}[r] & \ }
1291 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1294 \begin_layout Plain Layout
1306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1309 \begin_layout Plain Layout
1310 \begin_inset Formula $\xymatrix{\ \ar@{->>}[r] & \ }
1319 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1322 \begin_layout Plain Layout
1334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1337 \begin_layout Plain Layout
1338 \begin_inset Formula $\xymatrix{\ \ar@{-->>}[r] & \ }
1347 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1350 \begin_layout Plain Layout
1363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1366 \begin_layout Plain Layout
1367 \begin_inset Formula $\xymatrix{\ \ar@{>->>}[r] & \ }
1376 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1379 \begin_layout Plain Layout
1391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1394 \begin_layout Plain Layout
1395 \begin_inset Formula $\xymatrix{\ \ar@{_{(}->}[r] & \ }
1404 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1407 \begin_layout Plain Layout
1419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1422 \begin_layout Plain Layout
1423 \begin_inset Formula $\xymatrix{\ \ar@{^{(}->}[r] & \ }
1432 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1435 \begin_layout Plain Layout
1447 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1450 \begin_layout Plain Layout
1451 \begin_inset Formula $\xymatrix{\ \ar@{|-|}[r] & \ }
1460 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1463 \begin_layout Plain Layout
1481 \begin_layout Standard
1483 @文字の後に、2や3や^を続けることによって、二重・三重線の矢柄を持つ矢印や、鏃と矢羽根の上側ないし下側のみが表示された矢印を作ることができます。最後の例が示す
1484 ように、矢印は必ずしも鏃と矢羽根を持っていなくてはならないということはありません。
1485 \begin_inset Newline newline
1491 \begin_layout Standard
1492 \begin_inset Tabular
1493 <lyxtabular version="3" rows="8" columns="2">
1494 <features rotate="0" islongtable="true" longtabularalignment="center">
1495 <column alignment="center" valignment="top">
1496 <column alignment="center" valignment="top">
1498 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1501 \begin_layout Plain Layout
1507 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1510 \begin_layout Plain Layout
1511 \SpecialCharNoPassThru LyX
1519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1522 \begin_layout Plain Layout
1523 \begin_inset Formula $\xymatrix{\ \ar@2[r] & \ }
1532 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1535 \begin_layout Plain Layout
1547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1550 \begin_layout Plain Layout
1551 \begin_inset Formula $\xymatrix{\ \ar@3[r] & \ }
1560 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1563 \begin_layout Plain Layout
1575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1578 \begin_layout Plain Layout
1579 \begin_inset Formula $\xymatrix{\ \ar@_{->}[r] & \ }
1588 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1591 \begin_layout Plain Layout
1603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1606 \begin_layout Plain Layout
1607 \begin_inset Formula $\xymatrix{\ \ar@^{->}[r] & \ }
1616 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1619 \begin_layout Plain Layout
1631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1634 \begin_layout Plain Layout
1635 \begin_inset Formula $\xymatrix{\ \ar@^{>>->>}[r] & \ }
1644 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1647 \begin_layout Plain Layout
1659 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1662 \begin_layout Plain Layout
1663 \begin_inset Formula $\xymatrix{\ \ar@{^{<}-_{>}}[r] & \ }
1672 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1675 \begin_layout Plain Layout
1687 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
1690 \begin_layout Plain Layout
1691 \begin_inset Formula $\xymatrix{\ \ar@2{--}[r] & \ }
1700 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
1703 \begin_layout Plain Layout
1722 \begin_layout Subsubsection
1726 \begin_layout Standard
1727 一定の制限内であれば、自作の矢印をデザインする方法もあります。
1731 という文字のうちいくつかを使えば、プリアンブル中で
1737 コマンドを使って、自作の鏃をデザインすることができます。説明は
1741 \begin_layout Plain Layout
1750 -Picの取扱説明書にゆだねますが、以下はそこから採った例です。
1753 \begin_layout Standard
1758 newdir{|>}{!/4.5pt/@{|}*:(1,-.2)@^{>}*:(1,+.2)@_{>}}
1763 \begin_layout Standard
1775 とすれば、\SpecialCharNoPassThru LyX
1777 \begin_inset Formula
1779 \xymatrix{A\ar@{-|>}[r] & \ \ B}
1787 \begin_layout Subsection
1791 \begin_layout Standard
1797 \begin_inset Formula $\ldots$
1804 を使えば、横にずらすことができます。ここで省略符号の部分には正か負の長さを入れます。たとえば、二つのノードの間に右向きと左向きの矢印を並べてデザインするには、矢
1805 印の間が離れるようにシフトさせなくてはなりません。(正の)シフトの方向は、矢印に沿って見たときに左側になることに注意してください。したがって、
1808 \begin_layout Standard
1824 \begin_layout Standard
1827 \begin_inset Formula
1829 \xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
1837 \begin_layout Subsubsection
1841 \begin_layout Standard
1843 \begin_inset Formula $\xymatrix{\circ\ar@<1ex>[r] & \circ\ar@<1ex>[l]}
1847 のように、行内で使用することができます。上記のように、このコードを\SpecialCharNoPassThru LyX
1848 内で書いたならば、それを選択して、行内表示にしたければ
1858 編集\SpecialChar menuseparator
1859 数式\SpecialChar menuseparator
1862 を行内として作られた図式は後から中央揃えにすることもできますし、逆に中央揃えの図式を行内にすることもできます。
1865 \begin_layout Subsection
1869 \begin_layout Standard
1870 矢印を曲げるには、簡単な方法が二つあります。最初の方法は、矢印の柄の中点をどれだけ持ち上げるか、あるいはどれだけ押し下げるかを示す値を明示的に与える方法です。も
1871 う一つの方法は、矢印が起点を指定した方角に出るように指定し、終点に指定した方角から入るように規定する方法です。必要な矢印の曲率は、自動的に決定されます。以下でこ
1875 \begin_layout Subsubsection
1879 \begin_layout Standard
1881 \begin_inset Formula $\ldots$
1884 /を使用します。省略記号の部分には、\SpecialCharNoPassThru TeX
1885 式の長さを下添字か上添字として入力する必要があります。たとえば、矢印を
1899 と書けばいいのですが、\SpecialCharNoPassThru LyX
1900 では直接このように書くことはできません。\SpecialCharNoPassThru LyX
1907 のように波括弧対の中に入れる必要があります。下記の例は、それぞれ.5ピカ分曲げられた、
1908 \begin_inset Formula $A$
1912 \begin_inset Formula $B$
1915 の間で対向する二つの矢印です。以下のソースコードで与えられます。
1918 \begin_layout Standard
1930 \begin_layout Standard
1931 \begin_inset Formula
1933 \xymatrix{A\ar@/{}_{.5pc}/[r] & B\ar@/{}_{.5pc}/[l]}
1941 \begin_layout Subsubsection
1945 \begin_layout Standard
1946 矢印を曲げるもう一つの方法は、起点を出る際と終点に入る際の方角を指定する方法です。方角は、北・北東・東などと指定はしないで、
1978 (up-left:左上)というふうに指定します。方角は@(
1994 は終点に入る方角を示します。例として、曲がった矢印と、矢印の終点を指定せずに入射角と出射角のみを指定すると作ることのできるループを示します。
1997 \begin_layout Standard
1998 \begin_inset Formula
2000 \xymatrix{A\ar@(dr,dl)[r]\ar@(dr,dl)[rr] & B\ar@(d,r)[dl] & C\\
2010 \begin_layout LyX-Code
2018 \begin_inset Newline newline
2028 \begin_inset Newline newline
2036 \begin_layout Subsection
2040 \begin_layout Standard
2041 上述の例は、オートマトン図式を思い起こさせますが、通常、オートマトン図式では、状態が小さな丸で囲まれ、最終状態は二重丸で囲まれています。
2044 \begin_layout Subsubsection
2048 \begin_layout Standard
2052 \begin_layout Plain Layout
2069 と付けて、枠を付けたい要素部分を波括弧で囲えば、
2070 \begin_inset Formula $\xymatrix{*+[F]{A}}
2075 \begin_inset Formula $\xymatrix{*+[F=]{B}}
2079 のように、要素に一重または二重の枠を付けることができます。通常、枠は非常に窮屈なので、前に
2088 \begin_inset Formula $\xymatrix{*++[o][F]{A}}
2093 \begin_inset Formula $\xymatrix{*++[o][F=]{B}}
2101 として指定することで得ることができます。この後者の例は、*++[o][F=]{B}として構成されています。このようにして、以下のオートマトン
2104 \begin_layout Standard
2105 \begin_inset Formula
2107 \xymatrix{\txt{\text{開始}}\ar[r] & *++[o][F]{1}\ar[r] & *++[o][F=]{2}\ar@(ur,dr)\ar@(ur,ul)[l]}
2115 \begin_layout Standard
2117 は、下記のようにして組版することができます。
2120 \begin_layout LyX-Code
2130 \begin_layout LyX-Code
2136 \begin_layout LyX-Code
2144 \begin_layout LyX-Code
2148 \begin_layout Standard
2149 \SpecialCharNoPassThru LaTeX
2161 は、ある要素の様式を既定に設定するものですが、もちろん各要素において、この様式を上書きすることができます。したがって、
2165 entrymodifiers={++[o][F-]}
2171 \begin_layout Plain Layout
2180 -行列内のすべての要素は丸で囲まれるようになります。
2183 \begin_layout Subsubsection
2187 \begin_layout Standard
2191 \begin_layout Plain Layout
2209 で作れます。長方形の寸法は、長方形の左上と右下を示す点をピリオドでつなげた対
2219 \begin_inset Formula $P_{0}.P_{1}$
2223 \begin_inset Formula $x$
2227 \begin_inset Formula $y$
2230 のコンマ区切りを二重引用符でくくったもの
2231 \begin_inset Quotes eld
2235 \begin_inset Formula $x,y$
2239 \begin_inset Quotes erd
2242 で与えられます。その後には、以下のような図を生成するための枠付けコマンドが続きます。
2243 \begin_inset Formula
2245 \xymatrix{A & B\ar@(d,r)[dl]\sp(0.2)\phi\sp(0.7)\psi\save"1,1"."2,1"*+[F=]\frm{}\restore\,\\
2246 C & \save"1,1"."1,2"*++[F]\frm{}\restore
2263 save"1,1"."2,1"*+[F=]
2276 というコードは、二重線長方形を生成し、もう一つの横に長い長方形は、
2287 save"1,1"."1,2"*++[F]
2313 \begin_layout Plain Layout
2322 -行列のどのセルにも置くことができます。
2325 \begin_layout Section
2326 \SpecialCharNoPassThru LyX
2328 \begin_inset CommandInset label
2337 \begin_layout Standard
2350 を適用して数式編集環境に変換する方法以外にも、\SpecialCharNoPassThru LyX
2351 数式エディタ内でxypic図式を作成して編集することができます。上記のような図を編集する手順を説明することに
2355 \begin_layout Subsection
2359 \begin_layout Standard
2360 \SpecialCharNoPassThru LyX
2361 数式エディタでは、マクロパラメータを囲む波括弧の対
2375 を一回入力するだけで入れなくてはなりません。閉じ括弧は自動的に付け加えられ、間にはパラメータを入れるボックスが現れます。
2379 \begin_layout Plain Layout
2388 -図式との関連について云えば、矢羽根・矢柄・鏃を指定するために、通常
2397 の形で入力する矢印修飾子についても同じことが云えます。数式エディタ内では、
2403 とだけ入力して、\SpecialCharNoPassThru LyX
2404 がボックスと閉じ括弧を入れてくれるのを待ち、そこに矢印の指定を入れてください。
2407 \begin_layout Standard
2414 なしで入れた波括弧は、打ったとおりに出ますが、マクロパラメータを受けるために使用することはできません。こうした波括弧は、集合などを示すのに便利です。たとえば、
2425 \begin_inset Formula $\{x\in X\mid x\notin x\}$
2431 \begin_layout Subsection
2435 \begin_layout Standard
2451 \begin_inset Formula $\times$
2458 \begin_layout Plain Layout
2478 \begin_layout Standard
2481 編集\SpecialChar menuseparator
2492 で始まる行コマンド短絡キーを使って、いつでも追加したり削除したりすることができます。
2495 \begin_layout Subsection
2499 \begin_layout Standard
2500 まずノードを行列中の正しい位置に入力してください。行列の外にカーソルを動かすと、ノードレイアウトの最初のレンダリングを見ることができます。次に、矢印を開始するノ
2533 の文字を組み合わせて作られたパスを示します。このパスが、本当に行列中の既存ノードに向かっていることを確認してください。正しくないと、カーソルを編集領域から出して
2537 \begin_layout Standard
2538 次に、矢印のパスの終わりに上添字か下添字としてラベルを書くことで、矢印にラベルを付けてください。\SpecialCharNoPassThru LyX
2539 数式エディタにおいては常に、アンダースコア
2547 の後にスペースを押すと上添字のボックスが開きます。ラベルには、\SpecialCharNoPassThru LaTeX
2551 \begin_layout Subsection
2555 \begin_layout Standard
2585 を入れることによって、矢印の見かけを修正することができます。上記の注意は、最初の修飾子のみに該当し、
2591 と打つと出てくるボックスの中に矢印の指定を入力するようにしなくてはなりません。このボックスを空のままにしておくと、空の矢印を指定したことになります。次節で見るよ
2595 \begin_layout Standard
2624 は、省略記号部分を矢印の指定に置き換える他は、そのまま入力します。曲がった矢印のコードは、
2653 は有効な\SpecialCharNoPassThru TeX
2654 寸法であり、最初のスラッシュ/の後に上添字または下添字として入力します)。最後のスラッシュが、上添字や下添字の一部のままにならないように注意してく
2658 \begin_layout Subsection
2662 \begin_layout Standard
2663 図式を作図するときに、ときどきカーソルを編集領域の外に出して、自動プレビューがグラフィカル出力に正しく変換されるかどうかを確かめると良いでしょう。うまく変換され
2664 ないときには、何らかの理由で自動プレビューがグラフィックスを再描画すべきことに気づかないせいかもしれません。カーソルを編集領域にいったん入れてからまた出すと、自
2665 動プレビューが引き起こされることがあります。
2668 \begin_layout Standard
2669 もっと深刻な理由としては、入力中の文法エラーであることもあります。必要であれば、
2679 表示\SpecialChar menuseparator
2682 を使って、\SpecialCharNoPassThru LyX
2687 に変換してみてください。いくつかエラーが出力されるはずなので、間違いの原因についてのヒントが得られるかもしれません。
2690 \begin_layout Section
2694 \begin_layout Standard
2695 一部には、\SpecialCharNoPassThru LyX
2696 内部では正しく動作しないものがあります。私たちが(かつて)最も望んでいたものは、図式の水平・垂直伸縮であり、矢印の正確な配置でした。これにはいく
2697 つか回避法があり、それをここで説明します。
2700 \begin_layout Subsection
2704 \begin_layout Standard
2705 行間コマンドや列間コマンドを使用して、図式全体の水平寸法や垂直寸法を伸縮させることが便利なことがよくあります。
2709 \begin_layout Plain Layout
2733 \begin_layout Plain Layout
2758 とすれば、列間を指定することができます。残念ながら@-文字は、\SpecialCharNoPassThru LyX
2763 \begin_layout Plain Layout
2772 -行列マクロの終わりと解釈されてしまうので、これらのコマンドは、現在のところ、\SpecialCharNoPassThru LyX
2776 \begin_layout Standard
2780 \begin_layout Plain Layout
2801 変数に保存することが知られていることから、プリアンブル(
2803 文書\SpecialChar menuseparator
2804 設定\SpecialChar menuseparator
2805 \SpecialCharNoPassThru LaTeX
2809 \begin_inset Newpage pagebreak
2815 \begin_layout LyX-Code
2823 \begin_layout LyX-Code
2828 xymatrixrowsep@{#1}}
2831 \begin_layout LyX-Code
2835 \begin_layout Standard
2858 \begin_layout Plain Layout
2869 xyR{...}を入れることによって、図を伸縮することができます。カーソルを行列の内部、最初の要素の前に置きます。そこに、
2885 、あるいは両者を入力します。バックスラッシュを忘れないようにし、閉じ括弧は\SpecialCharNoPassThru LyX
2886 が自動的に供給することに注意してください。波括弧の中に寸法を入れます。既定値は、
2898 と指定して、縦方向に圧縮し、横方向に伸ばした図式の例です。
2901 \begin_layout Standard
2902 \begin_inset Formula
2904 \xyC{.5pc}\xyC{9pc}\xymatrix{A\ar[r]\ar[d] & B\\
2905 C\ar@{}[ur]|{\text{{\text{水}\text{平}\text{方}\text{向}\text{に}\text{延}\text{ば}\text{す}}}}
2914 \begin_layout Subsection
2918 \begin_layout Standard
2923 \begin_layout Plain Layout
2932 -コマンドに、ラベルを矢柄の正確な位置に配置させるものがあります。ラベルの既定位置が絵を汚くしてしまったり、下記の図における矢印の交点のように、他の要素と干渉し
2933 てしまったりする場合には、この機能が必要となります。矢柄に沿ってラベル位置を移動させるために、
2937 \begin_layout Plain Layout
2946 では、括弧の中に十進数を入れて、矢の中でラベルを配置する相対位置を指定することができます。たとえば、
2954 というコードは、ラベルを柄の3分の1のところに配置します。同じことを矢印の上や下に付けるラベルに対してしようとして、
2970 としたとしても、\SpecialCharNoPassThru LyX
2971 の内部からではうまく動作しません。その代替策として、ハット記号^あるいはアンダースコア_を、それぞれ
3003 のようにしてください。じつは、このようにして複数のラベルを入れ、たとえ矢印が曲がっていても、これらのラベルを正確に配置することができるのです。以下の図では、
3006 \begin_inset Newline linebreak
3024 \begin_inset Newline linebreak
3033 と指定することによって、4つのラベルを持つ曲がった矢印を生成しています。
3036 \begin_layout Standard
3037 \begin_inset Formula
3039 \xyC{4pc}\xymatrix{\bullet\ar[dr]\sp(0.3)\varphi & \circ\ar@{}[d]|\vdots\ar@(r,r)[d]\sp(0.2){\phi_{1}}\sp(0.4){\phi_{2}}\sb(0.6){\phi_{3}}\sp(0.8){\phi_{4}}\\
3040 \circ\ar[ur]\sb(0.3)\phi & \bullet
3049 \begin_layout Subsection
3053 \begin_layout Standard
3054 図式の好きなオブジェクトを(ほぼ任意の)好きな場所に配置するトリックとして、見えない矢印を使う方法がよく使われます。見えない矢印を作成し、パスに伸縮比
3062 などを加えて、その行き先を縮めたり延ばしたりしてください。この見えない矢印にラベルを付加します。
3065 \begin_layout Standard
3066 したがって、上図中の、矢柄の(0.3)の位置に
3067 \begin_inset Formula $\varphi$
3070 というラベルを付けた下向きの矢印は、通常の矢印
3077 \begin_inset Formula $\varphi$
3088 を付け加え、それを比率0.6に縮めることによっても作成することができます。そのラベルは、元の見える矢印の0.3の位置に表示されることになります。
3091 \begin_layout Standard
3092 この回避法には、2つ微少な短所があります。一つは、これは曲がった矢印には機能しないことです。二つめは、見えない矢印を図全体の正常な寸法を超えて延ばしてしまうと、
3093 図のボックスの余白を延ばしてしまい、図と前後の段落との間に垂直余白を取りすぎることになってしまうことです。
3096 \begin_layout Standard
3097 それでも、見えない矢印は、基本的に図式中の任意の場所に情報を置くのに用いることができるので、重要なツールなのです。たとえば、上図中では、
3103 をラベルとしておくのに見えない矢印が使われていますし、その前の図では、図の真ん中に「
3107 」という文章を置くのに見えない矢印を使用しています。
3110 \begin_layout Subsection
3117 \begin_layout Plain Layout
3131 \begin_layout Standard
3138 コマンドに焦点を当てましたが、これは、Kris Roseによる素晴らしい
3144 \begin_layout Plain Layout
3155 -パッケージの機能の一つに過ぎないのです。
3161 \begin_layout Plain Layout
3173 \begin_inset CommandInset citation
3179 には、このパッケージの進んだ使い方が多く示されています。そこでは簡潔な説明しか与えられていないため、そこにある多くの実例をあれこれ試したり修正したりする必要があ
3180 るかもしれないので、注意してください。Lauda
3181 \begin_inset CommandInset citation
3187 には、組ひも・コボルディズム・ひも図式などを作るための
3191 \begin_layout Plain Layout
3200 -Picの使い方がたくさん説明されています。
3206 \begin_layout Plain Layout
3217 -行列へのシステマティックで良い入門書は
3218 \begin_inset CommandInset citation
3224 です。あなたが私同様にエスペラント語に長けていないとしても、ほとんどの部分はわかるでしょう。
3227 \begin_layout Bibliography
3228 \begin_inset CommandInset bibitem
3229 LatexCommand bibitem
3240 \begin_layout Plain Layout
3256 \begin_inset Newline newline
3259 \SpecialCharNoPassThru LaTeX
3267 \begin_layout Bibliography
3268 \begin_inset CommandInset bibitem
3269 LatexCommand bibitem
3271 key "instant-preview"
3276 \begin_inset Flex URL
3279 \begin_layout Plain Layout
3281 http://www.gnu.org/software/auctex/preview-latex.html
3289 \begin_layout Bibliography
3290 \begin_inset CommandInset bibitem
3291 LatexCommand bibitem
3298 \begin_inset Flex URL
3301 \begin_layout Plain Layout
3303 http://mirrors.ctan.org/macros/generic/diagrams/xypic/doc/xyguide.pdf
3311 \begin_layout Bibliography
3312 \begin_inset CommandInset bibitem
3313 LatexCommand bibitem
3320 \begin_inset Flex URL
3323 \begin_layout Plain Layout
3325 http://www.gnu.org/software/auctex/
3333 \begin_layout Bibliography
3334 \begin_inset CommandInset bibitem
3335 LatexCommand bibitem
3345 \begin_layout Plain Layout
3360 tutorial with an archive of examples
3363 \begin_inset Newline newline
3367 \begin_inset Flex URL
3370 \begin_layout Plain Layout
3372 http://mirrors.ctan.org/macros/generic/diagrams/xypic/doc/xyguide.pdf
3380 \begin_layout Bibliography
3381 \begin_inset CommandInset bibitem
3382 LatexCommand bibitem
3392 \begin_layout Plain Layout
3407 Enkonduko pri Xymatrix
3410 \begin_inset Newline newline
3414 \begin_inset Flex URL
3417 \begin_layout Plain Layout
3419 http://mirrors.ctan.org/macros/generic/diagrams/xypic/doc/xyguide.pdf