リサーチレポート（情報科学研究科）タイトル一覧
1996年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。
リサーチレポート - 情報科学研究科 1996 ： ISSN 0918-7553
| 発行番号 |
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 |