検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-7 / 7.
- 前
- 1
- 次
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 正則な論理関数列を実現する論理回路の複雑さ(計算機構に関する数学的基礎理論とその応用) 安浦, 寛人; 矢島, 脩三 (1983-06) 数理解析研究所講究録, 494: 248-258 |  |
| 記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用) 上林, 弥彦; 安浦, 寛人; 岩間, 一雄; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 149-162 | |
| 組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用) 安浦, 寛人; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 180-192 | |
| ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論) 大井, 康; 安浦, 寛人; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 142-151 | |
| 組み合せ論理回路の面積複雑度 (形式言語理論とオートマトン理論) 安浦, 寛人; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 132-141 | |
| 組合せ論理回路の幅と段数について (計算の複雑性に関する研究) 安浦, 寛人; 矢島, 脩三 (1980-04) 数理解析研究所講究録, 381: 116-132 | |
| 入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論) 木村, 晋二; 安浦, 寛人; 矢島, 脩三 (1984-05) 数理解析研究所講究録, 522: 266-279 | |