スポンサーリンク
ICOT | 論文
- 後藤滋樹 著, "PROLOG 入門", サイエンス社, B5判, 186p., \1,800, 1984
- 83-4 ロジックによるロジックのコントロール
- 81-19 並列プログラミングのための関係型言語
- 81-18 ロジックプログラミングとコンパイラの記述
- 81-17 事実から定理を帰納するアルゴリズム
- 76-27 プログラムのデータ・フローを解析する手続き
- 知識ベースマシンMu-X(4) : 制御方式の評価
- 知識ベースマシンMu-X(2) : キュエリ解析方式
- 会長就任挨拶 : 科学的手法と学会の役割
- パネル討論会 : 自然言語処理の現状と課題 : 第57年後期第25回全国大会報告
- 論理型並列プログラミング言語Concurrent Prologによる在庫管理システムの記述 (新しいプログラミング・パラダイムによる共通問題の設計)
- 情報システムの構造化仕様のための業務オントロジーの試作
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- GHCプログラムの最適化
- 汎用計算機上のGHC処理系
- 知識ベース管理システムKAPPAの構想 : PSIの環境と設計方針
- 演繹オブジェクト指向データベース言語を用いた遺伝子知識ベースの記述
- マイクロコード・チェッカ「マイクロリント」の開発
- Multi-PSI/V2における一括GC及びメモリ消費特性の評価
- 89-34 制約の階層と論理プログラミング