北陸先端科学技術大学院大学附属図書館所蔵
情報科学研究科リサーチレポート目録情報（発行順）

これは，本学情報科学研究科のリサーチレポートを発行番号，論文タイトル，著者，発行年月日，掲載ページの順に一覧表にしたものです。
この論文本文は，図書館３階レポートコーナーに配架してありますので，ご利用下さい。

＊ IS-RR-93-0001F ＊

Approximating the minimum maximal independence number

Halldorsson, Magnus M.

19930213

Page:1-4

＊ IS-RR-93-0002F ＊

Approximating the chromatic sum of a graph

Halldorsson, Magnus M./Radhakrishnan, Jaikumar

19930213

Page:1-4

＊ IS-RR-93-0003F ＊

On monotone undirected contact networks computing T^n_

Halldorsson, Magnus/Radhakrishnan, Jaikumar/Subrahmanyam, K.V.

19930215

Page: 1-8

＊ IS-RR-93-0004I ＊

Example-based translation of technical terms

佐藤, 理史

19930200

Page: i-ii,1-20

＊ IS-RR-93-0005I ＊

MIMD implementation of MBT3

佐藤, 理史

19930300

Page: i-ii,1-13

＊ IS-RR-93-0006I ＊

用例検索による日英翻訳支援システムCTM2 : 部分列インデックスを用いた最適照合検索

佐藤, 理史

19930300

Page: i-ii,1-37

＊ IS-RR-93-0007 ＊

法によるソフトウェア保護の現状と問題点

佐藤, 円

19930400

Page: i-ii,1-43

＊ IS-RR-93-0008I ＊

超並列計算機CM-5による日本語テキストの高速な全文検索

森田, 昌宏

19930500

Page: 1-16

＊ IS-RR-93-0009I ＊

情報フィルタリングに関する研究動向

森田, 昌宏

19930627

Page: 1-24

＊ IS-RR-93-0010A ＊

DR-nets : data-reconstruction networks for highly reliable parallel-disk systems

横田, 治夫

19930901

Page: 1-19

＊ IS-RR-93-0011S ＊

構造化分析の事例研究 : 生産管理システム

倉谷, 祥久／門脇, 千恵／西山, 雄／落水, 浩一郎

19930916

Page: 1-37

＊ IS-RR-93-0012F ＊

量子コンピュータを用いたNP完全問題の多項式時間解法

三原, 孝志／西野, 哲朗

19931004

Page: 1-17

＊ IS-RR-93-0013F ＊

On the complexity of negation-limited Boolean networks

田中, 圭介／西野, 哲朗

19931116

Page: 1-24

＊ IS-RR-93-0014F ＊

Greed is good : approximating independent sets in sparse and bounded-degree graphs

Halldorsson, Magnus M./Radhakrishnan, Jaikumar

19931122

Page: 1-16

＊ IS-RR-93-0015S ＊

オブジェクト指向分析の事例研究 : 生産管理システム

倉谷, 祥久／東田, 雅宏／藤枝, 和宏／鈴木, 潤一／落水, 浩一郎

19931122

Page: 1-35

＊ IS-RR-93-0016I ＊

深い知識に基づくネットワーク故障診断ESのモデル化と実装 : プロトタイプ第1版

長田, ともみ／篠田, 陽一／山口, 高平／落水, 浩一郎

19931127

Page: 1-37,A1-7,B1-12

＊ IS-RR-93-0017S ＊

研究環境におけるリソースサーバlabdbの設計と実現

昆, 雅士／落水, 浩一郎

19931129

Page: 1-56