JAIST Research Report (School of Information Science) published in 1995; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.

Publication #	IS-RR-95-0001S
Title	ハイパーカードを利用した漢字学習支援システム
Author(s)	寺, 朱美／桑山, 正彦／海谷, 治彦／落水, 浩一郎
Date Published	19950228
Pages	i-ii,1-25

　

Publication #	IS-RR-95-0002F
Title	Approximating set cover via local improvements
Author(s)	Halldorsson, Magnus
Date Published	19950314
Pages	1-6

Publication #	IS-RR-95-0003F
Title	Approximations via partitioning
Author(s)	Halldorsson, Magnus
Date Published	19950314
Pages	1-7

Publication #	IS-RR-95-0004F
Title	A construction of codes with exponential error bounds on arbitrary discrete memoryless channels
Author(s)	植松, 友彦／岡本, 栄司
Date Published	19950428
Pages	1-15

Publication #	IS-RR-95-0005P
Title	骨格モデルを用いた手形状入力装置による指文字認識
Author(s)	萩原, 芳彦／山田, 隆弘／堀口, 進
Date Published	19950621
Pages	1-14

Publication #	IS-RR-95-0006P
Title	実画像を用いたテクスチャマッピングによる3次元可視化
Author(s)	岩田, 英朗／阿部, 亨／堀口, 進
Date Published	19950628
Pages	1-18

Publication #	IS-RR-95-0007S
Title	パーソナル連続メディア処理に適したストレージシステム
Author(s)	手塚, 宏史／中島, 達夫
Date Published	19950703
Pages	1-2,1-33

Publication #	IS-RR-95-0008S
Title	連続メディア処理に適した仮想記憶システム
Author(s)	手塚, 宏史／中島, 達夫
Date Published	19950703
Pages	1-33

Publication #	IS-RR-95-0009S
Title	適応的な連続メディアオブジェクトを扱うためのオペレーティングシステム
Author(s)	中島, 達夫
Date Published	19950701
Pages	1-14

Publication #	IS-RR-95-0010S
Title	メディアスケーリング可能な連続メディアオブジェクト
Author(s)	中島, 達夫
Date Published	19950701
Pages	1-8

Publication #	IS-RR-95-0011S
Title	動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構
Author(s)	藤田, 浩／中島, 達夫
Date Published	19950701
Pages	1-10

Publication #	IS-RR-95-0012S
Title	サービスプロキシを用いた移動計算機環境におけるアプリケーション構築法
Author(s)	栗原, 邦彰／中島, 達夫
Date Published	19950701
Pages	1-10

Publication #	IS-RR-95-0013P
Title	Automatic texture mapping for 3-dimensional visualization
Author(s)	岩田, 英朗／Kim, Jung Hwan／堀口, 進
Date Published	19950710
Pages	1-17

Publication #	IS-RR-95-0014I
Title	Computer performance of piano music with normative performance data
Author(s)	星芝, 貴行／堀口, 進／Fujinaga, Ichiro
Date Published	19950731
Pages	1-15

Publication #	IS-RR-95-0015F
Title	Unique normal proof property for implicational minimal formulas in the intuitionistic logic
Author(s)	青戸, 等人
Date Published	19950830
Pages	1-33

Publication #	IS-RR-95-0016F
Title	Minimizing the range of lateness on a single machine under generalized due dates
Author(s)	田中, 圭介／Vlach, Milan
Date Published	19950907
Pages	1-14

Publication #	IS-RR-95-0017F
Title	Glueing of algebras for substructural logics
Author(s)	白須, 裕之
Date Published	19950900
Pages	1-13

Publication #	IS-RR-95-0018I
Title	対話リーグ戦'95用プログラムの作成　：　対話からの知識獲得
Author(s)	佐藤, 理史
Date Published	19950900
Pages	i, 1-28

Publication #	IS-RR-95-0019S
Title	スケーラブルメディアを扱うためのReal-Time Mach上の連続メディアツールキット
Author(s)	古野, 真太郎／中島, 達夫
Date Published	19951004
Pages	1-24

Publication #	IS-RR-95-0020S
Title	Operating system servers for continuous media on a microkernel-based Real-Time operating system
Author(s)	中島, 達夫／手塚, 宏史
Date Published	19951010
Pages	1-11

Publication #	IS-RR-95-0021F
Title	A relationship between the number of negations and the circuit size
Author(s)	田中, 圭介／西野, 哲朗
Date Published	19951017
Pages	1-5

Publication #	IS-RR-95-0022A
Title	A scalable disk system with data reconstruction functions
Author(s)	横田, 治夫／味松, 康行
Date Published	19951114
Pages	1-12

Publication #	IS-RR-95-0023A
Title	Software cache techniques for memory nodes in distributed memory parallel production systems
Author(s)	宮崎, 純／横田, 治夫
Date Published	19951128
Pages	1-21

Publication #	IS-RR-95-0024F
Title	Po-hyperdoctrinal semantics for substructural predicate logics
Author(s)	白須, 裕之
Date Published	19951200
Pages	1-14

Publication #	IS-RR-95-0025A
Title	Fault tolerant software in parallel logic programming languages
Author(s)	杉野, 栄二／横田, 治夫
Date Published	19951207
Pages	1-16

Publication #	IS-RR-95-0026A
Title	並列論理型原語におけるフォールトトレラントソフトウェアの構成
Author(s)	杉野, 栄二／横田, 治夫
Date Published	19951225
Pages	1-18