# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate image original text (scrambled) with physical files.
$key = q/{picture}(1280,620)(-450,-30)thicklinesput(780,270)makebox(0,0)bfdgshortstack並列論理型パラダイムに基づく技術体系put(520,540)makebox(0,0)[l]bfdg実践的な検証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]bfdgshortstack知識情報処理技術drawline(0,240)(480,240)(480,280)(0,280)(0,240)thinlinesdrawline(-15,-20)(495,-20)(495,490)(-15,490)(-15,-20)thicklinesdrawline(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]bfdgshortstack並列記号処理技術thinlinesdrawline(-10,-10)(490,-10)(490,290)(-10,290)(-10,-10)thicklinesdrawline(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)bfdgthicklinesput(-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]並列KBMSDBMSdrawline(-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]並列OSPIMOSdrawline(-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)rmdm---並列論理型言語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]並列推論マシンPIMdrawline(-470,0)(-110,0)(-110,60)(-470,60)(-470,0)drawline(-110,30)(0,20)drawline(-110,30)(0,80){picture}/;
$cached_env_img{$key} ='
';
$key = q/{tabular}|l|l|hline法的推論:;SPM_amp;法令の論理的解釈、知的判例検索;SPM_amp;要素技術:並列記号処理、知識表現・管理、自動定理証明、...hline設計問題:;SPM_amp;電子回路の論理シミュレーション、回路自動配置・配線、;SPM_amp;ロボット設計支援システム;SPM_amp;要素技術:並列記号処理、知識の制約表現、並列制約処理、...hline遺伝子情報処理:;SPM_amp;アミノ酸配列解析、モチーフ抽出、立体構造予測;SPM_amp;要素技術:並列記号処理、負荷分散hline自然言語処理:;SPM_amp;汎用日本語処理系、談話処理、並列自然言語処理;SPM_amp;要素技術:意味表現、知識表現・管理・利用、並列記号処理、...hlineプログラム合成:;SPM_amp;仕様記述からの並列プログラム自動合成;SPM_amp;要素技術:等式論理、時相論理、ペトリネット、...hline{tabular}/;
$cached_env_img{$key} ='
';
$key = q/{figure}centerepsfilefile=uchidapic.eps,width=15cmcenter{figure}/;
$cached_env_img{$key} ='
';
$key = q/{tabular}|p7zenkaku|p6zenkaku|p22zenkaku|hlineハードウェア;SPM_amp;PIM;SPM_amp;KL1の実行に適したアーキテクチャpar総計1,000プロセサ以上の5モデルを試作・評価par大規模モデルでは1秒間1億回以上の推論性能hline言語処理系;SPM_amp;KL1言語par分散処理系;SPM_amp;KL1言語の並列分散実行par分散データ管理、分散実行管理に多数の新手法par全モデル共通の言語仕様、各モデルごとの最適化hline基本ソフト;SPM_amp;PIMOS;SPM_amp;PIMの各モデルに共通のOSpar徹底した分散管理により管理ボトルネック解消par並列ソフトウェア向きの快適な開発環境cline2-3並列記号処理の基本システム群;SPM_amp;Kappa-P;SPM_amp;並列データベース・システムpar非正規関係モデルによる多様なデータの扱いpar分散並列処理による高速処理hline知識プログラミング・ソフト;SPM_amp;MGTP;SPM_amp;並列定理証明システムparデータベース的応用指向と数学指向の２システムpar並列処理により世界最高速を達成cline2-3並列知識情報処理の基本システム群;SPM_amp;GDCC;SPM_amp;並列制約処理言語システムpar世界初の非線形代数方程式の取り扱いpar容易なプログラム記述と、並列処理による高性能cline2-3;SPM_amp;Quixote;SPM_amp;演繹オブジェクト指向の知識表現言語システムpar仮説に基づく推論、不足知識の推論などの高機能parデータベースと並列処理による大容量処理能力cline2-3;SPM_amp;...;SPM_amp;...hline機能実証ソフト;SPM_amp;HELIC-II;SPM_amp;与えられた事件に対して法律適用の可能性を提示par判例データベースの類似検索と法律に基づく推論cline2-3技術を実証する応用ソフト群;SPM_amp;遺伝子par情報処理;SPM_amp;多数のタンパク質配列間の類似性を解析par独自開発の並列反復改善法による高い性能cline2-3;SPM_amp;LSI-CAD;SPM_amp;論理シミュレーション、セル配置、自動配線par並列処理でスーパーコンピュータ並の性能を実現cline2-3;SPM_amp;自然言語処理;SPM_amp;文脈レベルの文法構造を整備par日本語処理研究開発のための汎用ツール群を提供cline2-3;SPM_amp;MENDELSparZONE;SPM_amp;宣言的記述からKL1プログラムを自動合成par手書きと同等以上の品質のコードを高速に生成cline2-3;SPM_amp;碁世代;SPM_amp;囲碁の対局を行なう棋士システムcline2-3;SPM_amp;...;SPM_amp;...hline{tabular}/;
$cached_env_img{$key} ='
';
1;