リサーチレポート（情報科学研究科）タイトル一覧
1999年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
リサーチレポート - 情報科学研究科 1999 ： ISSN 0918-7553
| 発行番号 |
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 |