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

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

◆Research Report◆
＊ IS-RR-96-0001I ＊
Robustness of robot programs generated by genetic programming
伊藤, 拓也／伊庭, 斉志／木村, 正行
19960119
Page: 1-11
＊ IS-RR-96-0002F ＊
Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine
田中, 圭介／Vlach, Milan
19960215
Page: 1-17
＊ IS-RR-96-0003 ＊
The efficient fault-tolerant design of artificial neural networks
山森, 一人／堀口, 進
19960219
Page: 1-9
＊ IS-RR-96-0004F ＊
Single machine scheduling with sequence-dependent due dates
田中, 圭介
19960312
Page: 1-10
＊ IS-RR-96-0005P ＊
３次元動画像と仮想物体映像の合成
伊藤, 嘉昭／阿部, 亨／堀口, 進
19960312
Page: 1-18
＊ IS-RR-96-0006S ＊
JAIST-REPORT completeness of semantic paramodulation : a category-based approach
Diaconescu, Razvan
19960300
Page: 1,1-37
＊ IS-RR-96-0007 ＊
仮想現実空間上での３次元物体造形システム
滝口, 章広／阿部, 亨／堀口, 進
19960300
Page: 1-19
＊ IS-RR-96-0008A ＊
Shifted Recursive Torus interconnection network for massively parallel computers
井口, 寧／堀口, 進
19960315
Page: 1-19
＊ IS-RR-96-0009F ＊
Persistency of confluence
青戸, 等人／外山, 芳人
19960315
Page: 1-18
＊ IS-RR-96-0010S ＊
PCTEによるCASEツールの統合とその応用
池田, 克則／落水, 浩一郎
19960318
Page: vi,1-72
＊ IS-RR-96-0011P ＊
多視点距離画像に基づく単一参照パターンを用いた３次元物体認識
大野, 克俊／阿部, 亨
19960318
Page: 1-14
＊ IS-RR-96-0012S ＊
ネットワークを介した協調活動の支援環境
川上, 直木／川瀬, 宏一郎／小寺, 康男／鈴木, 大輔／萩原, 豊隆／橋本, 雅嗣／落水, 浩一郎
19960416
Page: 1-60
＊ IS-RR-96-0013A ＊
HR-crossed cube interconnection and WSI implementation
堀口, 進／小貫, 昌幸
19960528
Page: 1-16
＊ IS-RR-96-0014S ＊
移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ
天野, 憲樹／渡部, 卓雄
19960531
Page: 1-27
＊ IS-RR-96-0015F ＊
An improved strategy for a pursuit-evasion problem on grids
田中, 圭介
19960614
Page: 1-4
＊ IS-RR-96-0016 ＊
A user behavior model of organizational knowledge support
門脇, 千恵／山上, 俊彦／爰川, 知宏／杉田, 恵三／國藤, 進
19960620
Page: 1-18
＊ IS-RR-96-0017A ＊
The 3D-mesh array architecture on stacked Wafers
堀口, 進／沼田, 一成
19960621
Page: 1-14
＊ IS-RR-96-0018A ＊
ウェーハスタック構造型自律再構成超並列コンピュータ
堀口, 進
19960701
Page: 1-77
＊ IS-RR-96-0019F ＊
On some evolutionary implications of the genetic code
真栄城, 哲也／木村, 正行
19960702
Page: 1-20
＊ IS-RR-96-0020A ＊
Self-reconfigurable massively parallel computer on stacked Wafers
堀口, 進
19960703
Page: 1-66
＊ IS-RR-96-0021F ＊
Duality in super-intuitionistic and modal predicate logics
白須, 裕之
19960700
Page: 1-10
＊ IS-RR-96-0022I ＊
Common language acquisition by multi-agents
小野, 哲雄／東条, 敏／佐藤, 理史
19960800
Page: 1-14
＊ IS-RR-96-0023F ＊
Top-down labelling and modularity of term rewriting systems
青戸, 等人／外山, 芳人
19960819
Page: 1-21
＊ IS-RR-96-0024S ＊
Logical semantics for CafeOBJ
Razvan, Diaconescu／ 二木, 厚吉
19960828
Page: 1-18
＊ IS-RR-96-0025F ＊
Extending persistency of confluence with ordered sorts
青戸, 等人／外山, 芳人
19960829
Page: 1-21
＊ IS-RR-96-0026F ＊
Improved algorithms for single machine scheduling with fuzzy due dates
田中, 圭介／Vlach, Milan
19960902
Page: 1-10
＊ IS-RR-96-0027F ＊
Advanced modal logic
Zakharyaschev, Michael/Wolter, Frank/Chagrov, Alexander
19960900
Page: 1-173
＊ IS-RR-96-0028F ＊
An exact algorithm for the subset-sum problem
飯田, 浩志／Vlach, Milan
19960925
Page: 1-18
＊ IS-RR-96-0029F ＊
On structural properties of genetic codes with high adaptability and robustness
真栄城, 哲也／木村, 正行
19961018
Page: 1-22
＊ IS-RR-96-0030 ＊
A consensus making support system using AHP in combination with KJ method and relationship matrix
加藤, 直孝／國藤, 進
19961112
Page: 1-14
＊ IS-RR-96-0031 ＊
A group desicion support system by externalizing, sharing and reflecting individual viewpoints
加藤, 直孝／中条, 雅庸／國藤, 進
19961112
Page: 1-8
＊ IS-RR-96-0032F ＊
Still more on complexity of negation-limited circuits
宋, 少秋／田中, 圭介
19961113
Page: 1-10
＊ IS-RR-96-0033 ＊
Dynamic load balancing scheme for parallel molecular dynamics simulation
林, 亮子／堀口, 進
19961128
Page: 1-11
＊ IS-RR-96-0034P ＊
下部側頭葉皮質IT野における神経細胞結合モデル
加藤, 聡／堀口, 進
19961129
Page: 1-20
情報サービス係 Mail: toshokan@jaist.ac.jp