Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索対象:
検索語

適用済条件:

検索をやり直す

検索条件の追加:

検索結果表示: 1-10 / 356.

前
1
2
3
4
...
36
次

検索結果:

書誌情報	ファイル
Programming Language Designs to Support Programming Methodologies Hayashi, Tsunetoshi (1986-03) 数理解析研究所講究録, 586: 35-43
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64
COMPARISON AND IMPROVEMENT OF STRING MATCHING ALGORITHMS FOR JAPANESE TEXTS YOON, Jeehee; TAKAGI, Toshihisa; USHIJIMA, Kazuo (1986-03) 数理解析研究所講究録, 586: 18-34
Implementation of the High-level Parallel Programming Language Nano-2 HIRABARU, Masaki; ARAKI, Keijiro; SUEYOSHI, Toshinori; ARITA, Itsujiro (1986-03) 数理解析研究所講究録, 586: 112-133
平行処理制御方式の可観測性と可制御性(アルゴリズムの数学的基礎理論とその応用) 上林, 弥彦 (1986-05) 数理解析研究所講究録, 591: 95-104
Computation by Meta-Unification with Constructors KANAMORI, Tadashi (1986-03) 数理解析研究所講究録, 586: 284-304
On the concurrency and a yet another standard form of concurrent programs of Smalltalk-80 Doi, Norihisa; Segawa, Kiyoshi (1986-03) 数理解析研究所講究録, 586: 134-152
Temporal Prolog SAKURAGAWA, Takashi (1986-03) 数理解析研究所講究録, 586: 305-329
ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications) SEKIMOTO, Shoji; HIROKAWA, Sachio (1986-05) 数理解析研究所講究録, 591: 121-137
E, de Shalit 「The Explicit Reciprocity Law in Local Class Field Theory」(preprint)の紹介 (代数的整数論) 金子, 昌信 (1986-04) 数理解析研究所講究録, 589: 105-111