検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64 | |
基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用) 近藤, 誠一; 上林, 弥彦; 矢島, 脩三 (1983-06) 数理解析研究所講究録, 494: 90-101 | |
正則な論理関数列を実現する論理回路の複雑さ(計算機構に関する数学的基礎理論とその応用) 安浦, 寛人; 矢島, 脩三 (1983-06) 数理解析研究所講究録, 494: 248-258 | |
スキーマ変換の容易なデータベースシステムのためのファイル構成(モデル表現とその構築に関する理論と実際の研究) 上林, 弥彦; 小島, 功; 矢崎, 朋夫; 矢島, 脩三 (1983-06) 数理解析研究所講究録, 495: 326-345 | |
記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用) 上林, 弥彦; 安浦, 寛人; 岩間, 一雄; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 149-162 | |
関係データベースシステムにおける質問作成・改良の補助機能をもつ利用者インタフェースの設計と開発 (情報の記憶と利用に関する理論的研究) 上林, 弥彦; 武田, 浩一; 矢島, 脩三 (1981-04) 数理解析研究所講究録, 423: 128-155 | |
文献集作成補助システムの設計と開発 (情報の記憶と利用に関する理論的研究) 上林, 弥彦; 徳田, 成穂; 矢島, 脩三 (1981-04) 数理解析研究所講究録, 423: 2-19 | |
組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用) 安浦, 寛人; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 180-192 | |
論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用) 佐伯, 俊則; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 193-207 | |
関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論) 上林, 弥彦; 田中, 克己; 武田, 浩一; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 172-181 |