論 文 〔オートマトン理論,言語理論〕 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習 …但馬康宏 富田悦次 若月光夫 521 〔アルゴリズム〕 選択問題を解くBSPモデル及びBSP*モデル上の並列アルゴリズム …石水 隆 藤原暁宏 井上美智子 増澤利光 藤原秀雄 533 〔VLSIシステム〕 多入力算術演算器の動的再構成に基づく知能ロボット制御用WSI規模並列プロセッサの 構成法 …藤岡与周 苫米地宣裕 543 〔計算機システム〕 割込み許可点を有する待ち行列モデルとディスク装置の中断制御方式への適用 …山本 彰 552 〔ソフトウェアシステム〕 リアルタイムトランザクションのための時刻印方式に基づく動的な同期プロトコルと スケジューリング手法 …足高正訓 大久保英嗣 560 〔情報セキュリティ応用〕 公開鍵暗号用2048ビット剰余系高速演算プロセッサ …石井晋司 大山勝一 田中清人 571 〔教育工学〕 大学間衛星ネットワーク(スペース・コラボレーション・システム)の構成 …田中健二 近藤喜美夫 581 レ タ ー GUI環境における視覚障害者用CD-ROM電子出版物音声化システムの開発 …渡辺哲也 岡田伸一 伊福部達 589 -------------------------------------------------------- 英文論文誌紹介(IEICE Transactions on Information and Systems)… 593 複写をされる方に… 594