\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {2.1}{\ignorespaces メタ計算を可視化した CodeGear と DataGear}}{10}{figure.2.1}%
\addvspace {10\p@ }
\addvspace {10\p@ }
\addvspace {10\p@ }
\contentsline {figure}{\numberline {5.1}{\ignorespaces tree を stack して目的の node まで辿った例}}{25}{figure.5.1}%
\addvspace {10\p@ }
\contentsline {figure}{\numberline {6.1}{\ignorespaces Dining Philosophers Program のイメージ図}}{30}{figure.6.1}%
\contentsline {figure}{\numberline {6.2}{\ignorespaces SPINにて作成した状態遷移図}}{32}{figure.6.2}%
\addvspace {10\p@ }