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

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

＊ 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