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

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

◆Research Report◆
＊ IS-RR-97-0001F ＊
Varieties of monadic Heyting algebras. Part 1
Bezhanishvili, Guram
19970100
Page: 1-32
＊ IS-RR-97-0002F ＊
Speaking about transitive frames in propositional languages
鈴木, 康人/Wolter, Frank/Zakharyaschev, Michael
19970117
Page: 1-23
＊ IS-RR-97-0003F ＊
Lower bounds on the negation-limited circuit complexity
宋, 少秋／田中, 圭介
19970117
Page: 1-11
＊ IS-RR-97-0004F ＊
Varieties of monadic Heyting algebras. Part 2 : Duality theory
Bezhanishvili, Guram
19970100
Page: 1-36
＊ IS-RR-97-0005A ＊
A parallel optimistic dynamic optimization of discrimination networks for active databases
宮崎, 純／横田, 治夫
19970220
Page: 1-18
＊ IS-RR-97-0006 ＊
自己組織化ニューラルネットワークの並列学習シミュレーション
山森, 一人／堀口, 進
19970306
Page: 1-16
＊ IS-RR-97-0007F ＊
Completeness theorem of infinitary propositional modal logic
田中, 義人
19970307
Page: 1-25
＊ IS-RR-97-0008P ＊
大脳視覚野における階層型神経細胞結合モデルの学習シミュレーション
加藤, 聡／堀口, 進
19970312
Page: 1-14
＊ IS-RR-97-0009S ＊
ソフトウェアプロセス実行における系統的コミュニケーション支援の一方式
門脇, 千恵／落水, 浩一郎
19970313
Page: 1-30
＊ IS-RR-97-0010A ＊
ウェーハ積層構造３次元階層型ネットワーク
大木, 孝之／堀口, 進
19970314
Page: 1-25
＊ IS-RR-97-0011P ＊
動的輪郭モデルを用いた多方向に移動する複数物体の追跡に関する研究
金田, 丘／阿部, 亨
19970317
Page: 1-20
＊ IS-RR-97-0012S ＊
Constructing a support environment for cooperative works over computer network by integrating software process enactment support and communication support=ソフトウェア・プロセス実行支援とコミュニケーション支援の統合によるネットワークを介した共同作業支援環境の構築
落水, 浩一郎
19970324
Page: 1-17,1-18
＊ IS-RR-97-0013S ＊
A framework of a support environment for cooperative works over distributed computing system based on a decision management
Ochimizu, Koichiro／Kadowaki, Chie
19970324
Page: 1-16
＊ IS-RR-97-0014 ＊
並列ラジオシティ法による画像生成の高速化
阿部, 寛之/阿部, 亨/堀口, 進
19970328
Page: 1-17
＊ IS-RR-97-0015P ＊
発話速度に基づいた文脈効果モデルの話者適応化
米沢, 裕司
19970331
Page: 1-11
＊ IS-RR-97-0016F ＊
Varieties of monadic heyting algebras. Part 3
Bezhanishvili, Guram
19970400
Page: 1-29
＊ IS-RR-97-0017S ＊
ネットワークを介した共同作業の支援環境構築にむけて
落水, 浩一郎
19970411
Page: 1-36
＊ IS-RR-97-0018F ＊
Strong pareto optimality of compromise decisions in multi-criteria anlysis
Ramik, Jaroslav／Vlach, Milan
19970414
Page: 1-14
＊ IS-RR-97-0019F ＊
Linear programming with inexact coefficients
Ramik, Jaroslav
19970414
Page: 1-31
＊ IS-RR-97-0020A ＊
Parallel computation model logPQ and its evaluation
Touyama, Takayoshi／Horiguchi, Susumu
19970416
Page: 1-18
＊ IS-RR-97-0021A ＊
A parallel learning algorithm to compensate hardware defects for Kohonen's SOM
Yamamori, Kunihito／Horiguchi, Susumu
19970506
Page: 1-18
＊ IS-RR-97-0022S ＊
計算機を介した共同作業の評価と共同ソフトウエア開発におけるグループウエア利用の検討
村越, 広亨／海谷, 治彦／落水, 浩一郎
19970520
Page: 1-39
＊ IS-RR-97-0023 ＊
超並列シミュレーションとビジュアライゼーション
堀口, 進／井口, 寧／山森, 一人／林, 亮子／加藤, 聡
19970523
Page: 1-81
＊ IS-RR-97-0024 ＊
ピアノ演奏における音楽要素と聴取印象との関係
吉田, 貴子／堀口, 進
19970523
Page: 1-20
＊ IS-RR-97-0025F ＊
On solving the max-min 0-1 knapsack problem
Iida, Hiroshi
19970602
Page: 1-23
＊ IS-RR-97-0026 ＊
ピアノ曲奏者の演奏ルール抽出と自動演奏
星芝, 貴行／堀口, 進
19970606
Page: 1-29
＊ IS-RR-97-0027 ＊
Performance evaluation of interconnection network for large disk systems
Mimatsu, Yasuyuki／Yokota, Haruo
19970618
Page: 1-17
＊ IS-RR-97-0028 ＊
Discrete-time system analysis using constrained positively invariant set
Hirata, Kenji／Fujita, Masayuki
19970707
Page: 1-21
＊ IS-RR-97-0029 ＊
Neuronal cell model with the synaptic interaction, Part 1:newronal cell modeling and the analysis of single input/output properties
Sano, Akira
19970721
Page: 1-14
＊ IS-RR-97-0030F ＊
Second order tangent sets and optimality conditions
Cambini, Alberto／Martein, Laura／Vlach, Milan
19970725
Page: 1-13
＊ IS-RR-97-0031F ＊
Single-machine scheduling with fuzzy precedence constraints
Levner, Eugene／Vlach, Milan
19970725
Page: 1-18
＊ IS-RR-97-0032F ＊
Extra theory morphisims for institutions : Logical semantics for muliti-paradigm languages
Diaconescu,Razvan
19970801
Page: 1-22
＊ IS-RR-97-0033F ＊
Tree lifting orderings for termination transformations of term rewriting systems
Aoto, Takahito／Toyama, Yoshihito
19970801
Page: 1-19
＊ IS-RR-97-0034F ＊
The equivalence of the reductions with the E-strategy with and without marks
Nagaya, Takashi／Matsumoto, Michihiro／Ogata, Kazuhiro／Futatsugi, Kokichi
19970813
Page: 1-9
＊ IS-RR-97-0035F ＊
Monadic version of Glivenko's theorem
Bezhanishvili, Guram
19970800
Page: 1-15
＊ IS-RR-97-0036 ＊
Robust visual servo control of planar manipulators under the eye-in-hand configurations
Maruyama, Akira／Fujita, Masayuki
19970821
Page: 1-14
＊ IS-RR-97-0037F ＊
A family of substructural implicational logics
Kashima, Ryo／Kamide, Norihiro
19970900
Page: 1-66
＊ IS-RR-97-0038S ＊
モーバイルコンピューティングのための動的適応可能なソフトウエアアーキテクチャ
中島, 達夫
19970911
Page: 1-10
＊ IS-RR-97-0039S ＊
適応可能なアプリケーションの構築を支援する環境サーバ
中島, 達夫／会津, 宏幸／小林, 勝／嶋本, 堅司
19970911
Page: 1-9
＊ IS-RR-97-0040F ＊
Hilbert style proof system for BPL
Suzuki, Yasuhito／Ono, Hiroakira
19971007
Page: 1-8
＊ IS-RR-97-0041F ＊
Negation-limited circuit complexity of symmetric functions
Sung, Shao-Chin
19971030
Page: 1-16
＊ IS-RR-97-0042F ＊
Propositional calculus with identity
Ishii, Tadao
19971104
Page: 1-22
＊ IS-RR-97-0043F ＊
時間付き離散事象システムの時間付き安定性
Timed stability of timed discrete event systems
望山, 洋／平石, 邦彦
Mochiyama, Hiromi／Hiraishi, Kunihiko
19971113
Page: 1-22
＊ IS-RR-97-0044F ＊
Splitting monadic heyting algebras
Bezhanishvili, Guram
19971100
Page: 1-20
＊ IS-RR-97-0045 ＊
Analysis of listening impression of modified piano performance by local tempo and dynamics
Yoshida, Takako／Fujinaga, Ichiro／Horiguchi, Susumu
19971201
Page: 1-20
＊ IS-RR-97-0046F ＊
Modality in open institutions with concrete syntax
Diaconescu, Razvan／Stefaneas, Petros
19971203
Page: 1-12
情報サービス係 Mail: toshokan@jaist.ac.jp