リサーチレポート（情報科学研究科）タイトル一覧
2001年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
リサーチレポート - 情報科学研究科 2001 ： ISSN 0918-7553
| 発行番号 |
IS-RR-2001-001 |
| 論文タイトル |
ＪＡＩＳＴにおける計算科学的アプローチを用いた分子関連研究 |
| 著者 |
佐藤, 賢二/楯, 真一/森川, 良忠/近江, 靖則/佐野, 陽之/林, 亮子/前, 一樹 |
| 発行年月日 |
20010110 |
| ページ |
Page: 1-12 |
| 発行番号 |
IS-RR-2001-002 |
| 論文タイトル |
INC-OPT:a high performance concurrency control for parallel B-tree structures |
| 著者 |
Miyazaki, Jun/Yokota, Haruo |
| 発行年月日 |
20010123 |
| ページ |
Page: 1-36 |
| 発行番号 |
IS-RR-2001-003 |
| 論文タイトル |
Generlized concavity as a basis for optimization and decision analysis |
| 著者 |
Ramik, Jaroslsv/Vlach, Milan |
| 発行年月日 |
20010131 |
| ページ |
Page: 1-115 |
| 発行番号 |
IS-RR-2001-004 |
| 論文タイトル |
不正なホストの盗み見からモバイルエージェントを保護するセキュリティ機構の提案と実装 |
| 著者 |
村田, 真一 |
| 発行年月日 |
20010321 |
| ページ |
Page: 1-67 |
| 発行番号 |
IS-RR-2001-005 |
| 論文タイトル |
Rearrangeable nonblocking optical multistage swiching network under crosstalk-free
constraint |
| 著者 |
Jiang, X. H/Khandker, Md. M. R/Horiguchi, S |
| 発行年月日 |
20010328 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2001-006 |
| 論文タイトル |
魚の行動様式に基づいたＡＯＰによる魚群シミュレーションに関する研究 |
| 著者 |
上村. 知也/堀口. 進 |
| 発行年月日 |
20010329 |
| ページ |
Page: 1-20 |
| 発行番号 |
IS-RR-2001-007 |
| 論文タイトル |
階層型相互結合網ＢＣＴ(de bruijn connected torus)のデッドロックフリー・ルーティング |
| 著者 |
茶谷. 賢一/堀口. 進 |
| 発行年月日 |
20010329 |
| ページ |
Page: 1-30 |
| 発行番号 |
IS-RR-2001-008 |
| 論文タイトル |
Inclusion relationship between pseudo-euclidean logics |
| 著者 |
Hashimoto, Y/Maruyama, A |
| 発行年月日 |
20010405 |
| ページ |
Page: 1-12 |
| 発行番号 |
IS-RR-2001-009 |
| 論文タイトル |
Lemmon-scoott axioms for relenvant model logics |
| 著者 |
Seki, Takahiro |
| 発行年月日 |
20010419 |
| ページ |
Page: 1-23 |
| 発行番号 |
IS-RR-2001-010 |
| 論文タイトル |
Temporal epistemic logics for multi-agent systems |
| 著者 |
Maruyama, Akio |
| 発行年月日 |
20010601 |
| ページ |
Page: 1-22 |
| 発行番号 |
IS-RR-2001-011 |
| 論文タイトル |
The predicate extension of the minimum orthologic |
| 著者 |
Miyazaki, Yutaka |
| 発行年月日 |
20010604 |
| ページ |
Page: 1-25 |
| 発行番号 |
IS-RR-2001-012 |
| 論文タイトル |
外的情報表現の内包論理/可能世界意味論モデル |
| 著者 |
桐谷, 理 |
| 発行年月日 |
20010615 |
| ページ |
Page: 1-27 |
| 発行番号 |
IS-RR-2001-013 |
| 論文タイトル |
On the proof of the interpolation theorem without using constants |
| 著者 |
Seki, Takahiro |
| 発行年月日 |
20010709 |
| ページ |
Page: 1-23 |
| 発行番号 |
IS-RR-2001-014 |
| 論文タイトル |
Cooperative interaction in haptic shared virtual environment using energy
conversation principles |
| 著者 |
Alhalabi, M. Osama/Horiguchi, Susumu |
| 発行年月日 |
20010713 |
| ページ |
Page: 1-9 |
| 発行番号 |
IS-RR-2001-015 |
| 論文タイトル |
Human performance and sensation in haptic virtual environnment |
| 著者 |
Alhalabi, M. Osama/Horiguchi, Susumu |
| 発行年月日 |
20010725 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2001-016 |
| 論文タイトル |
A scenario-based object-oriented modeling method with algebraic specification
techniques |
| 著者 |
Nakajima,Shin/Futatugi, Kokichi |
| 発行年月日 |
20010731 |
| ページ |
Page: 1-41 |
| 発行番号 |
IS-RR-2001-017 |
| 論文タイトル |
分散メモリ型ネットワークインタフェースの提案と評価 |
| 著者 |
奥野. 弘之/井口. 寧/堀口. 進 |
| 発行年月日 |
20010802 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2001-018 |
| 論文タイトル |
A new network interface with distributed memory |
| 著者 |
Okuno, Hiroyuki/Inoguchi, Yasushi/Horiguchi, Susumu |
| 発行年月日 |
20010802 |
| ページ |
Page: 1-15 |
| 発行番号 |
IS-RR-2001-019 |
| 論文タイトル |
Tele-handshake: cooperative shared haptic virtual environment |
| 著者 |
Alhalabi, M. Osama/Horiguchi, Susumu |
| 発行年月日 |
20010820 |
| ページ |
Page: 1-12 |
| 発行番号 |
IS-RR-2001-020 |
| 論文タイトル |
Ｇ．Ｖ．Ａにおける架空名義入札の効用 |
| 著者 |
面, 和成/東条, 敏/宮地, 充子 |
| 発行年月日 |
20010820 |
| ページ |
Page: 1-22 |
| 発行番号 |
IS-RR-2001-021 |
| 論文タイトル |
Xpe with theorem provers |
| 著者 |
毛利, 元彦 |
| 発行年月日 |
20010828 |
| ページ |
Page: 1-33 |
| 発行番号 |
IS-RR-2001-022 |
| 論文タイトル |
Magnetic experimental data analyzing program |
| 著者 |
Haque, S. A/Alhalabi, M. Osama/Hori, H/Horiguchi, S |
| 発行年月日 |
20010919 |
| ページ |
Page: 1-16 |
| 発行番号 |
IS-RR-2001-023 |
| 論文タイトル |
Some topics on relevant model matrices |
| 著者 |
Seki, Takahiro |
| 発行年月日 |
20010920 |
| ページ |
Page: 1-27 |
| 発行番号 |
IS-RR-2001-024 |
| 論文タイトル |
Crosstalk-free permutation in rearrangeable nonblocking optical MIN with
vertical stacking |
| 著者 |
Jiang, X. H/Khandker, Md. M. R/Shen, H/Horiguchi, H |
| 発行年月日 |
20011130 |
| ページ |
Page: 1-16 |
| 発行番号 |
IS-RR-2001-025 |
| 論文タイトル |
Constructing high availability network systems |
| 著者 |
Inoguchi, Yasushi/Shikida, Mikihumi/Tan, Yasuo/Matsuzawa, Teruo |
| 発行年月日 |
20011206 |
| ページ |
Page: 1-5 |
| 発行番号 |
IS-RR-2001-026 |
| 論文タイトル |
Constructing high availability application servers |
| 著者 |
Inoguchi, Yasushi/Shikida, Mikihumi/Tan, Yasuo/Matsuzawa, Teruo |
| 発行年月日 |
20011206 |
| ページ |
Page: 1-9 |
| 発行番号 |
IS-RR-2001-027 |
| 論文タイトル |
超並列計算機におけるハードウェア高速化によるシステム性能の評価 |
| 著者 |
井口, 寧/黒川, 原佳/松澤, 照男 |
| 発行年月日 |
20011212 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2001-028 |
| 論文タイトル |
超並列システムの将来像と課題 |
| 著者 |
井口, 寧 |
| 発行年月日 |
20011213 |
| ページ |
Page: 1-53 |
| 発行番号 |
IS-RR-2001-029 |
| 論文タイトル |
Non-archimedean additive utilities for discrete items |
| 著者 |
Ikeda, Kiyoshi |
| 発行年月日 |
20011214 |
| ページ |
Page: 1-33 |
| 発行番号 |
IS-RR-2001-030 |
| 論文タイトル |
Linking the information sharing process to the business process in cooperative
works |
| 著者 |
Kadowaki, Chie/Shikida, Mikifumi |
| 発行年月日 |
20011221 |
| ページ |
Page: 1-13 |
| 発行番号 |
IS-RR-2001-031 |
| 論文タイトル |
Wavelet変換を用いた顔画像の特徴解析に関する研究 －JPEG2000システムにおける顔画像認識システムの基礎検討－ |
| 著者 |
金森, 証/小谷, 一孔 |
| 発行年月日 |
20011221 |
| ページ |
Page: 1-12 |