書誌情報 | ファイル |
表紙・目次 (1986-05) 数理解析研究所講究録, 591
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
鎖パッキング問題について(アルゴリズムの数学的基礎理論とその応用) 増山, 繁; 茨木, 俊秀; 三根, 久 (1986-05) 数理解析研究所講究録, 591: 1-11
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Complexity of Path Covering Problems in Acyclic Alternate Graphs II(Algorithms : Mathematical Foundations and Applications) Uemura, Kenji; Yaku, Takeo (1986-05) 数理解析研究所講究録, 591: 12-24
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Classifications and Base Enumerations of the Maximal Sets of Three-Valued Logical Functions(Algorithms : Mathematical Foundations and Applications) Miyakawa, Masahiro; Stojmenovic, Ivan (1986-05) 数理解析研究所講究録, 591: 25-29
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Applications of a Subset Generating Algorithm to Base Enumeration, Knapsack and Minimal Covering Problems(Algorithms : Mathematical Foundations and Applications) Stojmenovic, Ivan; Miyakawa, Masahiro (1986-05) 数理解析研究所講究録, 591: 30-44
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
述語の微分について : その3(アルゴリズムの数学的基礎理論とその応用) 西澤, 輝泰 (1986-05) 数理解析研究所講究録, 591: 45-52
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用) 原尾, 政輝; 岩沼, 宏治 (1986-05) 数理解析研究所講究録, 591: 65-73
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ネットワークデータベースにおける巡航操作で解ける質問のクラス(アルゴリズムの数学的基礎理論とその応用) 古川, 哲也; 上林, 彌彦 (1986-05) 数理解析研究所講究録, 591: 74-83
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用) 宮尾, 淳一; 冨永, 一幸; 菊野, 亨 (1986-05) 数理解析研究所講究録, 591: 84-94
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
平行処理制御方式の可観測性と可制御性(アルゴリズムの数学的基礎理論とその応用) 上林, 弥彦 (1986-05) 数理解析研究所講究録, 591: 95-104
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
分散システムの一つのスケジューリング問題(アルゴリズムの数学的基礎理論とその応用) 阿江, 忠; 山下, 雅史; 方, 安祥 (1986-05) 数理解析研究所講究録, 591: 105-110
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
メタデータ制御を考慮した重複分散データベースシステムの並行処理(アルゴリズムの数学的基礎理論とその応用) 仲, 興国; 上林, 弥彦 (1986-05) 数理解析研究所講究録, 591: 111-120
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications) SEKIMOTO, Shoji; HIROKAWA, Sachio (1986-05) 数理解析研究所講究録, 591: 121-137
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
項書き換えシステムの束論的意味論について(アルゴリズムの数学的基礎理論とその応用) 直井, 徹; 稲垣, 康善 (1986-05) 数理解析研究所講究録, 591: 138-147
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Self-embedding を利用した文脈自由言語に対する文法推論(アルゴリズムの数学的基礎理論とその応用) 棚次, 奎介 (1986-05) 数理解析研究所講究録, 591: 148-156
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
非単調論理に関する一考察(アルゴリズムの数学的基礎理論とその応用) 新村, 司 (1986-05) 数理解析研究所講究録, 591: 157-164
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
動的変化を伴う知識構造の論理モデル(アルゴリズムの数学的基礎理論とその応用) 外山, 勝彦; 稲垣, 康善 (1986-05) 数理解析研究所講究録, 591: 165-174
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ソフトウェアモデリングと対象モデルの変換に関する一考察(アルゴリズムの数学的基礎理論とその応用) 西田, 泰伸; 小林, 要 (1986-05) 数理解析研究所講究録, 591: 175-182
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
「ステートマシン・ネットワークの関数による動作記述」における「満足」包含関係について(アルゴリズムの数学的基礎理論とその応用) 山内, 長承 (1986-05) 数理解析研究所講究録, 591: 183-193
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |