北陸先端科学技術大学院大学附属図書館所蔵
情報科学研究科リサーチレポート目録情報（発行順）
これは，本学情報科学研究科のリサーチレポートを発行番号，論文タイトル，著者，発行年月日，掲載ページの順に一覧表にしたものです。
この論文本文は，図書館３階レポートコーナーに配架してありますので，ご利用下さい。
◆Research Report◆
- ＊ 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
情報サービス係
Mail:
toshokan@jaist.ac.jp