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

発行番号	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