1997年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	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