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

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

◆Research Report◆
＊ IS-RR-98-0001A ＊
スーパーコンピュータの並列化動向
井口, 寧
19980116
Page: 1-12
＊ IS-RR-98-0002F ＊
Locally finite varieties
Bezhanishvili, Guram
19980100
Page: 1-18
＊ IS-RR-98-0003F ＊
Conservative extensions in relevant implicational logics
上出, 哲広／鹿島, 亮
19980100
Page: 1-26
＊ IS-RR-98-0004F ＊
On the finite model property of intuitionistic modal logics over MIPC
Aoto, Takahito／Shirasu, Hiroyuki
19980130
Page: 1-16
＊ IS-RR-98-0005P ＊
A method of signal extraction from noisy signal based on auditory scene analysis
Unoki, Masashi／Akagi, Masato
19980206
Page: 1-29
＊ IS-RR-98-0006P ＊
A computational model of co-modulation masking release
Unoki, Masashi／Akagi, Masato
19980206
Page: 1-23
＊ IS-RR-98-0007F ＊
Nonpreemtive flowshop scheduling with machine dominance
Cepek, Ondrej／Okada, Masanori／Vlach, Milan
19980209
Page: 1-20
＊ IS-RR-98-0008F ＊
A proof of the conjecture of zantema on a persistent property of term rewriting systems
Aoto, Takahito
19980220
Page: 1-16
＊ IS-RR-98-0009S ＊
Concurrent object composition in CafeOBJ
Iida, Shusaku／Matsumoto, Michihiro／Diaconescu, Razvan／Futatsugi, Kokichi／Lucanu, Dorel
19980220
Page: 1-40
＊ IS-RR-98-0010I ＊
テキスト自動要約技術の現状と課題
奥村, 学／難波, 英嗣
19980200
Page: 1-22
＊ IS-RR-98-0011P ＊
口腔疾患に伴う構音障害の音響的特徴に関する研究
齋藤, 浩人／赤木, 正人
19980326
Page: 2-39
＊ IS-RR-98-0012P ＊
ガンマチャープフィルタバンクの構築
鵜木, 祐史／入野, 俊夫／下平, 博
19980327
Page: 1-11
＊ IS-RR-98-0013F ＊
Generating all arcs in the transitive closure of a directed hypergraph
Cepek, Ondrej
19980424
Page:1-13
＊ IS-RR-98-0014F ＊
Categorical foundations of modularisation for multi-paradigm
Diaconescu, Razvan／Stefaneas, Petros
19980509
Page: 1-16
＊ IS-RR-98-0015F ＊
Minimizing total completion time in a two-machine no-idle flowshop
Cepek, Ondrej／Okada, Masanori／Vlach, Milan
19980512
Page: 1-23
＊ IS-RR-98-0016F ＊
Embedding symmetric simply typed classical lambda calculus into arrow typed lambda calculus with bottom
Tanaka, Yoshihito
19980500
Page: 1-17
＊ IS-RR-98-0017F ＊
Behavioural coherence in object-oriented algebraic specification
Diaconescu, Razvan
19980605
Page: 1-22
＊ IS-RR-98-0018A ＊
Network performances of TESH: a new hierarchical interconnection network for 3-D integration
Horiguchi, Susumu／Ooki, Takayuki／Jain, Vijay
19980608
Page: 1-26
＊ IS-RR-98-0019 ＊
階層化ヘミキューブを用いた並列ラジオシティ法による高速画像生成
佐藤, 敦／阿部, 亨／堀口, 進
19980608
Page: 1-20
＊ IS-RR-98-0020P ＊
パラメトリックな眼鏡フレームモデルを用いた顔画像内の眼鏡フレーム領域の抽出と除去
齋藤, 康之／剣持, 雪子／小谷, 一孔
19980716
Page: 1-20
＊ IS-RR-98-0021F ＊
Applications of Shimura's methods of canonical model to intermediate infinitary logics
Tanaka, Yoshihito
19980800
Page: 1-13
＊ IS-RR-98-0022F ＊
Strongly normalization from weakly normalization on some restricted λ-calculus
Motohama, Yoko
19980827
Page: 1-12
＊ IS-RR-98-0023F ＊
A family of substructural logics with restricted/generalized structural rules
上田, 哲広
19980917
Page: 1-41
＊ IS-RR-98-0024F ＊
Simplification ordering for higher-order rewrite systems
Iwami, Munehiro／Toyama, Yoshihito
19981020
Page: 1-14
＊ IS-RR-98-0025F ＊
Single machine scheduling under fuzziness
Vlach, Milan
19981020
Page: 1-26
＊ IS-RR-98-0026F ＊
On proving AC-termination by AC-dependency pairs
Kusakari, Keiichirou／Toyama, Yoshihito
19981026
Page: 1-13
＊ IS-RR-98-0027F ＊
フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性
Timed stability of timed discrete-event systems with forcible events
望山, 洋／平石, 邦彦
Mochiyama, hiromi／Hiraishi, kunihiko
19981026
Page: 1-11
＊ IS-RR-98-0028F ＊
The completeness of linear logic for petri net models
Ishihara, Keiko／Hiraishi, Kunihiko
19981116
Page:1-13
＊ IS-RR-98-0029P ＊
振動子付き手形状入力装置を用いた指文字学習支援システム
鈴木, 信勝／堀口, 進
19981130
Page: 1-28
＊ IS-RR-98-0030F ＊
Decidable/undecidable properties of conditional term rewriting systems
Aoto, Takahito／Nagaya, Takashi
19981204
Page: 1-19
＊ IS-RR-98-0031F ＊
Decidability for left-linear growing term rewriting systems
Nagaya, Takashi／Toyama, Yoshihito
19981208
Page: 1-17
＊ IS-RR-98-0032F ＊
The completeness of linear logic with modal operator for Petri net models
Ishihara, Keiko／Hiraishi, Kunihiko
19981214
Page: 1-10
＊ IS-RR-98-0033P ＊
手形状入力装置を用いた指文字認識システム
鈴木, 信勝／後藤, 岳志／堀口, 進
19981221
Page: 1-29
情報サービス係 Mail: toshokan@jaist.ac.jp