書店で探す
目次
39(6) 1998.06
- データベースの数理モデルの視点パラメータの推定と関数空間におけるモデル拡張
p.1839~1849
- 3充足可能性判定問題3SATの正例題生成手法の解析
p.1850~1857
- コンピュータシステムの自動スリープ機能による省電力効果-1-再生過程によるモデル化
p.1858~1869
- 直接法Trefftz法による2次元ポテンシャル問題解析について
p.1870~1878
- 正規化ファジィ推論の高速計算アルゴリズム
p.1879~1888
39(5) 1998.05
- 特集 次世代ヒューマンインタフェース・インタラクション
p.1185~1567
- 人工知能と認知科学 (特集 次世代ヒューマンインタフェース・インタラクション)
p.1186~1239
39(7) 1998.07
- 手書き入力における字枠と行枠の幅と高さの関係式
p.2298~2307
- 複数の制御部を持つ同期式順序回路の一設計検証法
p.2308~2322
- 帰納法に基づく定理証明器によるシストリックアレイの検証
p.2323~2330