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

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

＊ IS-RR-95-0001S ＊

ハイパーカードを利用した漢字学習支援システム

寺, 朱美／桑山, 正彦／海谷, 治彦／落水, 浩一郎

19950228

Page: i-ii,1-25

＊ IS-RR-95-0002F ＊

Approximating set cover via local improvements

Halldorsson, Magnus

19950314

Page: 1-6

＊ IS-RR-95-0003F ＊

Approximations via partitioning

Halldorsson, Magnus

19950314

Page: 1-7

＊ IS-RR-95-0004F ＊

A construction of codes with exponential error bounds on arbitrary discrete memoryless channels

植松, 友彦／岡本, 栄司

19950428

Page: 1-15

＊ IS-RR-95-0005P ＊

骨格モデルを用いた手形状入力装置による指文字認識

萩原, 芳彦／山田, 隆弘／堀口, 進

19950621

Page: 1-14

＊ IS-RR-95-0006P ＊

実画像を用いたテクスチャマッピングによる3次元可視化

岩田, 英朗／阿部, 亨／堀口, 進

19950628

Page: 1-18

＊ IS-RR-95-0007S ＊

パーソナル連続メディア処理に適したストレージシステム

手塚, 宏史／中島, 達夫

19950703

Page: 1-2,1-33

＊ IS-RR-95-0008S ＊

連続メディア処理に適した仮想記憶システム

手塚, 宏史／中島, 達夫

19950703

Page: 1-33

＊ IS-RR-95-0009S ＊

適応的な連続メディアオブジェクトを扱うためのオペレーティングシステム

中島, 達夫

19950701

Page: 1-14

＊ IS-RR-95-0010S ＊

メディアスケーリング可能な連続メディアオブジェクト

中島, 達夫

19950701

Page: 1-8

＊ IS-RR-95-0011S ＊

動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構

藤田, 浩／中島, 達夫

19950701

Page: 1-10

＊ IS-RR-95-0012S ＊

サービスプロキシを用いた移動計算機環境におけるアプリケーション構築法

栗原, 邦彰／中島, 達夫

19950701

Page: 1-10

＊ IS-RR-95-0013P ＊

Automatic texture mapping for 3-dimensional visualization

岩田, 英朗／Kim, Jung Hwan／堀口, 進

19950710

Page: 1-17

＊ IS-RR-95-0014I ＊

Computer performance of piano music with normative performance data

星芝, 貴行／堀口, 進／Fujinaga, Ichiro

19950731

Page: 1-15

＊ IS-RR-95-0015F ＊

Unique normal proof property for implicational minimal formulas in the intuitionistic logic

青戸, 等人

19950830

Page: 1-33

＊ IS-RR-95-0016F ＊

Minimizing the range of lateness on a single machine under generalized due dates

田中, 圭介／Vlach, Milan

19950907

Page: 1-14

＊ IS-RR-95-0017F ＊

Glueing of algebras for substructural logics

白須, 裕之

19950900

Page: 1-13

＊ IS-RR-95-0018I ＊

対話リーグ戦'95用プログラムの作成　：　対話からの知識獲得

佐藤, 理史

19950900

Page: i, 1-28

＊ IS-RR-95-0019S ＊

スケーラブルメディアを扱うためのReal-Time Mach上の連続メディアツールキット

古野, 真太郎／中島, 達夫

19951004

Page: 1-24

＊ IS-RR-95-0020S ＊

Operating system servers for continuous media on a microkernel-based Real-Time operating system

中島, 達夫／手塚, 宏史

19951010

Page: 1-11

＊ IS-RR-95-0021F ＊

A relationship between the number of negations and the circuit size

田中, 圭介／西野, 哲朗

19951017

Page: 1-5

＊ IS-RR-95-0022A ＊

A scalable disk system with data reconstruction functions

横田, 治夫／味松, 康行

19951114

Page: 1-12

＊ IS-RR-95-0023A ＊

Software cache techniques for memory nodes in distributed memory parallel production systems

宮崎, 純／横田, 治夫

19951128

Page: 1-21

＊ IS-RR-95-0024F ＊

Po-hyperdoctrinal semantics for substructural predicate logics

白須, 裕之

19951200

Page: 1-14

＊ IS-RR-95-0025A ＊

Fault tolerant software in parallel logic programming languages

杉野, 栄二／横田, 治夫

19951207

Page: 1-16

＊ IS-RR-95-0026A ＊

並列論理型原語におけるフォールトトレラントソフトウェアの構成

杉野, 栄二／横田, 治夫

19951225

Page: 1-18