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