% % PAD スタイルファイルの使い方 % written by S.Kuramochi (satoshi@ueda.info.waseda.ac.jp) % % Apr 4-10,12-13,15, 1995 % Jul 22-23,26, 1995 % Aug 25-28,30,Sep 2-7,10-16, 1995 % Jun 12,15-17,Jul 8,17, 1996 \ifx\gtfam\undefined % NTT \documentstyle[fullpage,titlepage,pad]{j-article} \else % ASCII \documentstyle[fullpage,titlepage,pad]{jarticle} \西暦 \fi \makeatletter\def\fnum@figure{図 \thefigure}\makeatother \makeatletter\def\fnum@table{表 \thetable}\makeatother \def\figref#1{図~\ref{#1}} \def\tabref#1{表~\ref{#1}} \def\bs{$\backslash$} \begin{document} \title{PADスタイルファイルの使い方} \author{倉持 聡 \\ {\small\tt satoshi@ueda.info.waseda.ac.jp}} \date{1996年 7月17日} \maketitle \section{書式} PADスタイルファイルで定義されるマクロの書式について説明します。以下の説 明において、タイプライタ体の文字は, そのまま入力ファイルに現れる文字であ ることを意味し, イタリック体で示した部分は, 目的によって指定が変化するこ とを意味しています. \subsection{描画コマンド} \begin{description} \item[{\tt \bs padbox\{{\em text\/}\}}] \mbox{} 処理を表す枠を描きます. {\em text\/} はLRモードで組まれます. \item[% \begin{tabular}{@{}l@{}} {\tt \bs padwhile\{{\em cond\/}\}\{{\em proc\/}\}} \\ {\tt \bs padrepeat\{{\em cond\/}\}\{{\em proc\/}\}} \end{tabular}% ] \mbox{} {\tt \bs padwhile}は前判定反復, {\tt \bs padrepeat}は問題向き反復（後判 定反復）を表す枠を描きます. {\em cond\/} には判定条件を, {\em proc\/} に は任意の処理を指定します. {\em cond\/} はLRモードで組まれます. {\em proc\/} に何も指定しない（空白も入れてはいけません）場合には枝は引かれま せん. \item[{\tt \bs padcond\{{\em cond\/}\}\{{\em proc1\/}\}\{{\em proc2\/}\}}] \mbox{} 選択を表す枠を描きます. {\em cond\/} には判定条件を, {\em proc1\/}, {\em proc2\/} には任意の処理を指定します. {\em cond\/} はLRモードで組まれま す. {\tt \bs padwhile}, {\tt \bs padrepeat}と同様に, {\em proc1\/}, {\em proc2\/} に何も指定しない場合にはそれぞれの枝は引かれません. \item[{\tt \bs padcase\{{\em expr\/}\}\{{\em cases}\}}] \mbox{} 選択を表す枠を描きます. {\tt \bs padcase}は判定条件が2つ以上の時に使って 下さい. {\em expr\/} はLRモードで組まれ, 枠の中央に描かれます. {\em cases\/} には判定条件とそれに対応する処理の並びを指定します. 条件と処理 は`\verb|:|'で区切り, それらの並びは`\verb|,|'で区切ります. 条件はLRモー ドで組まれます. 条件および処理の中に`\verb|:|'または`\verb|,|'を書く場合には, それらをブ レースで囲んで下さい. \item[{\tt \bs padsub\{{\em text\/}\}}] \mbox{} サブルーチンを表す枠を描きます. {\em text\/} はLRモードで組まれます. \item[{\tt \bs padseq\{{\em procs\/}\}}] \mbox{} 連接を表す図を描きます. {\em procs\/} には処理の並びを指定します. 処理と 処理の間は \verb|\\| で区切ります. \verb|\\| にオプション引数{\em len\/} を指定することにより, 行間に{\em len\/} 分の追加スペースを出力します. \item[{\tt \bs padlabel\{{\em label\/}\}}] \mbox{} ラベル{\em label\/} を描きます. \item[{\tt \bs padref\{{\em label\/}\}}] \mbox{} ラベル{\em label\/} の参照を表す枠を描きます. \item[% \begin{tabular}{@{}l@{}} {\tt \bs padboxss\{{\em texts\/}\}} \\ {\tt \bs padsubss\{{\em texts\/}\}} \end{tabular}% ] \mbox{} これらは{\tt \bs padbox}, {\tt \bs padsub}内で複数の行にわたって処理を書 くために定義してあります. それぞれの行は \verb|\\| で区切ります. これらは単に引数を{\tt \bs shortstack}に渡して呼び出しているだけです. 反 復や選択のマクロの中で複数の行にわたって処理を書きたい場合には, {\tt \bs shortstack[l]\{引数\}}を引数として呼び出せば同じ効果が得られます. \item[{\tt \bs padmessage\{{\em message\/}\}}] \mbox{} {\tt \bs padseq}内で処理の並びに注釈を書く場合には, {\tt \bs padmessage} を使用して下さい. そうでないと左側の縦の線が描かれません. \item[{\tt \bs padcomment\{{\em comment\/}\}}] \mbox{} 直前の処理の右側に注釈を書きます. {\em comment\/} はLRモードで組まれ, そ の中心線が処理の本体のそれと一致するように配置されます. \end{description} \subsection{ボックスコマンド} \begin{description} \item[{\tt \bs savepad\{{\em name\/}\}\{{\em pad\/}\}}] \mbox{} {\em pad\/} で指定したPADを貯蔵所{\em name\/} に保存します. {\em name\/} は通常のコマンド名です. \LaTeX コマンドの{\tt \bs newsavebox}で貯蔵所を 作成する必要はありません. \item[{\tt \bs usepad\{{\em name\/}\}}] \mbox{} {\tt \bs savepad}によって貯蔵所{\em name\/} に保存したPADを描画します. PADの保存・使用には, \LaTeX コマンドの{\tt \bs savebox}, {\tt \bs usebox}ではなく, これらのマクロを使用して下さい. \end{description} \subsection{スタイルパラメータ} \begin{description} \item[{\tt \bs padboxrule}] \mbox{} PADの描画の際に用いるの線の太さ. 枠の線の太さはこれの2倍です. ただし, 斜 線の太さは変えられません. \item[{\tt \bs padboxsep}] \mbox{} PADの枠と中身のボックスとの間のスペースの量. \item[{\tt \bs padcolsep}] \mbox{} {\tt \bs padseq}, {\tt \bs padcond}および{\tt \bs padcase}におけるPAD同 士の間隔の最小値. \end{description} \section{補注} \begin{itemize} \item PADの枠の大きさは, その中身のボックスの大きさによって決まります. 枠の大きさを調整したいときには, {\tt \bs makebox}, {\tt \bs raisebox}, 支柱などを使って下さい. ただし, 最小の大きさが存在します. \item {\tt \bs padbox}, {\tt \bs padcond}などのベースラインは, PAD全体を 1つのボックスとしてみた時の底辺に一致します. \begin{quote} \makebox[0pt][l]{\rule[-\fboxrule]{390pt}{\fboxrule}} \padbox{\bs padbox}, \padboxss{proc1 \\ proc2}, \padwhile{\bs padwhile}{\padbox{proc}}, \padrepeat{\bs padrepeat}{}, \padcond{\bs padcond}{\padbox{true}}{\padbox{false}}, \padseq{\padbox{proc1} \\ \padbox{proc2}} \end{quote} {\tt *} 形式を使用することにより, その第一引数のベースラインと一致させる ことができます. また, {\tt \bs padseq*}のベースラインはボックスの中心か ら$-0.5 {\rm ex}$下の位置になります. \begin{quote} \makebox[0pt][l]{\rule[-\fboxrule]{390pt}{\fboxrule}} \padbox*{\bs padbox}, \padboxss*{proc1 \\ proc2}, \padwhile*{\bs padwhile}{\padbox{proc}}, \padrepeat*{\bs padrepeat}{}, \padcond*{\bs padcond}{\padbox{true}}{\padbox{false}}, \padseq*{\padbox{proc1} \\ \padbox{proc2}} \end{quote} \end{itemize} \section{例} \begin{figure}[htbp] \begin{center} ${\rm f}() = $ \padseq*{ \padsubss{nesting\\test} \\ \padbox{1} \\ \padrepeat{cond}{% \padseq{ \padbox{2} \\ \padwhile{cond}{% \padseq{ \padbox{3} \\ \padcond{cond}{\padbox{true}}{% \padseq{ \padbox{4} \\ \padwhile{cond}{% \padseq{ \padbox{5} \\ \padcond{cond}{% \padseq{ \padbox{6} \\ \padrepeat{cond}{% \padseq{ \padbox{7} \\ \padbox{7} } } } } {% \padseq{ \padbox{6} \\ \padbox{false} } } } } } } } } } } \\ \padcond{cond}{\padbox{true}}{\padbox{false}} } \end{center} \caption{ネスティングのテスト} \end{figure} \begin{figure}[htbp] \begin{center} $ {\rm ack}({\rm m}, {\rm n}) = \padcond*{${\rm m} = 0$}{% \padbox{return ${\rm n}+1$} } {% \padcond{${\rm n} = 0$}{% \padbox{return ${\rm ack}({\rm m}-1, 1)$} } {% \padbox{return ${\rm ack}({\rm m}-1, {\rm ack}({\rm m}, {\rm n}-1))$} } } $ \end{center} \caption{アッカーマン関数} \label{ackermann} \end{figure} \section{エラー} \subsection{pad.styに起因するエラー} エラーが発生した時の対処方法を説明します. \begin{description} \item[\rm ! TeX capacity exceeded, sorry {[}parameter stack size=$\ldots${]}.] \mbox{} {\tt \bs padcase}を多重にネストした時に出ることがあります. 最も内側にあ るPADを{\tt \bs savepad}で保存し, {\tt \bs usepad}で使用して下さい. \item[\rm ! TeX capacity exceeded, sorry {[}semantic stack size=$\ldots${]}.] \mbox{} これもネストが深い時に発生します. 上と同様に対処して下さい. 現在のpad.styはリソースの使用をほとんど最適化していないので, 複雑なPADや 大量に使用する時はなるべくBig\TeX を使用して下さい. \item[\rm ! No room for a new $\ldots$.] \mbox{} PADの数, {\tt \bs padcase}の分岐の数が多い時に発生します. 残念ながらPAD の数を減らす, ファイルを分割する以外に有効な対策はありません. \end{description} \subsection{pad2tex使用時の不具合} 次に, pad2tex\footnote{吉田 誠一氏(seiichi@muraoka.info.waseda.ac.jp)作} を使用した時に発生するエラーまたは不具合への対処方法を説明します. \begin{description} \item[\rm \ifx\gtfam\undefined\tendm \else\elvmin \fi PADが右側にはみ出る] \mbox{} はみ出てしまう場合の自動改行処理は行なっていないので, 手動で改行を行なっ て下さい. 具体的には, {\tt \bs padwhile}, {\tt \bs padrepeat}, {\tt \bs padcond}の判定条件のところで{\tt \bs shortstack}を使って折り畳んで下さい. \item[\rm \ifx\gtfam\undefined\tendm \else\elvmin \fi PADが下側にはみ出る] \mbox{} PADの途中での改ページは行なえません. まとまった処理をサブルーチン化する などして1ページに収まるようにして下さい. \item[\rm ! TeX capacity exceeded, sorry {[}main memory size=$\ldots${]}.] \mbox{} 出力位置が未定の図が多すぎる時に発生します. メモリ不足になる直前に{\tt \bs clearpage}を挿入して下さい. \end{description} \section{問題点} \begin{itemize} \item {\tt \bs padseq}中の \verb|\\| のオプション引数にマイナスの値を指 定した時に線が消えない. \item {\tt \bs padmessage}を{\tt \bs padseq}中の最後で使用した時に左側の 線が残ってしまう. \item {\tt \bs padcomment}のボックスの高さは無視される. \item リソースの使用に無駄が多い. \end{itemize} \section{TODO} \begin{itemize} \item リソースの使用の効率化. \item {\tt \bs padseq}の途中で改ページできるようにする. \item PADのデザインを変更できるようにする. \end{itemize} \section{連絡先} バグ等の連絡は, \mbox{\tt satoshi@ueda.info.waseda.ac.jp}までお願い致し ます. また, pad.styの最新版の情報は, \mbox{\tt http://www.ueda.info.waseda.ac.jp/\~{}satoshi/padsty/padsty-j.html}から 得られます. \begin{thebibliography}{1} \bibitem{program_gihou} 二村良彦. \newblock プログラム技法 {\small --- PADによる構造化プログラミング ---}, 情報工学基礎講座, 第4巻. \newblock オーム社, 1984. \bibitem{latex-j} Leslie Lamport{~著}, Edgar Cooke, 倉沢良一{~監訳}, 大野俊治, 小暮博道, 藤浦はる美{~訳}. \newblock 文書処理システム {\LaTeX}. \newblock アスキー, 1990. \\ \newblock (原著： Leslie Lamport. {\em {\LaTeX \rm:} {A} Document Preparation System}. Addison-Wesley, 1986.). \bibitem{SA:TeX} 富樫秀昭. \newblock {ASCII}日本語{\TeX}. \newblock スーパーアスキー. アスキー, August 1992--August 1993. \end{thebibliography} %\bibliography{mybib} %\bibliographystyle{jplain} %\nocite{latex-j} %\nocite{program_gihou} %\nocite{SA:TeX} \begin{table}[h] \caption{PADの書式一覧} \label{tab:form} \begin{center} \begin{tabular}{|c|l|c|} \hline 種類 & \multicolumn{1}{|c|}{書式} & PAD \\ \hline\hline %%%%%%%%%%%%%%%%%%%% 処理 & \tt \bs padbox\{{\em text}\} \rule[-2ex]{0pt}{5ex} & \padbox*{proc} \\ \hline %%%%%%%%%%%%%%%%%%%% 前判定反復 & \tt \bs padwhile\{{\em cond\/}\}\{{\em proc\/}\} \rule[-1.5ex]{0pt}{5ex} & \padwhile*{cond}{\padbox{proc}} \\ \hline %%%%%%%%%%%%%%%%%%%% \lower2ex\hbox{\shortstack{問題向き反復\\（後判定反復）}} & \tt \bs padrepeat\{{\em cond\/}\}\{{\em proc\/}\} \rule[-1.5ex]{0pt}{5ex} & \padrepeat*{cond}{\padbox{proc}} \\ \hline %%%%%%%%%%%%%%%%%%%% 選択 & \tt \bs padcond\{{\em cond\/}\}\{{\em proc1\/}\}\{{\em proc2\/}\} \rule[-5ex]{0pt}{11ex} & \padcond*{cond}{\padbox{true}}{\padbox{false}} \\ \hline %%%%%%%%%%%%%%%%%%%% \lower2ex\hbox{\shortstack{選択\\（判定条件が2つ以上）}} & \tt \bs padcase\{{\em expr\/}\}\{{\em cases\/}\} \rule[-8ex]{0pt}{16ex} & \padcase*{${\rm var } = \mbox{}$}{1:\padbox{proc1},2:\padbox{proc2},3:\padbox{proc3}} \\ \hline %%%%%%%%%%%%%%%%%%%% サブルーチン & \tt \bs padsub\{{\em text\/}\} \rule[-2ex]{0pt}{5ex} & \padsub*{proc} \\ \hline %%%%%%%%%%%%%%%%%%%% 連接 & \tt \bs padseq\{{\em procs\/}\} \rule[-5ex]{0pt}{11ex} & \padseq*{\padbox{proc1} \\ \padbox{proc2}} \\ \hline %%%%%%%%%%%%%%%%%%%% ラベル & \tt \bs padlabel\{{\em label\/}\} \rule[-2ex]{0pt}{6ex} & \padlabel*{label} \\ \hline %%%%%%%%%%%%%%%%%%%% ラベルの参照 & \tt \bs padref\{{\em label\/}\} \rule[-4ex]{0pt}{9ex} & \lower2.5ex\hbox{\padbox{goto\ \padref{label}}} \\ \hline %%%%%%%%%%%%%%%%%%%% 処理（複数行） & \tt \bs padboxss\{{\em texts\/}\} \rule[-4ex]{0pt}{9ex} & \lower2.5ex\hbox{\padboxss{proc1\\proc2}} \\ \hline %%%%%%%%%%%%%%%%%%%% サブルーチン（複数行） & \tt \bs padsubss\{{\em texts\/}\} \rule[-4ex]{0pt}{9ex} & \lower2.5ex\hbox{\padsubss{proc1\\proc2}} \\ \hline %%%%%%%%%%%%%%%%%%%% メッセージ & \tt \bs padmessage\{{\em message\/}\} \rule[-6ex]{0pt}{13ex} & \padseq*{% \padbox{proc1} \\ \padmessage{message} \\ \padbox{proc2} } \\ \hline %%%%%%%%%%%%%%%%%%%% 注釈 & \tt \bs padcomment\{{\em comment\/}\} \rule[-5ex]{0pt}{11ex} & \padseq*{% \padbox{proc1} \padcomment{comment} \\ \padbox{proc2} } \\ \hline %%%%%%%%%%%%%%%%%%%% PADの保存 & \tt \bs savepad\{{\em name\/}\}\{{\em pad\/}\} & \\ \hline %%%%%%%%%%%%%%%%%%%% 保存したPADの使用 & \tt \bs usepad\{{\em name\/}\} & \\ \hline \end{tabular} \end{center} \end{table} \end{document}