\batchmode


\documentstyle[a4,12pt,epsf,epic,eepic,benum,titlepage,mypart]{jarticle}
\makeatletter
\title{\bf\dg 第五世代コンピュータ・プロジェクト\\ 最終評価報告書\\ (案)}
\author{\bf\dg 電子計算機基礎技術開発推進委員会\\ 
\bf\dg 学術的・技術的評価ワーキング・グループ}
\date{\bf\dg 平成5年3月30日}


\setcounter{tocdepth}{2}

\newcommand {\note}[1]{{\large\bf\dg #1}}

\renewcommand {\thesubsubsection}{(\arabic{subsubsection})}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
\setcounter{tocdepth}{2}
\setcounter{page}{1}
\stepcounter{part}
\stepcounter{part}
\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{picture}(1280,620)(-450,-30)
\thicklines
\put(780,270){\makebox(0,0){\bf\dg\shortstack{並\\ 列\\ 論\\ 理\\ 型\\ パ\\ 
ラ\\ ダ\\ イ\\ ム\\ に\\ 基\\ づ\\ く\\ 技\\ 術\\ 体\\ 系}}}

\put(520,540){\makebox(0,0)[l]{\bf\dg 実践的な検証}}

\put(20,530){\makebox(0,0)[lb]{実験的応用システム}}
\drawline(0,560)(480,560)(480,520)(0,520)(0,560)

\put(560,400){\makebox(0,0)[l]{\bf\dg\shortstack{知識情報\\ 処理技術}}}
\drawline(0,240)(480,240)(480,280)(0,280)(0,240)
\thinlines
\drawline(-15,-20)(495,-20)(495,490)(-15,490)(-15,-20)
\thicklines
\drawline(510,480)(530,460)(530,340)(510,320)
\put(20,450){\makebox(0,0)[lb]{知識利用基礎技術}}
\drawline(0,480)(480,480)(480,440)(0,440)(0,480)
\put(20,390){\makebox(0,0)[lb]{知識情報管理技術}}
\drawline(0,420)(480,420)(480,380)(0,380)(0,420)
\put(20,330){\makebox(0,0)[lb]{知識表現技術}}
\drawline(0,360)(480,360)(480,320)(0,320)(0,360)

\put(560,140){\makebox(0,0)[l]{\bf\dg\shortstack{並列記号\\ 処理技術}}}
\thinlines
\drawline(-10,-10)(490,-10)(490,290)(-10,290)(-10,-10)
\thicklines
\drawline(510,280)(530,260)(530,15)(510,-5)
\put(20,250){\makebox(0,0)[lb]{並列プログラミング技術}}
\drawline(0,220)(480,220)(480,180)(0,180)(0,220)
\put(20,190){\makebox(0,0)[lb]{ソフトウェア開発環境構成技術}}
\drawline(0,160)(480,160)(480,120)(0,120)(0,160)
\put(20,130){\makebox(0,0)[lb]{並列記号処理言語設計技術}}
\drawline(0,100)(480,100)(480,60)(0,60)(0,100)
\put(20, 70){\makebox(0,0)[lb]{並列記号処理言語実装技術}}
\drawline(0, 40)(480, 40)(480, 0)(0, 0)(0, 40)
\put(20, 10){\makebox(0,0)[lb]{並列記号処理ハードウェア技術}}
\drawline(-20,-30)(500,-30)(500,570)(-20,570)(-20,-30)

\bf\dg\thicklines
\put(-450,500){\makebox(0,0)[l]{機能実証ソフトウェア}}
\drawline(-470,470)(-110,470)(-110,530)(-470,530)(-470,470)
\drawline(-110,500)(0,540)\drawline(-110,500)(0,260)
\put(-450,410){\makebox(0,0)[l]{\shortstack{知識プログラミング\\ ソフトウェア}}}
\drawline(-470,370)(-110,370)(-110,450)(-470,450)(-470,370)
\drawline(-110,410)(0,540)\drawline(-110,410)(0,460)
\drawline(-110,410)(0,400)\drawline(-110,410)(0,340)
\drawline(-110,410)(0,260)

\put(-450,330){\makebox(0,0)[l]{基本ソフトウェア}}
\drawline(-470,200)(-110,200)(-110,350)(-470,350)(-470,200)
\put(-440,280){\makebox(0,0)[l]{並列 KBMS/DBMS}}
\drawline(-450,260)(-125,260)(-125,300)(-450,300)(-450,260)
\drawline(-125,280)(0,400)\drawline(-125,280)(0,340)
\drawline(-125,280)(0,260)
\put(-440,230){\makebox(0,0)[l]{並列 OS PIMOS}}
\drawline(-450,210)(-125,210)(-125,250)(-450,250)(-450,210)
\drawline(-125,230)(0,140)
\drawline(-125,230)(0,200)\drawline(-125,230)(0,260)

\put(-280,170){\makebox(0,0){\rm\dm --- 並列論理型言語 KL1 ---}}
\put(-450, 110){\makebox(0,0)[l]{KL1 言語処理系}}
\drawline(-470,80)(-110,80)(-110,140)(-470,140)(-470,80)
\drawline(-110,110)(0,80)\drawline(-110,110)(0,140)
\drawline(-110,110)(0,200)
\put(-450, 30){\makebox(0,0)[l]{並列推論マシン PIM}}
\drawline(-470,0)(-110,0)(-110,60)(-470,60)(-470,0)
\drawline(-110,30)(0,20)\drawline(-110,30)(0,80)
\end{picture}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{tabular}{|p{7\zenkaku}|p{6\zenkaku}|p{22\zenkaku}|}
\hline
ハードウェア&
PIM&
{KL1 の実行に適したアーキテクチャ\par
総計1,000プロセサ以上の5モデルを試作・評価\par
大規模モデルでは1秒間1億回以上の推論性能}\\ 
\hline
言語処理系&
KL1 言語\par 分散処理系&
{KL1 言語の並列/分散実行\par
分散データ管理、分散実行管理に多数の新手法\par
全モデル共通の言語仕様、各モデルごとの最適化}\\ 
\hline
基本ソフト&
PIMOS&
{PIMの各モデルに共通のOS\par
徹底した分散管理により管理ボトルネック解消\par
並列ソフトウェア向きの快適な開発環境}\\ 
\cline{2-3}
並列記号処理の基本システム群&
Kappa-P&
{並列データベース・システム\par
非正規関係モデルによる多様なデータの扱い\par
分散並列処理による高速処理}\\ 
\hline
知識プログラミング・ソフト&
MGTP&
{並列定理証明システム\par
データベース的応用指向と数学指向の２システム\par
並列処理により世界最高速を達成}\\ 
\cline{2-3}
並列知識情報処理の基本システム群&
GDCC&
{並列制約処理言語システム\par
世界初の非線形代数方程式の取り扱い\par
容易なプログラム記述と、並列処理による高性能}\\ 
\cline{2-3}&
Quixote&
{演繹オブジェクト指向の知識表現言語システム\par
仮説に基づく推論、不足知識の推論などの高機能\par
データベースと並列処理による大容量処理能力}\\ 
\cline{2-3}&...&...\\ 
\hline
機能実証ソフト&
HELIC-II&
{与えられた事件に対して法律適用の可能性を提示\par
判例データベースの類似検索と法律に基づく推論}\\ 
\cline{2-3}
技術を実証する応用ソフト群&
遺伝子\par 情報処理&
{多数のタンパク質配列間の類似性を解析\par
独自開発の並列反復改善法による高い性能}\\ 
\cline{2-3}&
LSI-CAD&
{論理シミュレーション、セル配置、自動配線\par
並列処理でスーパーコンピュータ並の性能を実現}\\ 
\cline{2-3}&
自然言語処理&
{文脈レベルの文法構造を整備\par
日本語処理研究開発のための汎用ツール群を提供}\\ 
\cline{2-3}&
MENDELS\par ZONE&
{宣言的記述から KL1 プログラムを自動合成\par
手書きと同等以上の品質のコードを高速に生成}\\ 
\cline{2-3}&
碁世代&
{囲碁の対局を行なう棋士システム}\\ 
\cline{2-3}&...&...\\ 
\hline
\end{tabular}
}

\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{tabular}{|l|l|}
\hline
法的推論:&法令の論理的解釈、知的判例検索\\ 
&要素技術: 並列記号処理、知識表現・管理、自動定理証明、...\\ 
\hline
設計問題:&電子回路の論理シミュレーション、回路自動配置・配線、\\ 
&ロボット設計支援システム\\ 
&要素技術: 並列記号処理、知識の制約表現、並列制約処理、...\\ 
\hline
遺伝子情報処理:&アミノ酸配列解析、モチーフ抽出、立体構造予測\\ 
&要素技術: 並列記号処理、負荷分散\\ 
\hline
自然言語処理:&汎用日本語処理系、談話処理、並列自然言語処理\\ 
&要素技術: 意味表現、知識表現・管理・利用、並列記号処理、...\\ 
\hline
プログラム合成:&仕様記述からの並列プログラム自動合成\\ 
&要素技術: 等式論理、時相論理、ペトリネット、...\\ 
\hline
\end{tabular}
}

\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{part}
\setcounter{section}{0}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
\stepcounter{subsection}
\stepcounter{section}
\stepcounter{subsubsection}
\stepcounter{subsubsection}
{\newpage
\clearpage
\samepage \begin{figure}\begin{center}
\epsfile{file=uchidapic.eps,width=15cm}
\end{center}
\end{figure}
}

\stepcounter{section}
\stepcounter{part}

\end{document}
