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

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

◆Research Report◆
＊ IS-RR-99-0001P ＊
超高精細・高階調カラー画像の統計的性質と Lossless coding
戸田, 昌枝／剣持, 雪子／小谷, 一孔／加藤, 茂夫
19990127
Page: 1-7
＊ IS-RR-99-0002F ＊
The super-amalgamation property of the variety of ortholattices
Miyazaki, Yutaka
19990128
Page: 1-15
＊ IS-RR-99-0003F ＊
Substructural logics with mingle
上出, 哲広
19990208
Page: 1-17
＊ IS-RR-99-0004P ＊
類似フレーズに着目したピアノ演奏の自動採譜システム
寺井, 浩司／堀口, 進
19990226
Page: 1-23
＊ IS-RR-99-0005I ＊
エージェント指向プログラミングによる魚群アニメーション
大峯, 誠／阿部, 亨／堀口, 進
19990226
Page: 1-21
＊ IS-RR-99-0006F ＊
On proving AC-termination by argument filtering method
Kusakari, Keiichirou/Toyama, Yoshihito
19990323
Page:1-10
＊IS-RR-99-0007F＊
The hierarchy of dependency pairs
Kusakari, Keiichirou/Toyama, Yoshihito
19990323
Page:1-6
＊IS-RR-990008F＊
Argument filtering transformation
Kusakari, Keiichirou/Nakamura, Masaki/Toyama, Yoshihito
19990323
Page:1-14
＊IS-RR-99-0009F＊
順序ソート 項書換え系のソート 復元可能に関する研究
五百蔵, 重典
19990326
Page:1-10
＊IS-RR-99-0010＊
Extending inductive generalization with abduction
Kanai, Takashi/Kunifuji, Susumu
19990329
Page:1-15
＊IS-RR-99-0011F＊
Linear programming with inexact coeffcients: some results in computational complexity
Ramik, Jaroslav
19990406
Page:1-23
＊IS-RR-99-0012P＊
手形状入力装置を用いた仮想楽器演奏システム　−サイバーミュージックインストゥルメント−
川上，隆/星芝，貴行/堀口，進
19990412
Page:1-17
＊IS-RR-99-0013F＊
Mingle converse principle for substructural logics
上出，哲宏
19990416
Page:1-8
＊IS-RR-99-0014A＊
New interconnections for massively parallel and distributed systems
Horiguchi ,Susumu
19990423
Page:1-75
＊IS-RR-99-0015F＊
Multiple-choice project scheduling
Levner ,Eugene/Sung ,Shao Chin/Vlach ,Milan
19990426
Page:1-21
＊IS-RR-99-0016A＊
超並列・分散型コンピュータの高性能ネットワーク
堀口，進
19990427
Page:1-45
＊IS-RR-99-0017P＊
振動子付き手形状入力装置を用いた指文字学習支援システムの性能評価
鈴木，信勝/大橋，功治/堀口，進
19990427
Page:1-21
＊IS-RR-99-0018P＊
高調波分析による手話単語認識システム
鈴木，信勝/堀口，進
19990427
Page:1-31
＊IS-RR-99-0019＊
量子モンテカルロ法による１次元Heisenberg spin modelのシミュレーションおよびその並列化
宮崎，裕
19990430
Page:1-63
＊IS-RR-99-0020S＊
Component-based algebraic specification and verification in cafeOBJ
Diaconescu, Razvan/Futatsugi, Kokichi/Iida, Shusaku
19990506
Page:1-20
＊IS-RR-99-0021＊
地球シミュレータ計画の現状
浅野, 俊幸/堀口, 進
19990528
Page:1-28
＊IS-RR-99-0022F＊
A quantum algorithm for finding the k -th smallest Member
Mihara, Takashi/Sung, Shao Chin
19990528
Page:1-12
＊IS-RR-99-0023F＊
Synthesis of supervisor using learning algorithm of regular languages
Hiraishi, Kunihiko
19990630
Page:1-25
＊IS-RR-99-24I＊
Automatic generation of web directories for specific categories
Sato, Satoshi/Sato, Madoka
19990726
Page:1-9
＊IS-RR-99-0025I＊
イベントとプロパティの区別を導入した型階層論理
兼岩, 憲/東条, 敏
19990726
Page:1-22
＊IS-RR-99-0026F＊
Proof-theoretic analysis of termination proofs by recursive path ordering with status
Ishii, Katsumasa
19990804
Page:1-10
＊IS-RR-99-0027P＊
動的輪郭モデルを用いた対称構造物体の抽出
斎藤, 康之/阿部, 亨/小谷, 一孔
19990916
Page:1-17
＊IS-RR-99-0028F＊
Kripke-style semantics of orthomodular logics
Miyazaki, Yutaka
19991021
Page:1-26
＊IS-RR-99-0029F＊
Leibniz style arithmetization of human reasoning
Sotirov, Vladimir
19991105
Page:1-8
＊IS-RR-99-0030F＊
Cut-free sequent calculi for Visser's propositional logics
Kikuchi, Kentaro
19991110
Page:1-12
＊IS-RR-99-0031F＊
Concept of linear fuzzy coalitional game
Mares, Milan/Vlach, Milan
19991115
Page:1-8
＊IS-RR-99-0032F＊
A note on provable well-founded relations
Ishii, Katsumasa
19991117
Page:1-12
＊IS-RR-99-0033F＊
Fixpoint formulation of the completion problem of orthomodular lattices
Miyazaki, Yutaka
19991124
Page:1-6
＊IS-RR-99-0034F＊
Triangular norms, generalized quasiconcavity and compromise solutions
Ramik, Jaroslav/Vlach, Milan
19991201
Page:1-9
＊IS-RR-99-0035F＊
Nonpreemtive flowshops with a dominant machine: Reductions to single machine problems
Cepek, Ondrej/Vlach, Milan
19991201
Page:1-9
情報サービス係 Mail: toshokan@jaist.ac.jp