検索


適用済条件:

検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


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