1994年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-RR-94-0001F
論文タイトル	The relative size of greedy independent sets in sparse and bounded-degree graphs
著者	Halldorsson, Magnus M./Radhakrishnan, Jaikumar
発行年月日	19940118
ページ	Page: 1-14

発行番号	IS-RR-94-0002A
論文タイトル	An implementation of logical variable reference in a concurrent logic programming language by using channel variables
著者	杉野, 栄二／横田, 治夫
発行年月日	19940118
ページ	Page: 1-17

発行番号	IS-RR-94-0003A
論文タイトル	An implementation of a highly reliable parallel-disk system using transputers
著者	友永, 誠史／横田, 治夫
発行年月日	19940118
ページ	Page: 1-15

発行番号	IS-RR-94-0004S
論文タイトル	多重視点設定可能な、OMTに対するCASEデータベースの設計とPCTE上での実装
著者	西山, 雄／落水, 浩一郎
発行年月日	19940202
ページ	Page: 1-37

発行番号	IS-RR-94-0005F
論文タイトル	優れた信頼性関数を有する代数的符合の構成と光通信への応用
著者	植松, 友彦／水野, 亮／Noppanakeepong, Suthichai
発行年月日	19940304
ページ	Page: 1-19

発行番号	IS-RR-94-0006S
論文タイトル	メタレベルアーキテクチャを用いた動的負荷分散の実現
著者	宮内, 興治／渡部, 卓雄
発行年月日	19940317
ページ	Page: 1-14

発行番号	IS-RR-94-0007S
論文タイトル	並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式
著者	瀬尾, 明志／渡部, 卓雄
発行年月日	19940322
ページ	Page: 1-13

発行番号	IS-RR-94-0008A
論文タイトル	The performance of a highly reliable parallel disk system
著者	横田, 治夫／友永, 誠志
発行年月日	19940330
ページ	Page: 1-20

発行番号	IS-RR-94-0009I
論文タイトル	A high-speed best match retrieval method for Japanese text
著者	佐藤, 理史／河瀬, 剛
発行年月日	19940400
ページ	Page: i,1-12

発行番号	IS-RR-94-0010A
論文タイトル	nCUBE2上への並列ハッシュジョインアルゴリズムの実装
著者	古野, 真太郎／横田, 治夫
発行年月日	19940420
ページ	Page: 1-36

発行番号	IS-RR-94-0011S
論文タイトル	オブジェクト指向モデルの実装に関する考察
著者	味松, 康行
発行年月日	19940420
ページ	Page: 1-101

発行番号	IS-RR-94-0012S
論文タイトル	Similarity on algebraic specifications toward specification databases
著者	酒井, 正彦/Matsui, Soichi/Kawakita, Makoto/Agusa, Kiyoshi
発行年月日	19940500
ページ	Page: 1-20

発行番号	IS-RR-94-0013S
論文タイトル	非同期・分散型会議における協調活動の支援法
著者	門脇, 千恵／落水, 浩一郎
発行年月日	19940512
ページ	Page: 1-23

発行番号	IS-RR-94-0014S
論文タイトル	Design and implementation of a user-level real-time network engine
著者	中島, 達夫/Tokuda, Hideyuki
発行年月日	19940706
ページ	Page: 1-12

発行番号	IS-RR-94-0015S
論文タイトル	Design and implementation of a continuous media storage system on real-time mach
著者	手塚, 宏史／中島, 達夫
発行年月日	19940706
ページ	Page: 1-11

発行番号	IS-RR-94-0016S
論文タイトル	Recovery management in multiversion objects
著者	中島, 達夫
発行年月日	19940706
ページ	Page: 1-19

発行番号	IS-RR-94-0017S
論文タイトル	Using object-oriented techniques in microkernel based operating systems
著者	中島, 達夫
発行年月日	19940706
ページ	Page: 1-10

発行番号	IS-RR-94-0018S
論文タイトル	Real-time machの現状と将来
著者	中島, 達夫
発行年月日	19940706
ページ

発行番号	IS-RR-94-0019S
論文タイトル	Experience with real-time mach for writing continuous media applications and servers
著者	中島, 達夫／手塚, 宏史
発行年月日	19940706
ページ	Page: 1-34

発行番号	IS-RR-94-0020S
論文タイトル	オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組
著者	保木本, 晃弘／中島, 達夫
発行年月日	19940706
ページ	Page: 1-10

発行番号	IS-RR-94-0021
論文タイトル	Rule-dynamicsの定式化，及びその記述能力の情報理論適側面
著者	佐野, 彰
発行年月日	19940715
ページ	Page: 1-9

発行番号	IS-RR-94-0022I
論文タイトル	Automatic generation of digests for meeting announcements in the NetNews
著者	佐藤, 円／佐藤, 理史／篠田, 陽一
発行年月日	19940700
ページ	Page: i,1-9

発行番号	IS-RR-94-0023
論文タイトル	投稿行動から見た電子ニュースfj
著者	佐藤, 円／篠田, 陽一
発行年月日	19940700
ページ	Page: i,1-24

発行番号	IS-RR-94-0024F
論文タイトル	Uniqueness of normal proofs in {→,∧}-fragment of NJ
著者	青戸, 等人／小野, 寛晰
発行年月日	19940811
ページ	Page: 1-20

発行番号	IS-RR-94-0025F
論文タイトル	Interpretations of the quantum theory and NP-complete problems
著者	三原, 孝志／西野, 哲朗
発行年月日	19940930
ページ	Page: 1-25

発行番号	IS-RR-94-0026A
論文タイトル	DR-netにおけるパリティ配置／データ再構築戦略の影響
著者	味松, 康行／横田, 治夫
発行年月日	19941109
ページ	Page: 1-10