自動論理解析システム : CALAS
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1975-07-15
著者
-
椎野 努
三重大学
-
武内 惇
日本大学工学部情報工学科
-
椎野 努
沖電気工業株式会社総合システム研究所
-
椎野 努
沖電気工業株式会社ソフトウェア事業部
-
元岡 達
東京大学工学部電気工学科
-
杉浦 宣紀
沖電気工業(株)ソフトウェア事業部
-
武内 惇
沖電気工業(株)ソフトウェア事業部
-
元岡 達
東京大学
-
元岡 達
東京大学工学部教授
関連論文
- ソフトウェア要求仕様記述の推敲法についての一考察
- 制限日本語で記述されたソフトウエア要求仕様記述の検証支援システム
- 仕様記述用制限日本語のための長文分割
- 制限自然言語によるソフトウェア要求記述とその解析
- 仕様書記述用制限日本語に対する記述支援系の開発
- 製造用ツ-ル (ソフトウェア生産技術の現状と将来特集) -- (ソフトウェアツ-ル)
- 自動論理解析システム : CALAS
- 超大型計算機について
- スパース行列の確率的考察
- データ通信網シミュレーションシステム : SONET
- 仕様記述用制限日本語のための語い制限に関する考察
- パネル討論会 : 分散処理の効用と問題点 : 昭和55年度第21回全国大会報告
- 語学訓練用知的CAIシステムにおける文の生成方式
- 語学訓練用知的CAIシステムの教育会話の制御方式
- 語彙機能文法の実現方式
- 語学訓練用知的CAIシステムにおける入力文の意味表現作成方式
- 会話シミュレーションを基にした語学訓練用知的CAI システムの構成
- 外国語会話のCAIにおける学習者の発話の理解
- 英会話教育用知的CAIシステムにおける構文解析
- 二次構造予測法における不確実性推論
- 蛋白質の二次構造予測支援エキスパート・システム
- プロジェクト診断エキスパートシステムの構成
- 語学会話教育用ICAIシステムの構成
- 日英機械翻訳システムPENSEE
- 時相論理によるハードウェア同期部の仕様記述とPrologによるその状態遷移表への自動合成法
- ハードウェア状態遷移表現のPrologによる検証
- 時相論理によるハードウェア仕様記述とPrologを用いたゲート回路の検証
- 言語処理系の生成系MYLANGによるNBSG/PDプリコンパイラの試作
- 可変ルーティング機能を付加した相互結合網のスイッチング・ユニット
- オンラインシステムの応用および自動設計 : 特集号について
- デ-タフロ-マシンを用いた故障シミュレ-ションシステム
- 動的負荷分散を行う相互結合網の構成
- 構造物保守管理のための意思決定支援システムの開発 : 第1報, 石油タンクの腐食を対象として
- ネットワークアーキテクチャの標準化動向 1. 総論 (ネットワークアーキテクチャ (開放型システム間相互接続) の標準化動向)
- 論理装置CADの最近の動向 1. 総論 : 論理装置の設計支援システム (論理装置CADの最近の動向)
- ゴール書換えモデルに基づく論理型プログラムの並列処理方式
- 並列Prolog処理システム"Paralog"について
- 開放型システム間接続 (OSI) の標準化(医用画像情報処理)
- 計算機技術はどう変わってゆくか
- 最近の計算機アーキテクチャの動向
- マイクロコンピュータの展望
- 計算機のアーキテクチャ
- ポリプロセッサ・システムPPS-1
- コンピュータ・コンプレクスの展望
- オペレーティング・システムの記述に関する一考察
- 総論
- 計算機設計の自動化
- スイッチング回路の故障点発見法
- 最適列車ダイヤグラムの作成
- 記憶装置の概要
- 最近の電子計算機技術 : イリノイ大学における研究を中心にして
- 論理装置の汎用機能シミュレーションシステム-LFM
- 相互交信系のモデル「インタラクティブ・オートマタ・システム」
- 手書き文字認識における投影距離法
- 第5世代コンピュ-タのア-キテクチャ- (マイクロエレクトロニクスの進歩とコンピュ-タの将来)
- II コンピュータアーキテクチャの動向と展望
- 分散処理への期待(分散処理)
- 入出力技術の最近の動向
- 「第5世代コンピュータと21世紀の社会」(世界コミュニケーション年記念講演録)
- 第5世代コンピュータの構想
- スーパコンピュータの現状と展望 (スーパコンピュータの応用)
- オフィスオートメーションの動向と展開 オフィスオートメーションの動向 (オフィスオートメーション)
- J-023 共同作業者間の発話パターンと脳波変動の時系列解析によるフォローの可視化(ヒューマンコミュニケーション(3),J分野:ヒューマンコミュニケーション&インタラクション)