スポンサーリンク
一般社団法人情報処理学会 | 論文
- ドリルテキスト理解システムにおける階層型解釈モジュールの設計
- C-Prologコンパイラの性能評価
- Idea Processor and the KJ Method
- Message from the Editor-in-Chief
- Trends in Formal Verification Techniques for C-based Hardware Designs
- Custom Instruction Generation for Configurable Processors with Limited Numbers of Operands
- Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
- マルチプロセッサシステムにおけるマルチOSの制御方式について
- 10. ハッシュ法 (アルゴリズムの最近の動向)
- 84-16 推論的プログラミングへの第一歩
- LISPマシンのアーキテクチャ (<小特集>Lispの最近の動向)
- 誤り解析を必要としない知的CAIシステム : 教育戦略機構の汎用化
- 知的CAIのための帰納推論方式
- 情報処理基礎知識CAIの構築と運用
- 青少年と携帯電話・インターネットを巡る法的諸問題(ポスターセッション)
- 進化論的計算手法の最近の研究動向
- 情報源固有の制約を考慮した配信型情報源統合方式
- 配信型情報源統合環境における複数配信要求の処理方式
- 3G-1 レギュラーサンプリングを用いる局所分布に着目した改良並列ソート
- 航空輸送産業における計算機の援用