平 成 9 年 度
財団法人 九州システム情報技術研究所
活 動 報 告 書
Annual Report FY 1997
Institute of Systems & Information Technologies / KYUSHU

まえがき
システム情報技術研究所が設立されてから二年余が経過しました。この間、経済．財政情勢を中心として、日本を取り巻くアジアの状況は大きく変わろう
としています。日本丸も突風や大波を受け舵とりに四苦八苦しています。
世の中が大きく揺れ動く中、情報の重要性が益々認識され、情報化時代は確
かな足取りで進んでいます。またそれに従って、システム情報技術研究所の役
割は益々重要になってきています。この二年の間、我々も努力を重ね、それなりの責務を果たし、成果を上げてきたと思っています。具体例としては、各種交流事業の開催、企業．団体からの委託研究や互いにテーマを持ち寄っての共同研究、PPRAM に関する企業コンソーシアムの取りまとめや地域型認証プロ
ジェクトの推進等を挙げることが出来ます。
年度末に当り、これらの成果を中心に平成９年度の活動報告書を纏めました。
ご一覧の上、ご批判ご助言等を賜われば幸いです。もとより、我々はこれで十分だとは思っておりません。平成１０年度には第三研究室の新設も決まっておりますので、皆様方の期待に沿えるべく尚一層の努力を重ねる所存でございます。ご指導ご鞭撻をよろしくお願いいたします。
平成１０年４月
財団法人九州システム情報技術研究所
研究所長
長田 正

１

研究開発事業

１．１

定常型研究開発

定常型研究開発事業は ISIT の恒常的な事業であり、中長期的かつ戦略的に重要なテーマについて実施しています。大きく分けて、「システム設計の体系化」及び「ソフトウェア設計手法とネットワ
ークシステム」に関する研究を行っています。

１．１．１

第１研究室（安浦研究室）

構成員：
室長

安浦

寛人

研究員

伊達

博

甲斐

康司

廣瀬

啓

山本

薫

井上

弘士

井上

昭彦

研究助手

事務補助

宝蔵寺

博子

（平成１０年３月３１日 現在）

第１研究室の研究テーマは、「システム設計の体系化」です。集積回路（LSI）技術、ソフトウェ
ア技術及びネットワーク技術を融合したシステム設計の体系化を進め、これらの研究を通して新しいシステム情報技術を確立したいと考えています。

近年の集積回路技術の進歩により、システム情報技術は自動車、家庭電化製品、通信機器、自動販
売機、情報処理機器、ロボット、玩具、カメラ、産業機器など私達の生活を支える種々の機器に組み込まれる形で日常生活の隅々に浸透しています。これらの機器組み込みシステムの開発においては、
高機能化、高性能化、低消費電力化、低コスト化、高信頼化、さらには設計期間の短縮と厳しい要求が高まっています。このような応用分野の拡大と製品のライフサイクルの短縮に対応するために新しい機器組み込みシステムに関する設計手法の確立がますます重要な課題となってきました。さらに今後、LSI の集積度が増すと、システムを一つのチップで実現するシステム LSI の需要が増加します。
第１研究室では、このような要求に応えるための要素技術として、●システム LSI のアーキテクチャと設計技術●システム LSI 設計支援技術に関する研究を進めています。これらの研究を通じて、それぞれの応用分野に適した高性能なシステ
ムを効率的に開発するための新しい設計技術を確立したいと考えています。
具体的には、各応用分野のシステム設計者が用途に応じた専用プロセッサとそのソフトウェアを簡単に作れる環境や、組み込みシステムに対して企画から生産まで一貫して設計する手法を確立するために、ハードウェア、ソフトウェア、ネットワーク技術など種々のシステム情報技術を駆使した協調

1

設計技術の研究を推進しています。また今後、世界規模で展開されると思われる設計活動のグローバ
ライゼーションへの対応や、より付加価値の高いシステムに対する設計技術を確立するための検討も行っています。
この他、九州大学の村上和彰助教授が提唱している次世代高性能マイクロプロセッサアーキテクチ
ャーPPRAM（Parallel Processing Random AccessMemory ）のインターフェース標準化活動にも中心的なメンバーとして参加しています。
システム情報技術は、社会システムの各部に広く利用され、その影響は科学技術はもとより政治や経済活動、さらには市民の日常生活に大きな影響を与えるようになっています。しかし、このように重要な技術に対して、一般の人々の基本知識は必ずしも十分なものとはいえません。第１研究室では、社会に浸透したシステム情報技術に関する社会常識の確立の必要性を考え、社会混乱の発生を防ぎ、個人の権利が侵害されないようにすることを目的に、●計算機教育手法
に関する研究も行っています。
以上のような研究を実施するための環境として、多くのワークステーション上に論理合成ツールやシミュレーションツールなどの設計ツールを準備し、簡単な回路試作の設備も整えています。また、九州大学を中心とした大学や各種研究機関、企業との交流も盛んに行っています。

（１）システム LSI のアーキテクチャと設計技術（a）DRAM/Logic 混載 LSI のメモリ・アーキテクチャの開発
システム LSI に搭載するメモリとして、大容量化を実現できる DRAM が注目をあびています。プロ
セス技術の進歩により、CMOS と DRAM とを同一の LSI 上に混載することが可能になってきたことがその理由です。DRAM は SRAM に比べて記録密度が高い半面、・記憶保持（リフレッシュ）動作が必要なこと・アクセス速度が(SRAM に比べて)遅いことなどが問題として挙げられます。
本年度は、これらの問題を解決するために、・混載向けリフレッシュ方式[14],[15],[16],[17]・可変ライン・サイズ・キャッシュ方式[18],[19]を提案しました。
今後は、これらの方式の応用を検討していく予定です。

（b）通信制御用 LSI 設計技術
ネットワークを利用して特定用途向けにシステム設計を行う場合、システムの特殊性から生じる特性を利用すると、高度なシステム設計が可能となります。通信のための制御を LSI により高速化するのもその実現手段の一つです。本研究では、最適なシステム設計を実現するための効率的な通信制御
用 LSI 設計手法の確立を目指しています。
本年度は、通信制御用 LSI のコンパイラの開発に着手し、その基本仕様の検討を行いました。
今後は、通信制御用 LSI のコンパイラを実現し、新しい通信制御用 LSI を組み込んだシステム設計

2

方式を提案するとともにネットワークに係わる応用分野へ展開させる予定です。

（c）IC カード LSI 設計技術
ネットワーク上でシステムを構築する場合、セキュリティを確保するのは重要なことです。ネット
ワークセキュリティを LSI によりサポートできれば、システムの信頼性の向上につながります。本研
究では、そのような要求に応えるため、効率的な IC カード LSI 設計手法の確立を目指しています。
本年度は、IC カード LSI の設計に先立ち、暗号技術や LSI 設計に関する標準化の動向等を調査し、暗号を用いて IC カード間で情報を伝達するために必要な LSI の機能や性能の検討を行いました。
今後は、これらの検討結果に基づき、実際に IC カード LSI のプロトタイピングを実現し、企業などとの共同研究に発展させたいと考えています。

（２）システム LSI 設計支援技術（a）システム LSI 設計技術の動向と将来予測
最適なシステム LSI の設計を行うには、システム設計と LSI 設計とを並行して行う必要があるため、今まで以上に設計者間のコミュニケーションが重要になり、新しい設計支援技術が必要となります。
本研究では、システム LSI 設計技術の動向と将来予測を行うことにより、設計支援技術として必要となるものは何なのかを明確にしていきます。
本年度は、システム LSI 設計支援技術に関するロードマップを作成しました。また、国内外の学会のパネルセッションに参加し[12],[13]、システム LSI 設計支援技術の動向と将来予測に関して討論を行いました。

（b） 組み込みプロセッサとコンパイラの開発
近年、システムの大半の処理を１チップで行うシステム LSI が注目を浴びています。このシステム
LSI は、処理の中心的な役割を果たすプロセッサの他に、プログラムやデータなどを格納するメモリやアプリケーションに特有の処理を高速に行う専用回路などを集積しています。この回路の高集積化
は微細加工技術の進歩が支えています。従来は複数のチップで行っていた処理を１チップで行うこと
で、低コスト化、低消費電力化などが実現されます。このシステム LSI を設計する時に、アプリケー
ションに合わせてメモリや専用回路を特化します。さらに必要に応じて（要求性能に応じて）プロセ
ッサも特化することで、システム LSI 全体として処理能力、消費電力及びチップサイズの間でトレードオフを行うことも可能となります[1],[8]。この時、高級言語によるプログラムの開発を実現する
ために、特化したプロセッサに対応するコンパイラが必要になります。
本年度は、九州大学で蓄積されたソフトコア・プロセッサとＣ言語コンパイル技術[2]をベースとして、・信号処理プロセッサを対象としたコンパイラ構成技術
・組み込み/信号処理プロセッサのアーキテクチャーの基本検討を行いました。
今後は、これらの基本モデルの提案を行いたいと考えています。

3

（c）システムのテスト方式と性能評価モデル
設計対象となるシステムが大規模になるにしたがって、再設計による工数が増大します。システム
設計の初期段階でその性能を評価できれば、システムの品質向上と設計工数の低減につながります[6]。本研究では、システムの目的に応じた最適設計を行う場合に、最適化すべき項目間のトレード
オフを設計の初期段階で判定できるような性能評価モデルの提案を目指しています[5]。
本年度は、システム LSI の品質を保証するために不可欠なテスト技術に関して研究を推進し、シス
テム LSI に対する新しいテスト方式を九州大学と共同で提案しました[10],[11]。
今後は、テストと他の LSI の性能尺度との関係を明確にし、提案手法を実際のシステム LSI へ応用する予定です。

（d）特定用途向け遠隔協調設計支援ツールの実装と評価
本研究では、特定用途向けシステムの具体例として LSI 設計をとりあげ、遠隔地間で効率的な LSI設計を実現するための課題を明確にし、それらを解決するために必要なハードウェア、ソフトウェア
及びネットワークを最適化したシステム（LSI 設計ツール）を開発しています[6]。また、ネットワー
ク上でやりとりされるデータは、セキュリティを強化する必要があるため、ネットワーク上で設計データを隠蔽するための技術開発を進めています[7]。
本年度は、九州大学と ISIT との間を ATM スイッチによる高速ネットワークで接続し、LSI を協調設計するためのツールを整備しました。具体的には、IC カード用の LSI を題材として、九州大学の研究者との間で設計仕様書や設計用ツールを共有して協調設計を行い、課題の抽出等を行いました。
今後は、これまでの知見に基づき、人間と計算機とのインターフェースの観点から、九州大学と共同で研究を発展させる予定です。

（３）計算機教育手法
昨今、PC（パソコン）の低価格化とインターネット・インフラの整備が進み、容易に情報の送受を行うことが可能となってきました。また、私達は、パソコンだけでなく家電製品、自動車、玩具、電話、テレビ、カメラなどコンピュータが組み込まれた機器を日常生活で常に使用しています。これに対して、一般の人々の情報技術に関する知識は必ずしも十分とはいえません。今後さらに進展すると予想される社会の情報化の中で、情報技術の誤った認識や使い方による混乱が発生しないよ
うにするために、情報技術に関する知識を社会常識として確立することが必要です[3]。ここで重要なのは「コンピュータは故障でない限りプログラムされた通りに動作する」という点であり、万一意
図しない動作をコンピュータが行った場合、その原因について物理的な故障、プログラムの不備、正常でない使い方、故意の操作などのあらゆる原因を想定して対応することが求められます。
本研究では、コンピュータに関する基本知識を小中学生にわかり易く教える手法に関する研究を進めています。そのひとつの試みとして、８月２４日には「体験！マイコン・ロボット・ラボ」という教室を開催しました。小中学生２２名にコンピュータ・プログラミングの基本原理などを解説し、実際にマイコンを搭載したロボットの操作を体験してもらいました。このイベントは、朝日新聞や西日本新聞など４紙でとりあげられ反響を呼びました。

4参考文献：[1] 安浦寛人, 冨山宏之, 井上昭彦, 清水友人, 伊達博, 神原宏之, “ソフトコアプロセッサによるシステム設計の手法とツールの研究”, 第１５回技術発表会論文集, IPA Vol.15, pp.311-322, 1996/10[2] 冨山宏之, 井上昭彦, 清水友人, 神原弘之, 安浦寛人, “ハードウェア/ソフトウェア・コデザインのためのビット数指定言語 Valen-C とその処理系の開発”, 情処研報 DA 研究会, 1996/12[3] 安浦寛人, “常識としての計算機教育”, 電子情報通信学会誌, 1996/9[4] 伊達博, “並列 LSI-CAD における成果と課題”.情報処理, 第 37 巻, 第５号,
pp.436-443, 1996/5[5] 伊達博, 安浦寛人, “実数値シミュレーションに基づくテスト容易性評価
モデル”, 電子情報通信学会研究会（VLD96-64）, pp71-75, 1996/10[6] 伊達博, “システム性能予測モデルと特定用途向けシステム設計の体系化”,
情報処理学会「問題発見とモデル化 ―現場の実例― シンポジウム」,1996/12[7] 山崎重一郎, 桑山雅行, 伊達博, 荒木啓二郎, “地域型電子認証実験について”, SCIS'97(海の中道), Proceedings, 11C, 1997/1[8] 井上昭彦, 冨山宏之, エコーファジャル, 大隈孝憲, 安浦寛人, “システム・オン・シリコン時
代の特定用途向けシステム設計手法”, 情処研報 DA 研究会, 1996/12[9] 石原 亨, 安浦 寛人, 甲斐 康司, “マイクロプロセッサにおけるアーキテクチャーレベルでの低消費電力化手法”, 信学技法（VLD96-72）,pp.57-64, 1996/12[10] 杉原真, 伊達博, 安浦寛人, “コアによって構成されるシステム LSI のテスト時間最小化問題”,
FTC 研究会, 1998/2[11] 杉原真, 伊達博, 安浦寛人, “コアによって構成されるシステム LSI のテスト時間の最適化問
題”, 電子情報通信学会総合全国大会, 1998/3[12] 伊達博,“パネルセッション：システムオンシリコン時代の CAD/DA ツールはどうあるべきか？”,
電子情報通信学会（ICD/VLD）合同研究会, 1998/3[13] Hiroshi Date, "Panel session: Verification of Embedded Systems; Whereare we?

Where dowe need to go?", IEEE Interional High Level Design Validation and Test Workshop, California,
1997/11[14] Koji Kai, Taku Ohsawa and Kazuaki Murakami, "A DRAM Refresh Architecture for Merged
DRAM/Logic LSIs", Technical Rept of IEICE （ICD97-77, SDM97-65）pp.151-158, 1997/7[15] 大澤 拓, 甲斐 康司, 村上 和彰, “DRAM/ロジック混載 LSI 向け DRAM リフレッシュ・アーキテ
クチャの評価”, 信学技報（VLD97-119）, pp.53-60,1998/3.
[16] Koji Kai, Akihiko Inoue, Taku Ohsawa and Kazuaki Murakami, “Analyzing and Reducing the
Impact of Shorter Data Retention time on the Performance of Merged DRAM/Logic LSIs (inEnglish)”, PPRAM-TR-31, 1998/2
http/kasuga.csce.kyushu-u.ac.jp/~ppram/japanese/ppram_internal.html[17] Taku Ohsawa, Koji Kai and Kazuaki Murakami, “Evaluating DRAM Refresh Architectures for
Merged DRAM/Logic LSIs (in English)”, PPRAM-TR-30, 1998/2
http://kasuga.csce.kyushu.ac.jp/~ppram/japanese/ppram_internal.html

5

[18] Koji Inoue, Koji Kai and Kazuaki Murakami, “High Bandwidth, Variable Line-Size Cache
Architecture for Merged DRAM/Logic LSIs (in English)”, PPRAM-TR-29, 1998/2
http://kasuga.csce.kyushu-u.ac.j~ppram/japanese/ppram_internal.html[19] Koji Inoue, Koji Kai, and Kazuaki Murakami, “Dynamically Variable Line-Size Caes
Exploiting High On-Chip Memory Bandwidth of Merged DRAM/Logic LSIs (in English)”, PPRAM-TR-33,
1998/3
http://kasuga.ce.kyushu-u.ac.jp/~ppram/japanese/ppram_internal.html

１．１．２

第２研究室（荒木研究室）

構成員：
研究室長

荒木

啓二郎

研究員

張

漢明

山崎

重一郎

後藤

幸功

持尾

弘司

長田

義行

中尾

英樹

宮本

由美

研究助手

事務補助

（平成１０年３月３１日 現在）

第２研究室の研究テーマは、「ソフトウェア設計手法とネットワークシステム」です。近年のインターネットにおける WWW（World Wide Web ）に象徴されるようなコンピュータ及びコンピュータネッ
トワークの急速な一般社会への浸透は、一般市民生活に大きな影響を与えており、コンピュータネッ
トワークシステムの技術と社会システムの融和を図ることが、来るべき２１世紀の社会における大きな課題の一つです。とりわけ、コンピュータ及びネットワークシステムの品質に対する信頼性・安全性の保証は重要な社会問題として認識されており、信頼性の高いコンピュータ及びネットワークシス
テムを効率良く設計・構築するための技術開発が望まれています。
第２研究室では、ソフトウェア設計手法とネットワークシステムに関する研究開発を通して、コン
ピュータ技術と社会システムとの関わりを明らかにしていきたいと考えています。具体的には、以下の３つの研究テーマを掲げています。
●系統的なソフトウェア開発手法●品質保証・ネットワーク構築技術●ネットワーク上における社会・経済システムの構築「系統的なソフトウェア開発手法」に関する研究では、実用規模のソフトウェアシステムの開発に
形式仕様に基づく系統的方法を適用した事例を示し、実用性と適用性の高いソフトウェア開発法ならびに支援ツールの実現を目指しています。「品質保証・ネットワーク構築技術」に関する研究では、
インターネット上における通信に対して品質の保証を与える技術及び品質保証サービスの実現方法

6

と運用管理技術についての研究を行っています。「ネットワーク上における社会・経済システムの構築」に関する研究では、インターネット上における社会システムや経済システムを構築するための基
本・応用技術の研究開発を行っています。
そして、ネットワークならびに情報処理の基礎技術を基に、それらを応用してシステムを構築する
技術、それらを利用することと人間社会生活とのかかわりなど、広範な問題に取り組んでいきたいと考えています。特に、利用者の個々の状況にあわせることができ柔軟で、いわゆる人にやさしいシス
テムに関する研究開発を、公共サービスや教育といった利用分野の専門家との協力のもとに、社会シ
ステムと技術との融和を図りながら行っています。

（１）系統的なソフトウェア開発手法
コンピュータの応用領域が爆発的に広がるにつれて、より高度で複雑な処理を行う、より大規模な
ソフトウェアを開発しなければならないという社会的要請はますます大きくなるばかりです。しかしながら、ソフトウェア開発技術は、他の工業的製品や工業的建造物などに比べるとまだまだ未発展の段階にあります。従って、複雑で大規模なソフトウェアを効率良く開発するための要素技術の開発及び開発方法論を確立することが急務となります。
本研究では、高品質のソフトウェアシステムを効率良く開発するための方法を提示し、それを支援するツールを開発することを目的としています。このために、形式仕様を中心に据えながら、様々な観点からシステムのモデル化、記述、分析を首尾一貫して行うことを可能とすることによって、形式的開発法の適用性を高めることを目指しています。

（a）複数の言語を用いたソフトウェア開発技術
ソフトウェア開発における、仕様記述からプロトタイプ開発、実装までの工程のそれぞれの関連を調べるために、形式仕様記述言語 Z、関数プログラミング言語 ML、オブジェクト指向プログラミング
言語 Smalltalk を用いてソフトウェア開発の実験を行いました[1]。 Z と ML 間の関連及び ML のモジ
ュール機構と Smalltalk の間の関連を明らかにすると共に、複数言語を用いたソフトウェア開発手法の有用性を示しました。仕様記述から実装までの関連づけを明確にすることにより、開発プロセスの再利用性及びソフトウェアの保守性の向上に大きく寄与することが期待できます。

（b）セキュリティプロトコルの仕様記述と安全性の検証
セキュリティプロトコルは、インターネットの急激な発展に伴い、今後予想される電子商取引を安全に行うための重要な技術です。本研究では、プロトコルの記述を厳密に行い、そのプロトコルが安全であることを保証するための方法論の確立を目指しています。
本年度は、実際の具体的なセキュリティプロトコルを例にとり、プロトコルの形式的な仕様記述とネットワークからの攻撃に対する安全性を保証するための方法についての研究を行いました。具体的には、形式仕様記述言語 RSL（RAISE* Specification Language）を用いて、ネットスケープ社の SSL（Secure Socket Layer）プロトコルの仕様を記述し、また、SSL の仕様書で想定されているネットワークの攻撃を RSL を用いて記述することにより、想定されている攻撃に対して SSL が安全であることを検証しました[2][3]。本研究を通して、プロトコルの本質的な理解を促進するために、形式仕様記

7

述が有効であることと、RSL による仕様レベルでのプロトコルの安全性の検証が有効であることを確認しました。
今後の課題としては、安全性を示すための具体的な検証条件を提示すること、検証手法の体系化、支援環境の整備が挙げられます。

*RAISE：ソフトウェアの形式的開発手法のひとつで、Rigorous Approach toIndustrial Software Engineering の略（c）要求定義を行うための記述・分析技術
システムの要求仕様を利用者と開発者の間で共有し、利用者と開発者の両者間でコミュニケーショ
ンを円滑に効率よく行うための記述・分析手法に関する研究を行いました。大規模システム開発においては、要求仕様の誤りが下流工程で検出され、その修正・変更が頻発し、手戻り作業が多く、納期、コスト等に深刻な影響を及ぼしています。そこで、本研究では、システム利用者の要求（意図）とシステム仕様の関連づけを明確にするために、いつ（When）、どこで（Where）、誰（Who）
が、何（What）をするのかを記述するための 4W ダイアグラムを中心にして、システムの要求定義を行うための方法論の確立を目指しています。
本年度は、4W ダイアグラムの表記法を提案[4]し、4W ダイアグラムを記述するためのエディタのプ
ロトタイプの開発を行い、本研究の基礎づけを行いました。
今後、4W ダイアグラムの形式的な定義及び時間の関係を詳細に記述するためのペトリネットの応用、分析手法の提案を行っていく予定です。

（２）品質保証・ネットワーク構築技術
本年度は、我々が研究を進めてきた RSVP（Resource ReSerVation Protocol）が IETF（Internet
Engineering Task Force）において標準化されました。この標準化により、インターネット上での音声、動画像を用いたマルチメディア通信のためのアプリケーションやサービスにおいて RSVP の導入が予測されます。しかし、RSVP の標準化されたプロトコルでは、アプリケーションが要求する品質を保証するための QoS（Quality of Service）パラメータが規定されていないため、RSVP を直ちに
マルチメディア通信のためのアプリケーションへ導入することは困難です。そこで、第２研究室ではユーザがアプリケーションへ要求する QoS パラメータと、アプリケーションがネットワークへ要求する QoS パラメータについて考察・検討し、RSVP のための QoS パラメータの標準化に向けて研究を進めています。また、アプリケーションが要求する QoS パラメータと、ネットワークが提供するネットワークパラメータには相違があります。そこで、アプリケーションとネットワークとの間で QoS
パラメータを変換するためのプロトコルについても研究を進めています。この研究成果として、現在
ATM ネットワークを用いて構築したインターネット上で、動画を転送するアプリケーションを共同研究により試作しました。このアプリケーションの試作を通してユーザが動画通信用のアプリケーショ
ンへ要求する QoS パラメータについての考察と、アプリケーションから要求された QoS パラメータをネットワークが品質保証可能なパラメータへ変換するためのプロトコルについての考察を進めています。また、この実験環境として九州通信ネットワーク（株）との共同研究のために整備した ATM ネ

8ットワーク網を用いています。このネットワーク上では、試作された動画通信用アプリケーションを
九州大学、九州通信ネットワーク（株）との間で使用し、その評価を行うなど、ATM ネットワーク上を用いたインターネットの品質保証に関する研究を進めています。

（３）ネットワーク上における社会・経済システムの構築（a）デジタル認証技術
デジタル認証とは、暗号技術を使ってネットワーク上で相手の本人確認を行う技術です。
本年度は、「認証の 3 権威分立モデル」に基づいた地域型認証システムを提案し[17],[18]、プロ
トタイプを実装してデモを行いました[16]。第２研究室が提案する 3 権威分立モデルによる認証は、現在の認証システムの大きな問題点である証明書の交換や公平性の確保が可能であるため、地方自治体などで運営する認証システムに適した方法と言えます。また、デジタル認証の基礎技術の一つであるゼロ知識対話証明の研究にも取り組みました[12],[14]。
また、デジタル認証の基盤に関する研究を実証的に進めるとともに地域にその知見を伝播させることを目的として地域の有志からなる福岡オンライン認証実験 WG を立ち上げ、分科会、チュートリア
ル、シンポジウム、公開デモなどを開催しました。
分科会は、「ネットワーク分科会」「認証局分科会」「電子決済分科会」「地域の情報化と学校分科会」の４つを作りました。ネットワーク分科会では、地域ネットワーク momonet に関する議論を行い、その構築を行いました。本年度は 8 社が momonet に接続しました。認証局分科会では、ISIT の認証局の運営方法などについての議論を行い、認証局の構築方法のレクチャー[20]や実験のための運用規定を作成しました。電子決済分科会では、電子決済の実現方法について議論を行いプロトタイプの試作を行いました。地域の情報化と学校分科会では、地域ネットワークを教育に適用する方法について実際に教育に携わっている方々と意見交換を行いました。これ以外にデジタル証明書を実際に発行する機関である RA（Registration Authority）を運用するために「RA 友の会」という組織を編成し、RA システムのインストールやネットワークへの接続などを行いました。
福岡オンライン認証実験 WG として本年度に２回の大きなイベントを行いました。一つは８月１日に開催した「地域型オンライン認証シンポジウム」です。１６０名の参加があり、朝日新聞にもとりあげられました。もう一つは１２月２２日に開催した公開デモです。この公開デモで、実際にデジタル認証システムを使って証明書を発行したり、注文や決済を行ったり、事故が起きたときの対処方法を実演することができました。こちらも朝日新聞、西日本新聞などで報道されました。
また、毎月発行するニューズレターによって福岡オンライン認証実験 WG で行われた実験の内容などを公開しました。さらにこの情報はインターネットのホームページを通じても公開しました。また、
福岡オンライン認証実験 WG のためのメーリングリストを開設し、このメーリングリストの上でも多くの情報公開とディスカッションを行いました。

（b）モバイルエージェント技術
モーバイルエージェントとはネットワーク上を移動するプログラムで、この技術を使うとネットワ
ーク自体を巨大な並列計算機とみなして社会システムや経済システムのようなアプリケーションを作ることができるようになります。

9

本年度の主な研究成果は、まずモバイルエージェントとそれを利用するユーザーとの間の安全な相互認証の方法を提案したことです[9]。モバイルエージェントは、遠隔地で自律的に動作するために、第三者による改造や内部情報の解析などの攻撃を受ける危険性がありますが、秘密分散とゼロ知識対話証明を組み合わせることによってこの問題の解決方法を実現しました。この方法は今後モバイルエージェントの安全性を高めるため、ネットワークを移動できる IC カードのように利用できる可能性があります。
また、モバイルエージェントを利用して、小売店サーバーによる注文処理と金融機関サーバーにおける決済処理など、全く異なる複数の認証ドメインのサービスを統合的に利用する方法を提案しました[13]。この方法のポイントは、デジタル証明書の中にその証明書の利用ポリシーを埋め込まずに外付けにするという「認証の 3 権威分立モデル」と、SMTL（Seure Mobile Transaction Layer）というネットワーク層を設けることによって抽象化された一定のインターフェースを共有することにより、全く異なるサービスの上でもエージェントを移動可能にすることにあります。

参考文献：[1] 張 漢明, 田中 俊行, 荒木 啓二郎, “Z,ML,Smalltalk によるソフトウェア開発の試み”, ソフ
トウェア・シンポジウム'97（福岡市）論文集, p.148-155, 1997/6[2] 田中 俊行, 張 漢明, 田口 研治, 荒木 啓二郎, “RSL によるセキュリティプロトコルと攻撃の仕様記述”, 平成 9 年度電気関係学会九州支部連合会大会（沖縄）論文集, p.198, 1997/10[3] Toshiyuki Tanaka, Han-Myung Chang, Kenji Taguchi and Keijiro Araki, “Formal Specification
and Verification of Security Protocol in RSL”, International Symposium on Future Software
Technology-97(Xiamen, China), pp.143-150, 1997/10[4] Han-Myung Chang, “A Practical Approach to Formal Methods on System Development”, Joint
Workshop on System Development (Pohang, Korea), 1997/12[5] 後藤 幸功, 長野 央, 荒木 啓二郎, “RSVP を用いた動画像アプリケーションについて”, 情報処理学会研究報告（97-DPS-85-20）pp.115-120, 1997/11[6] Yukinori Goto, Masataka Ohta and Keijiro Araki, “Path QoS Collection for Stable Hop-by-Hop
QoS Routing”, Internet Society, INET'97, 1997/6[7] 後藤 幸功, 荒木 啓二郎, “資源予約のためのインターネット経路制御”, 情報処理学会 平成９年度電気関係学会九州支部連合大会, 論文集 p.726, 1997/10[8] 児玉 修一, 後藤 幸功, 石川 修一, 荒木 啓二郎, “インターネットを用いた遠隔協調作業の実
験”, 情報処理学会 平成９年度電気関係学会九州支部連合大会, 論文集 p.730, 1997/10[9] 山崎 重一郎, 荒木 啓二郎, “モバイルエージェントの相互認証方法の提案”, 情報処理学会マルチメディア, 分散、協調とモーバイルワークショップ論文集, pp.605-610, 1997/7[10] 山崎 重一郎, “インターネットコマースとオンライン認証”, マルチメディア懇話会講演資料,
1997/7[11] 山崎 重一郎, 須賀 祐治, “デジタル認証入門”, 福岡オンライン認証実験シンポジウム資料,
1997/810

[12] 須賀 祐治, 山崎 重一郎, 荒木 啓二郎, “自己双対符号を用いたゼロ知識証明プロトコルの提案”, 平成９年度電気関係学会九州支部連合大会, 601, p.273, 1997/10[13] 山崎 重一郎, 須賀 祐治, 荒木 啓二郎, “モバイルエージェントによる電子発注と電子決済の統合モデルの提案”, 第８５回情報処理学会マルチメディア通信と分散処理研究会（97-DPS-85-22）,
1997/11[14] 須賀 祐治, 荒木 啓二郎, “アソシエーションスキームを用いたゼロ知識証明プロトコルの提案”, 第８５回情報処理学会マルチメディア通信と分散処理研究会（97-DPS-85-3）, pp.13-18, 1997/11[15] 山崎重一郎, “ISIT デジタル証明書運用規定書 V1”
http://www.momonet.k-isit.or.jp/spec/CA-management-v1/index.html,
1997/11[16] 山崎 重一郎, “デジタル認証のデモ”, デジタル認証のデモプレゼンテーション資料, 1997/12[17] 山崎 重一郎, 須賀 祐治, 村上 美幸, 荒木 啓二郎, “認証、証明書発行、利用ポリシー適用の 3 権威分立モデルの基づく認証システムについて”, 情報処理学会マルチメディア通信（98-DPS-85-8, 98-GW-26-8）, 1998/1[18] 須賀 祐治, 山崎 重一郎, 荒木 啓二郎, “認証局の３権威分立モデルに基づく認証システムの運用”, 1998 年暗号と情報セキュリティシンポジウム（SCIS'98）, 3.3.C, 1998/1[19] 山崎 重一郎, “インターネットとデジタル認証”, テレトピア推進協議会講演資料, 1998/2[20] 山崎 重一郎, 桑山 雅行, “実践デジタル認証入門”, 福岡オンライン認証実験 WG 認証局分科会資料, 1997/5

１．１．３

特許出願

今年度は、LSI 設計及びネットワークシステムに関する特許を４件出願しました。（前年度は２件）

１．２

受託研究

受託研究は比較的短期の研究、調査、指導などの受託を行うもので、本年度は以下の内容について実施しました。

（１）数値演算マイクロコア開発（平成 8 年度から継続）
デジタル信号処理などの算術演算を高速に行うための新しい演算器アルゴリズムを用いた設計に関する研究及びコンサルティングを実施しました。本年度は、平成 8 年度の乗算器及び除算器に引き続き、複雑な平方根及び三角関数の演算器について行いました。

（２）2002 年に向けた LSI 設計ニーズ調査（平成 8 年度から継続）
本年度は、米国を始め広く世界有数の LSI 設計者や CAD 研究者へのインタビュー、文献資料調査、学会での情報収集等を行い、2002 年に向けた LSI 設計に関するニーズ調査の結果を EDA（Electrical
Design Automation）技術ロードマップとして完成させました。

11

（３）オブジェクト指向と形式的手法に基づく病院システム開発に関する研究（平成 8 年度から継続）
電子カルテを開発するための基礎研究として、信頼性の高いシステム、特にセキュリティが求められるシステム開発における仕様記述及び検証技術に関する研究とネットワーク上に安全なアプリケーションシステムを構築するための構築モデルに関する研究を行いました。

（４）Valen-C コンパイラ自動生成システムの開発に関する研究
昨年度開発に携わったソフトコアプロセッサによるシステム設計環境（プロトタイプシステム）を基にして、Valen-C コンパイラ自動生成システムの開発に関する研究を行いました。

（５）ソフトウェア及びネットワークシステムの開発法に関する研究（平成 8 年度から継続）
信頼性の高い分散システム開発を効率よく行うための形式的手法を基にしたソフトウェア開発手法・開発環境に関する研究を行いました。本年度は特にネットワーク上におけるコンピュータ間の通信の安全性を保証することを目的として、コンピュータ通信を行うための規約が安全であることを形式的に証明するための調査、研究及びコンサルティングを行いました。

（６）FPSA における C コンパイラの研究
FPSA（Field Programmable Sequencer Array）のアーキテクチャ（多機能半導体デバイス）を考慮したコンパイラの仕様に関する研究を行いました。

（７）中央ふ頭地区コンベンションゾーン整備に関する情報インフラ基礎調査
福岡市が今後整備を予定している国際会議場を主としたコンベンションゾーンの整備に対して、プ
レゼンテーション設備を中心とした情報インフラのあり方についての調査を行いました。

（８）Valen-C コンパイラ英文仕様書並びに英文ホームページ作成
昨年度開発に携わったソフトコアプロセッサによるシステム設計環境（プロトタイプシステム）の主な成果物である Valen-C コンパイラを広く海外に普及することを目的として、英文仕様書並びに
英文ホームページを作成しました。

１．３

共同研究

一企業や一組織では行い難い研究テーマや、単独でやるよりも複数の企業や組織で進めた方が効果的な技術などについては共同研究を行っています。本年度は以下のテーマについて進めてきました。

（１）企業との共同研究（a）高速コンピュータ・ネットワーク運用管理手法と利用技術に関する研究

12

（b）マルチメディア・コンテンツ・オーサリング支援及びマルチメディア通信システムに関す研究（２）九州大学大学院システム情報科学研究科及び同工学部情報工学科との共同研究
九州大学との間で、ソフトウェア及び計算機ネットワークに関する共同研究を行いました。

（３）WIDE* プロジェクトへの参加
WIDE プロジェクトに参加し、インターネットにおけるネットワーク品質に関する研究を行いました。

（４）計算機教育 WG（Working Group ）計算機及び通信ネットワークなどの動作原理をわかりやすく教育・学習する方法を確立するための活動を行いました。地域の子供達を対象として行ったマイコン・ロボット・ラボは、多大な反響がありました。

*WIDE（Widely Integrated Distributed Environments ）プロジェクト：
オペレーティングシステム技術と通信技術を基盤とした新しいコンピュータ環境の確立を目指す国内の研究プロジェクト（代表 村井 純：慶応大学教授）

13

２

交流事業

発展性ある研究活動を支えるため、いろいろな交流事業を推進しました。交流事業の目的は、賛助会員、福岡 SRP センタービル入居企業、地場情報関連企業、コンピューターメーカー、大学、行政、
ISIT の研究員相互の技術交流及び国際的な産学官交流を促進することにより、情報技術の発展と地域
情報関連産業の振興を図ることです。具体的には、節目節目で行う各種イベント、定期交流会、国内
研究交流事業、海外研究交流事業などを行いました。

２．１

主要イベント（１）地域型オンライン認証シンポジウム
─インターネットと地域から世界へ向かう社会インフラ─・日時：平成９年８月１日（金）１０：００～１７：３０

・会

場：福岡 SRP センタービル２階

・主

催：（財）九州システム情報技術研究所

・協

賛：九州地域研究ネットワーク協会（KARRN）

・後

援：九州通商産業局、福岡市・参加費：無SRP ホール

料・参加者：１６０名

・プログラム：◆地域型オンライン認証 WG 活動報告

◆講オンライン認証実験経過報告

ISIT

山崎 重一郎

デジタル認証入門

ISIT

山崎 重一郎、須賀 祐治

個人認証等に関する事例報告

システムラボラトリー（株）

花田 正勝

演
電子マネーの制度面の課題とセキュリティー
日本銀行
医療情報とデジタル認証

浅田 徹

大阪医科大学

山本 隆一

ICAT の広域認証実験 奈良先端科学技術大学院大学

山口 英◆パネル・ディスカッションテーマ：

デジタル認証インフラはなぜ必要なのか？

コーディネーター： 外山 吉計（システムラボラトリー（株））
パネリスト ：

山口 英（奈良先端科学技術大学院大学）、山本 隆一（大阪医科大学）、
浅田 徹（日本銀行）、大串渉（福岡市）、山崎 重一郎（ISIT）

今日ではコンピュータネットワークが経済活動や社会活動の場として大衆化してきています。しかしながら、オンラインによる電子商取引や高度な社会サービスを実現するためには、ネットワーク上での認証証明を実現する必要があります。
このため、ISIT は、ネットワークインフラから社会システムまでの多様な観点からの知見の収集と、14

草の根的な実証実験を通じて認証技術の実用化の道を開拓するため、平成８年１２月より福岡地域を中心に広く北部九州の多種多様な業種の企業を対象とした地域型オンライン認証 WG を企画・運営してきました。
今回のシンポジウムでは、この地域型オンライン認証 WG の活動内容の報告と、地域型の認証が今後のインターネット化社会になぜ必要で、どのように活用されていくのかを説明し、オンライン認証
が地域に根付いていくことを目的としたパネルディスカッションを実施しました。

（２）第２回大学の先生方の見学会
・日時：平成９年９月１日（月）１６：００～１８：００

・会場：（財）九州システム情報技術研究所

・参加者：１３名
大学と ISIT との連携を深めることを目的として、関連のある大学の先生方に ISIT の活動状況を説明し、研究所を見学していただきました。

（３）「ソフトウェアとベンチャーキャピタルビジネス」講演会
・日

時：平成９年９月２４日（水）１５：３０～１７：３０

・会

場：福岡 SRP センタービル２階

・参加費：無視聴覚研修室料

・講演者：セガソフト（米国）会長兼 CEO

三井 信雄

・テーマ：ソフトウェアとベンチャーキャピタルビジネス
・参加者：３４名（賛助会員限定）
地域の情報関連産業の経営者や技術者に対して、米国と日本とのソフトウェア開発力の差、米国における新産業創出のダイナミズムなどをベンチャーキャピタルの視点から平易にかつ厳しく解説されました。

（４）Joint Workshop on System Development
・日時：平成９年１１月８日（土）～９日（日）・会場：浦項工科大学校（韓国）・主

催：ソフトウェア技術者協会、浦項工科大学校（韓国）（財）九州システム情報技術研究所

浦項工科大学校（韓国）において、ソフトウェア設計手法に関するワークショップを盛会裏に実施することができました。 ISIT からは、長田所長も参加し、荒木室長、張研究員及び伊達研究員の３名が発表しました。

（５）賛助会員の見学会
・日時：平成９年１１月２１日（金）１６：００～１８：３０

・会

場：（財）九州システム情報技術研究所

・参加者：３０名

15

ISIT の運営に日頃から多大なご協力をいただいている賛助会員の方々に一層の理解を求め、今後も共同研究などによる連携を深めるため、活動状況を説明し、所内を見学していただきました。

（６）「デジタル認証デモ」見学会
・日時：平成９年１２月２２日（金）１０：００～１２：００

・会場：（財）九州システム情報技術研究所

・主

催：（財）九州システム情報技術研究所

・協

賛：九州地域研究ネットワーク協会（KARRN）

・参加費：無料

・参加者：６０名
地域型オンライン認証 WG の一年間の活動成果を関係者の方々に広くご理解いただくことが、オンライン認証基盤が地域に根付いていくための第一ステップと考え、報道発表を含めたデモを実施しました。

（７）「Mars PathFinder Project における画像処理」講演会
・日

時：平成１０年３月２０日（金）１６：００～１７：３０

・会

場：福岡 SRP センタービル２階

・主

催：（財）九州システム情報技術研究所

SRP ホール

九州大学大学院システム情報科学研究科
知能システム学専攻
・参加費：無認知科学講座料・講演者：Theodore Thomas Blackmon（セオドア・トーマス・ブラックモン）
NASA AMES Research Center
University of California at Berkeley
・テーマ： Mars PathFinder Project における画像処理
・参加者：８１名
Mars PathFinder（火星探査計画）は、昨年アメリカの NASA で行われた低コスト惑星探査ミッショ
ンで、火星表面への低コスト着陸と探査の可能性を証明することを目指したプロジェクトです。着陸船と地球間の通信技術や画像処理技術等が世界の注目の的となりました。この講演会では特に、火星探査機から送信されてきた video 信号の３次元画像処理について解説していただきました。
なお、本講演会では ISIT の山本薫研究助手が通訳を行い、英語講演の理解を深めるのに多大な貢献をしました。

（８）「ボランタリー経済について」講演会
・日時：平成１０年３月２３日（月）１５：００～１６：３０

・会

場：福岡 SRP センタービル２階

・主

催：（財）九州システム情報技術研究所

・後

援：九州地域研究ネットワーク協会、（社）情報処理学会九州支部

SRP ホール

16

・参加費：無料・講演者：慶應義塾大学
総合政策学部

湘南藤沢キャンパス大学院
政策・メディア研究科

教授

金子 郁容

・テーマ：ボランタリー経済について
・参加者：７２名
インターネット化された社会の将来像を予測するには、これからの社会や経済に対する新しい視点が必要です。ネットワーク組織論やボランティア論やインターネット社会についての研究で活躍されている金子郁容教授に、最近の著書「ボランタリー経済の誕生」（実業之日本社刊）の内容を中心に地域コミュニティの再生が持つ経済的な意味やローカルマネーの可能性などについて講演していただきました。

（９）第１回 ISIT 研究交流会
・日時：

平成１０年３月２７日（金）１３：００～１７：３０

・会場：

福岡 SRP センタービル２階

視聴覚研修室及び（財）九州システム情報技術研究所
・参加費：

無

料

・参加者：

４０名

・プログラム◆研究内容説明
1.

研究活動概況説明

次長

森光 武則

2.

研究内容説明及びデモンストレーション「システム LSI 設計：ATM スイッチを用いた協調設計」（システム LSI の設計支援技術に関するロードマップの紹介と協調設計環境の実演）
第１研究室研究員 伊達 博
「DRAM/ロジック混載 LSI におけるメモリ・アーキテクチャ」（混載の特徴を活かしたメモリ・アーキテクチャを提案）
第１研究室研究員 甲斐 康司「ソフトウェア開発における形式的手法の適用」（形式的手法の紹介と実際のソフトウェア開発への実用化技術について）
第２研究室研究員 張 漢明
「インターネット上での認証サービスについて」（インターネット社会のセキュリティ向上とプライバシー保護を実現する基盤技術）
第２研究室研究員 山崎 重一郎「認証登録機関 (Registration Authority) における証明書管理」（デジタル証明書発行機関の認証業務の分散を目的としたシステムの紹介）
第２研究室研究員 須賀 祐治「インターネットにおける QoS 保証通信の実現に関する研究」（ATM を用いたインターネット上での品質保証された動画像通信の実現方法）

17

第２研究室研究助手

後藤 幸功◆オープン・ラボ（研究室公開 Q&A）及び懇親会
ISIT の具体的な研究内容を地場の研究者・技術者に知っていただくために ISIT 研究交流会を開きました。「時間が少ない」、「もっと詳しく理解したい」という意見も多く、これらの意向を反映して、これからも継続することとしました。

２．２

定期交流会

地場の情報関連企業と福岡ソフトリサーチパーク立地企業、大学、行政、ISIT の研究者などとの交流を図るとともに、情報技術に関する最新動向の情報提供を目的として、２か月に一度（偶数月中旬の金曜日目途）定期交流会を参加費 2,000 円で開催しています。毎回１時間半程度の講演・質疑応答
後、軽食を取りながらの懇親会を実施しています。どなたでも参加できます。

（１）第８回定期交流会
・日時：平成９年４月１８日（金）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

視聴覚研修室・講師：福岡工業大学

教授

情報工学科

荒屋 真二

・テーマ：ＶＲＭＬの概要と仮想世界構築環境の現状
・参加者：５７名
ＶＲＭＬ（Virtual Reality Modeling Language）は３次元仮想世界をＷＷＷ上に構築するための言語標準です。これは限られた人々だけのものであった仮想現実をインターネットに接続可能なだれもが利用できるようにする基盤を提供します。今回はバーチャル・カレッジを中心に、ＶＲＭＬによって具体的にどんなことができるかを解説し、基本的な制作手順と制作環境の現状を紹介しました。

（２）第９回定期交流会
・日時：平成９年６月１３日（金）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

・講師：（株）安川電機

研修室１

技術開発本部

技術部長

濱田 兼幸

・テーマ：ＦＡコントローラーの展望について
・参加者：４３名
最近のＦＡ（Factory Automation）機器は、部品メーカーのみならず、顧客とも強力なパートナー
シップを築くため、ボーダレスでオープンな対応が求められています。このため、ＰＣ（パソコン）を採用し、アウトソーシングを活用するとともに、メーカーの独自性を出すための様々な工夫がなされ、これからますます広がっていくＦＡコントローラーの世界の展望を紹介しました。

（３）第１０回定期交流会
・日時：平成９年８月２２日（金）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

・講師：（株）東芝

九州支社

研修室１

情報システム技術部長

18

溝辺 慶一

・テーマ：PDM（Product Data Management）の概要と適用動向について
・参加者：３５名
PDM（Product Data Management）は、製造業の情報システムで、最近しばしば話題になるソフトウ
ェアです。PDM は製品を定義するデータ（部品構成表、部品図面、部品番号、イメージデータなど）を管理するためのツールです。今回は PDM システムの位置づけ・構造・機能・実現方法をわかりやすく解説し、更に今後の適用動向についても紹介しました。

（４）第１１回定期交流会
・日時：平成９年１０月２４日（金）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

・講師：（株）アイアイジェイ九州（IIJ 九州）

SRP ホール
所長

平尾 一浩

・テーマ：インターネット／イントラネット
・参加者：７２名
インターネットを取り巻く環境は日々進歩を続けていますが、世界的な流れから見ますと問題を含んでいる部分もあります。これらのインターネットに関する最新の動向を中心に、企業におけるイン
トラネットの導入形態、方法などについて紹介しました。

（５）第１２回定期交流会
・日時：平成９年１２月１０日（水）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

・講師：九州大学大学院

研修室１

システム情報科学研究科（（財）九州システム情報技術研究所

博士後期課程

第２研究室

後藤 幸功

研究助手）

・テーマ：インターネットとマルチメディア放送
・参加者：６１名
インターネットは「一般情報インフラ」へと発展し、様々な情報を提供するために高速な通信網を使って構築されるようになりました。そして、様々なメ 0 ディアと結び付きマルチメディア放送への可能性を示しています。インターネットで音声・映像などのマルチメディア通信を行うための技術的問題点とその有効な解決策を紹介するとともに、将来インターネットでサービスされるマルチメディ
ア放送の可能性とその展望をデモを交えて紹介しました。

（６）第１３回定期交流会
・日時：平成１０年２月１３日（金）１６：００～１８：３０

・会

場：福岡 SRP センタービル２階

・講師：三菱電機（株）

研修室１

ビジョン２１事業化推進センター

ウェルネス事業推進プロジェクトグループ

参事

前田 満雄

・テーマ：情報技術を用いたウェルネスシステムの開発について
・参加者：３７名
世界初のニューロ技術画像認識によるがん治療「病理診断システム」、バーチャルリアリティの森

19

林浴でベッド上でのリハビリを可能にする「ベッドサイドウェルネスシステム」、妊婦が自宅でパソ
コン端末を利用して母子ともに診療を受けられる「在宅支援システム」について、ビデオを交えて実証試験の現状を説明しました。
「ベッドサイドウェルネスシステム」では、液晶広角画面に「ステップ動画方式」を採用すること
により、酔いの少ない自然な移動感覚を持つことができます。さらに、そよ風と木の香り、鳥・せせ
らぎ・木々の音を加えて、森の中にいる感覚を創出し、患者さんが爽快感・没入感に浸れます。現在、それぞれ病院で試験運用中であり、実用化が待たれています。

２．３

国内研究交流事業

ISIT では、国内の関係研究機関の活動状況などの情報収集を行うとともに、具体的な研究交流を実施しています。（財）京都高度技術研究所（ASTEM）とは、これまで既に研究スタッフが相互に訪問し、活動状況などに関する情報交換を実施するとともに、受託研究開発「ソフトコア・プロセッサによるシステム設計の手法とツールの研究」（平成８年度）も行いました。本年度は、研究交流・人的交流・情報交流を通じて相互に協力・連携し、より一層の科学技術の発展と情報産業の振興に寄与していくことを目的として、研究交流協定書を取り交わし（平成１０年２月）、さらに連携強化を図っ
ています。

２．４

海外研究交流事業

海外研究交流事業は、ISIT と海外研究機関などとの間で、情報技術に関する最新の研究動向に関する情報交換と研究開発の連携協力関係を構築することを目的に行い、年間２名の海外研究者を招いています。海外研究交流講演会は原則的に英語で実施し、参加費は無料です。

（１）第３回 ISIT 海外研究交流講演会
・日

時：平成１０年１月６日（火）１５：００～１７：００

・会場：（財）九州システム情報技術研究所

・テーマ：Quantitative Approach to x86 Compatible Superscalar
Microarchitecture Design─インテル社製マイクロプロセッサー（x86）と互換性を持つスーパースカラープロセッサーの設計手法について─
・講師：国立中山大学
助教授

計算機情報工学研究所（台湾）黄 英哲（Ing-Jer Huang）

・参加者：２５名
・内容：This talk presented a quantitative approach to the design of a superscalar microarchitecture
for Intel 92s x86 instruction set.

The superscalar microarchitecture translates x86

instructions into its internal RISC-like instructions for efficient execution.

In designing

the microarchitecture, there are design trade-offs which require quantitative analysis, suchas the design of the internal RISC-like instruction set, the number and kinds of x86 decoders,

20the number and kinds of functional units, and the optimization of certain frequently executed
instructions.

In order to answer these questions, we have developed software tools to analyze

the x86 instruction set usage in many popular DOS/Windows95 applications, including Netscape
92s Web browser and Microsoft 92s Word and Excel, etc.

In this talk, Dr. Huang reported thedevelopment of the analysis tools, the preliminary results of the analysis, and the implicationsof the analysis to the design of the superscalar microarchitecture.

・黄助教授の講演と ISIT との共同研究について
情報機器をはじめとして多くのシステムの中核部分で利用されているマイクロプロセッサーは、今後もシステム設計の根幹をなす構成要素として、種々の分野でその重要性は高まっていくと予想されます。特に、業界標準となっているインテル社製の x86 アーキテクチャーは、多くのソフトウェアを走らせることができるため、実用的に広く利用されています。黄助教授の研究は x86 と同じ動きをする RISC タイプのオリジナルプロセッサーを設計する方法を提案するもので、今後の各分野における知的所有権を考えたシステム設計に新しい道を拓くものです。
ISIT では、九州大学との組み込みシステム設計手法の共同研究に黄助教授を招聘し、新しいマイク
ロプロセッサーの文化をアジアから生み出すための研究に挑戦しています。

（２）第２回 RAISE*集中セミナー
・日時：平成１０年３月９日（月）９：００ ～ ３月１３日（金）１２：００

・会場：（財）九州システム情報技術研究所

・講

師：国連大学研究員

ソフトウェア技術国際研究所（マカオ）
Chris George（クリス・ジョージ）

・テーマ：RAISE Justification Methods in Software Development―ソフトウェア開発における RAISE 検証手法５日間コース―
・参加者：７名
今回も昨年の第１回集中セミナー（リチャード・ムーア研究員）に続き、国連大学ソフトウェア技術国際研究所（マカオ）から講師を招いて、ソフトウェア開発における RAISE 検証手法について５日間の集中セミナーを実施しました。
・日

３月

程：

９日(月)～１２日(木)３月１３日(金)

９: ００～１２: ００

１４: ００～１７: ００

講義

講義＆演習

講義

―

*RAISE：ソフトウェアの形式的開発手法のひとつで、“Rigorous Approach to Industrial Software Engineering”の略（３）第４回 ISIT 海外研究交流講演会
・日

時：平成１０年３月１３日（金）１５：００～１７：００

21

・会

場：（財）九州システム情報技術研究所

・テーマ：Formal Methods in Software Engineering
・講師：国連大学研究員

ソフトウェア技術国際研究所（マカオ）
Chris George（クリス・ジョージ）

・参加者：１８名
・内容：

Formal methods are an approach to some of the problems in software engineering.
They emphasize the abstract properties of software and their mathematical analysis. We
consider some of the main challenges in software engineering and how formal methods can beused to tackle them.

We describe the main components of a formal system and the activitiesof specification, development, validation and verification.
We also briefly describe some projects on which formal methods have been used, and draw someconclusions about their possible evolution.
The presenter was Chris George, currently Senior Research Fellow at the International
Institute for Software Technology of the United Nations University（UNU/IIST）in Macau. He
had worked with the European team that produced the RAISE formal method and wrote much of
the book "The RAISE Development Method".

More recently he has worked with people from various

developing countries on projects using RAISE.

講演では、大規模ソフトウェア開発における形式的手法の実例や形式的手法によるソフトウェア開発プロジェクト、形式的手法の現状と今後の展望を説明しました。

２．５

協賛・後援事業（１）下記の講演会の協賛を行いました。
（a）日本工学アカデミー 平成９年度九州・中国地区講演会
・日時：平成９年１２月１１日（木）１４：００～１７：３０

・会

場：福岡 SRP センタービル２階

視聴覚研修室・参加者：７６名
・プログラム：◆科学技術の発展と産学官の役割
前東北大学総長、（社）日本工学アカデミー副会長（財）半導体研究振興会半導体研究所

所長

西澤 潤一

私たち人類が直面するエネルギー、炭酸ガスの問題から始まり、情報化社会の中でいかに先見性をもって乗り切るかを中心に、科学技術発展のための教育論等と幅広い豊富な話題を展開しました。さらに、地域の特長を世界に向かってアピールする必要性を語りました。

◆システム情報技術と地域における研究開発（財）九州システム情報技術研究所

研究所長

22

長田 正

福岡ソフトリサーチパークと当研究所の紹介を含め、産学官協調をより実質的にすることの重要性を述べました。日本が情報化時代にどのような地位を占めることができるかは、今後の２０年あるいは３０年間の国民生活を左右しかねない重要問題であること、そのためには、価値観の多様化、規制緩和により、組織重視の縦型社会を個人中心の横型社会に近づける必要があること、更に技術開発・研究開発も地域分散型にすることが望ましく、それが社会を良い方向に変えると語りました。

◆日本工学アカデミーの活動報告（社）日本工学アカデミー

専務理事

桜井 宏

日本工学アカデミー創設の歴史的背景、役割及び現状を紹介しました。

（２）下記のイベントの後援を行いました。
（a）ソフトウェアシンポジウム’９７・日時：平成９年６月１８日（水）～２０日（金）・会場：福岡 SRP センタービル２階

・主

催：ソフトウェア技術者協会（SEA）

SRP ホール（b）アジアマンス・マルチメディア実験プロジェクト
・日

時：平成９年９月１５日（月）～２４日（水）・会場：福岡市役所前広場、IMS 前広場

・主催：FARM（Foundation for Asian Resource of Multimedia）（c）高性能計算に関する国際シンポジウム
・日時：平成９年１１月４日（火）～６日（木）・会場：福岡 SRP センタービル２階

・主

催：「高性能計算に関する国際シンポジウム」実行委員会

SRP ホール23

３

プロジェクト推進事業

本年度は、提案公募型研究制度への申請や第２研究室で取り組んでいるオンライン認証技術をもとにしたプロジェクトの企画を中心として活動を行いました。また、昨年度より引き続き PPRAM（Parallel Processing Random Access Memory ）コンソーシアム事務局としての活動も行っています。

３．１

公募型研究制度への申請

各省庁などで行われている研究開発助成制度への応募状況は下表「平成９年度公募型プロジェクトへの応募状況」のとおりです。

平成９年度 公募型プロジェクトへの応募状況
応募テーマ

共同研究機関

応募先

応募時期（株）シティアスコム， （株）正興電機製作所，
西銀コンピュータサービス（株）， （株）ロジ
地域型オンライン認証技術
ック・リサーチ， システムラボラトリー（株），NEDO
に関する研究開発
西日本銀行， 福岡銀行， 福岡シティ銀行， 九州大学， 九州工業大学

平成 9 年 5月（株）シティアスコム （株）正興電機製作所 西
銀コンピュータサービス（株）（株）ロジック・
地域型オンライン認証技術
リサーチ， システムラボラトリー（株）， 西日 IPAに関する研究開発
本銀行， 福岡銀行， 福岡シティ銀行， 九州大学， 九州工業大学

平成 9 年 7月

再利用可能なモジュールをベースとしたコンパイラの （財）京都高度技術研究所 九州大学
開発支援システムの構築

IPA

平成 9 年 8月

高い安全性が求められるシ
ステムのための要求仕様記 （株）ＳＲＡ， 九州大学
述に資するソフトウェア

IPA

平成 9 年 8月

３次元都市空間自動生成シ
大宇電子（株）福岡研究所
ステム

IPA

平成 9 年 8月

初等中等教育における情報
九州大学
技術教育のための教材開発（財）中山
平成 9 年
隼雄科学技
10 月
術文化財団

利用者/開発者コミュニケー
九州大学， 浦項工科大学校（韓国），
ションメディアに関する研（株）ＳＲＡ
究開発

IPA

平成 10 年
2月

次世代 LSI（FPSA）の開発環（株）ロジック・リサーチ， 九州大学
境ソフトウエアの研究

IPA

平成 10 年
2月

ネットワーク型実時間協調
九州大学
システムの開発

IPA

平成 10 年2月

通信制御用可変シーケンサ（株）ロジック・リサーチ， 九州大学
アレイ LSI の研究開発

中小企業事 平成 10 年
業団
3月

24

３．２

オンライン認証技術に関するプロジェクトの企画

平成９年５月と７月にそれぞれ NEDO（New Energy and Industrial Technology Development
Organization）と IPA（The Information-technology Promotion Agency, Japan）へ申請した「地域型オンライン認証技術に関する研究開発」は、第２研究室にて取り組んでいるオンライン認証技術をもとに地域の企業や大学と共同実験プロジェクトを立ち上げるための試みとして行いました。また、マルチメディア実証実験として学校や住宅における認証技術の使い方をターゲットとしたプロジェ
クトも企画中です。次年度も研究室での研究成果を基にしたプロジェクトの企画に力を注いでいきます。

３．３

PPRAM（Parallel Processing Random Access Memory ）コンソーシアム

九州大学の村上助教授が設立発起人代表となっている PPRAM コンソーシアムは、平成８年７月より準備を行い、平成９年１月２０日設立となりました。ISIT からは、第１研究室とプロジェクト推進部が参加し、第１研究室は特別会員として、プロジェクト推進部は事務局として活動しました。

（１）PPRAM コンソーシアムの目的「DRAM（Dynamic Random Access Memory ）などのメモリ、MPU（Micro Processing Unit ）などのロジック及び標準通信インターフェースを一体化したチップ」を基本構成要素として、これらを並列に相互結合することでコンピュータ・電子機器システムを構築しようという提案があり、この概念をPPRAM と呼んでいます。この PPRAM の実用化並びに普及に当たっては、ベンダー各社の PPRAM ノード
あるいは PPRAM チップ同士の相互接続性、相互運用性及び同システム上のソフトウェアの可搬性を保証することが必須であり、「通信インターフェース」について業界標準化を推進することが必要です。
PPRAM コンソーシアムは、マルチメディア、ネットワーク、メモリ・ロジック混載チップ及び並列処理時代における新しいコンピュータシステム構成法を創出し標準化するとともに、その普及、関連するハードウェア・ソフトウェア技術を育成並びにこれら技術の事業化を促進することを目的とし、国内外の半導体産業、コンピュータ・電子機器産業、ソフトウェア産業に広く貢献することを目指す
ものです。

（２）PPRAM コンソーシアムの活動状況
本年度は５回の運営委員会と６回の分科会を開催しました。開催状況は以下の通りです。

・平成

９年

４月１０日～１１日：第１回運営委員会、第１回合同分科会(於：福岡)

・平成

９年

５月２１日～２２日：第２回合同分科会(於：東京)

・平成

９年

７月１７日～１８日：第２回運営委員会、第３回合同分科会(於：東京)

・平成

９年

９月１６日～１７日：第３回運営委員会、第４回合同分科会(於：大阪)

・平成９年１２月１６日～１７日：第４回運営委員会、第５回合同分科会(於：福岡)

・平成１０年

２月１２日～１３日：第５回運営委員会、第６回合同分科会(於：横浜)

ISIT は、第１研究室とプロジェクト推進部から参加し、プロジェクト推進部では事務局としての活25

動（運営委員会、分科会の開催案内や議事録の作成、各企業や団体からの問合せに対する対応、運営に関わる事務的な手続き方法の検討など）も行いました。

（３）PPRAM コンソーシアムのメンバー
賛助会員（五十音順: 平成９年２月２７日現在）
沖電気工業（株），（株）タイトー，（株）テキサス・インスツルメンツ，（株）東芝，三星電子（株），ソニー（株），日本電気（株），
富士ゼロックス（株），松下電器産業（株），三菱電機（株）

特別会員 （五十音順）
天野英晴（慶応義塾大学），池田 誠（東京大学），
甲斐康司（九州システム情報技術研究所），笠原博徳（早稲田大学），
工藤知宏（新情報処理開発機構），児玉祐悦（電子技術総合研究所），
坂井修一（筑波大学），佐藤三久（新情報処理開発機構），
末吉敏則（熊本大学）関口智嗣（電子技術総合研究所），
瀧 和男（神戸大学），伊達 博（九州システム情報技術研究所），
谷口秀夫（九州大学），中條拓伯（神戸大学），
長嶋雲平（お茶の水女子大学），中村 宏（東京大学），
本多弘樹（電気通信大学），朴 泰祐（筑波大学），
松岡 聡（東京工業大学），村上和彰（九州大学），
安浦寛人（九州大学），山崎信行（電子総合技術研究所）（４）その他PPRAM コンソーシアムの詳細については、次のホームページに記載しています。
（URL）http://www.ppram.or.jp/26

４

コンサルティング事業
本事業は、福岡市を中心とした九州地域の企業などが抱える、システム化技術及び情報技術の分野における、研究開発、製品開発などに関する技術的諸問題の解決支援を目的としております。２年目に入り未だ課題を残すものの技術相談件数の増加等、着実に成果をあげつつあります。

４．１

コンサルティングの方法（前年度と同様）（１）申込資格や期限は特に限定せず、また相談窓口は研究企画部としています。
（２）申込みの際は「コンサルティング申込書」に記入の上 ISIT へ提出、また技術相談の終了後には「コンサルティング結果報告書」の提出をお願いすることとしています。
（３）企業などの相談内容により、最適な指導をしていただくために、九州大学をはじめとする近隣の５大学の先生方に研究アドバイザー（当面１６名、巻末の資料に掲載）をお願いしています。
（４）コンサルティング料金は以下のように設定しています。
・賛助会員の場合：3,000 円／時間
・一般の場合４．２：6,000 円／時間

事業活動状況

コンサルティングの実績を次ページ以降に示しています。
（１）コンサルティング実績（件数）は、前年度が月平均３．８回に比べて本年度が月平均４．９回と増加（２９％）の傾向が認められ、徐々にではありますが事業活動の成果が上がりつつあります。
（２）ただし、コンサルティング実績（時間）については、前年度が月平均１７．２時間に比べて本年度が月平均１３．７時間と減少しております。これは、前年度が１件で６６時間の実績（平成８年５月の福岡 SRP センタービル内ネットワーク接続に関する技術指導）があったことと、本年度が窓口
相談のみの件数が増加したことが主な原因です。
（３）コンサルティング内容は、通信・ネットワークに関するものが５５％とほぼ半数を占め、前年度と同様で、関心の高さがうかがえます。次に多かったのがコンピュータシステム・ソフトウェアに関するもので１５%でした。その他では、LSI 設計に関するもので、９％という割合でした。
（４）コンサルティング相談元は、地場企業が２４％で、その他の企業も含めると企業からの相談が５５％とほぼ半数を占めました。また、福岡市役所をはじめとする自治体・公共団体などからも、前年度と同様１８％の相談がありました。その他、目立つものとして個人からの技術相談が１８％（７件）ありました（前年度は０件）。

本年度は窓口相談のみの件数が増加しましたが、今後は技術相談の量の増加だけでなく、共同研究
や受託研究へ進展するような多様な事業活動の展開を目指します。

27

コンサルティング業務フロー

平成９年度

コンサルティング実績（月別推移・相談元・相談内容）

28平成９年度No.

コンサルティング内容

コンサルティング実績
時期

相談時間

備考

1

VLSI 設計手法に関する将来的な予測を含 平成 9 年 4 月
延べ 8 時間 窓口相談のみ-->受託研究に発展めた技術調査～5 月

2

超高速コンピュータ・ネットワーク運用 平成 9 年 4 月
延べ 14 時間 窓口相談のみ-->受託研究に発展
管理手法と利用技術について～6 月

3

オブジェクト指向と形式的手法に基づく 平成 9 年 4 月
延べ 7 時間 窓口相談のみ-->受託研究に発展
システム開発について～6 月

4

数値演算用システム LSI 開発について

5

マルチメディア・コンテンツ・ オーサ
平成 9 年 4 月
リング支援及びマルチメディア通信シス
延べ 4 時間 窓口相談のみ-->受託研究に発展～5 月
テムについて6

ソフトウェアおよびネットワークシステ 平成 9 年 4 月
延べ 10 時間 窓口相談のみ-->受託研究に発展
ムの開発法について～6 月

7

社内ネットワーク構築・運用 （イントラ
平成 9 年 4 月 延べ 1 時間 窓口相談のみ
ネット・電子メール）について

8

Windows 用プログラミング言語を用いた
平成 9 年 4 月 延べ 1 時間 窓口相談のみ
データベースソフト開発について

9

インターネット環境におけるプログラミ
平成 9 年 5 月 延べ 1 時間 窓口相談のみ
ング言語について

10

物流システム構築におけるネットワーク
平成 9 年 5 月 延べ 1.5 時間 窓口相談のみ
技術について11

システム LSI 向けコンパイラ自動生成シ 平成 9 年 5 月
延べ 12 時間 窓口相談のみ-->受託研究に発展
ステムの開発について
～8 月

12

波形分析エキスパートソフトウェアで用
平成 9 年 5 月 延べ 1 時間 窓口相談のみいられる解析手法について

13

高校文化祭におけるインターネットの活窓口相談のみ-->受託研究に進展
平成 9 年 6 月 延べ 10 時間
用について
（予定）

14

コンピュータ・ネットワーク関係の最新
平成 9 年 6 月 延べ 0.5 時間 窓口相談のみ
技術の説明

15

コンピュータ関連ベンチャー企業の事業
平成 9 年 6 月 延べ 1 時間 窓口相談のみ
内容と関連分野の現状について説明

16

PPRAM コンソーシアムのドメイン名取得 平成 9 年 6 月※ISIT の行う PPRAM コンソーシア
延べ 16 時間および WWW サーバ、メールサーバ構築～8 月
ム事務局業務に関連して実施

17

アジア企業の沖縄への誘致に関する相談・情報提供18

コンピュータシステムのネットワークを
平成 9 年 8 月 延べ 1 時間 窓口相談のみ用いた遠隔利用法について

19 企業の研究開発力に関する調査

平成 9 年 4 月
延べ 7 時間 窓口相談のみ-->受託研究に発展～6 月

平成 9 年 7 月 延べ 1 時間 窓口相談のみ、他へ紹介

平成 9 年 9 月 延べ 9 時間 調査を技術的側面から補助（有料）20

海外でのパソコン通信・インターネッ
ト・電子メールの利用について

21

パソコン通信・インターネット利用にお平成 9 年 9 月 延べ 0.5 時間 窓口相談のみ
けるアナログ電話回線と ISDN 回線の比較

22

携帯型パソコンへの OS(Windows95)イン
平成 9 年 9 月 延べ 2 時間 窓口相談のみストールについて

23

データベースソフトの使用法および一般
平成 9 年 9 月 延べ 0.5 時間 窓口相談のみ
向けパソコンセミナーの内容について

24

保険業務におけるネットワークを利用し
平成 9 年 9 月 延べ 2 時間 窓口相談のみ（ISIT 研究員）
たソフトウェアのセキュリティについて

平成 9 年 9 月 延べ 0.5 時間 窓口相談のみ

29

No.

コンサルティング内容

25 LSI 設計方法

時期

相談時間

備考

平成 9 年 9 月
延べ 16 時間 窓口相談-->受託研究に進展
～10 月

26

家庭でのインターネット利用に必要なパ 平成 9 年 10
ソコン（ノート型）の仕様について月

延べ 0.5 時間 窓口相談のみ

27

大規模会議施設などの情報設備に関する 平成 9 年 11調査
月

延べ 1.0 時間 窓口相談-->受託研究に進展

28

地域の情報化プランに関するアドバイザ 平成 9 年 11ーの選任について月

延べ 0.5 時間 アドバイザーを検討中

29 環境情報システム構築について

平成 9 年 10月

延べ 2 時間 窓口相談のみ

30

ビル内（組織内）のネットワークのセキ 平成 9 年 12ュリティー強化月

延べ 4.0 時間

ISIT 研究所員による技術指導（有料）

31

インターネット上での音声通信技術およ 平成 9 年 12
び通信回線装置について月

延べ 2.0 時間

ISIT 研究所員による技術指導（有料）-->共同研究に進展（準備中）32

インターネットへの接続および WWW サー 平成 10 年 1バー構築について月

延べ 1 時間 窓口相談のみ

33

家庭でのインターネット利用における電 平成 10 年 2
話回線切替え器について月

延べ 0.5 時間 窓口相談のみ

34 システムの提案競技の評価支援
35

パソコン(Windows95)へのメモリ増設方
法について

36 移動端末の試験システムについて

平成 10 年 2月

延べ 11.0 時 窓口相談-->有料コンサル（有料間
9.0Hr）

平成 10 年 3月

延べ 0.5 時間 窓口相談のみ

平成 10 年 3月

延べ 1.5 時間 窓口相談-->大学へ紹介

30

５

情報収集・提供事業

当研究所の成果を広く普及させ、地場情報関連産業の振興に貢献するために、積極的に情報収集・提供を行いました。また、この事業では研究内容などの広報を行うことにより、当研究所の社会的な認知度を高めることに努めました。

５．１

書籍、論文資料などの整備

情報科学、技術に関する専門書を中心に各種書籍、学会誌、論文誌などを整備し、最新の研究動向を把握するとともに、賛助会員、福岡 SRP センタービル入居企業などへの情報提供サービスを準備し
ています。

５．２

学会、協会などへの入会

当研究所における研究開発事業を進める上で、研究に関わる情報収集及び研究発表などの情報提供を行うために情報関連の学会に入会し、学会誌、論文誌などの定期購読を行っています。また、研究所の活動に関わる情報を入手するため下記学会・協会へ入会しました。
（１）学会：(社) 情報処理学会、(社) 電子情報通信学会、
IEEE（The Institute of Electrical and Electronics Engineers, Inc.

米国）（２）協会など：(財) 通産調査会、(社) 発明協会

５．３

広報誌

ISIT の研究内容や定期交流会・技術セミナーなどの各種イベントを紹介し、情報を提供するため、広報誌「What IS IT ?」を４回(1997 Vol.5 ～ 1998 Vol.8)発行しました。９年度秋号（Vol.７）から研究内容の掲載を充実させ、２ページ増の全６ページとしました。

５．４

ホームページ

平成８年６月より、ホームページを公開し、研究所及び研究内容・成果の紹介や各種イベントの情報を提供しています。
（URL）http://www.k-isit.or.jp/

５．５

各種セミナー・イベントへの参加

情報その他、科学技術関連の各種セミナー・イベントなどに参加し、情報技術に関わる最新動向を把握するとともに、情報収集を行いました。
参加したセミナー・イベントなどは以下のとおりです。

・「ベルギー・ハイテクセミナーIN 北九州」（北九州国際会議場・6 月）
・INTAP セミナー「オープンネットワークにおける技術課題」（福岡県中小企業振興センター・7 月）
・講演会「九州の知識産業の展望」（アクロス福岡・7 月）
・エレクトロニックコマース・チュートリアル（福岡工業大学・9 月）
・技術評価セミナー（SRP ビル・10 月）

31

・「’97 特許流通フェア in 九州」（北九州国際会議場・10 月）
・平成 9 年度・財団法人ファジィシステム研究所セミナー「IC プロセス実習」（福岡県立飯塚研究開発センター・10 月）
・「アプリケーションライセンス管理ソフトウェア」セミナー（住生福岡ビル・11 月）
・ネクストコム・テクニカルセミナーin 福岡（グランド・ハイアット・福岡・11 月）
・日立ソリューションフェア（エルガーラホール・11 月）
・ウチダエボリューションフェア’97（内田洋行・12 月）
・Internet Week’97（パシフィコ横浜・12 月）
・NSUG（日本サン・ユーザ・グループ）1 月博多セミナー（ハイアット・リージェンシー福岡・1 月）
・ハイパーフォーラム in ひた（日田・2 月）

５．６

来訪研究者による講演

来訪者による講演会を下記の通り実施しました。

（１）・日時：平成１０年１月２７日（火）１４：００～１６：００

・場

所：（財）九州システム情報技術研究所

・講

師：三菱電機(株)情報技術総合研究所 情報セキュリティ技術部
リーダ

山岸 篤弘

三菱電機(株)情報システム製作所 C/S・ネットワークシステム部
主幹

鈴木 博

・テーマ：最近の暗号技術の動向等について
・参加者：ISIT 職員
ネットワーク上での暗号の原理・開発の歴史から、最近の暗号及び情報セキュリティ技術、商品紹介まで幅広く解説・紹介していただき、さらに ISIT 研究員との意見交換を行いました。

（２）・日時：平成１０年１月３０日（金）１６：００～１７：３０

・場

所：（財）九州システム情報技術研究所

・講

師：電子技術総合研究所

情報科学部

部長

諏訪 基

・テーマ：Intelligent Social Infrastructure Technology:Concept andPotential Impact（知的社会基盤工学技術）の概念とその潜在効果について
・参加者：ISIT 職員
知的社会基盤工学技術の概念とその潜在効果についてわかりやすく解説していただきました。また、広く研究開発プロジェクトの取り組み方などについても、豊富なご経験に基づき紹介していただきました。

その他
ISIT の活動内容等をわかりやすく説明するために、新たにパンフレットを作成しました。

32

６

人材育成事業、その他

ISIT 技術セミナーなどを推進するとともに、地域情報関連の技術者を育成できるような環境を整えました。

６．１

ISIT 技術セミナー

ISIT 技術セミナーは、地場の情報関連企業・福岡 SRP 立地企業などの研究者・技術者の研究開発能
力の向上及び最新技術動向の提供を目的に、年３回（不定期）参加費 2,000 円で実施しています。

（１）第４回 ISIT 技術セミナー
・日時：平成９年６月１６日（月）１３：３０～１７：３０

・会

場：福岡 SRP センタービル２階

・テーマ：インターネットの課題

SRP ホール―インターネットの仕組みと電子メール―

・参加者：１０３名（a）インターネットの仕組み―アドレスと性能劣化の問題―

奈良先端科学技術大学院大学

助教授

平原 正樹

米国インターネット事情を踏まえた上で、インターネットで用いられるアドレスの問題点とその解決策、ドメイン名の紛争、プロバイダーの選択方法などインターネットの病的症状及びインターネッ
トの仕組みについて解説しました。
（b）インターネット・メッセージの動向と課題
奈良先端科学技術大学院大学

助手

山本 和彦

電子メールについて、「送信したら届くはず」などの様々な誤解やまだ余り活用されていない画像や音声を組み入れたマルチメディア・メールなどの最新技術を紹介し、インターネット・メッセージの動向と普及へ向けての今後の課題を説明しました。

（２）第５回 ISIT 技術セミナー
・日時：平成９年１０月８日（水）１３：３０～１７：３０

・会

場：福岡 SRP センタービル２階

SRP ホール

・テーマ：デジタル移動通信技術とモバイルコンピューティング
・参加者：８５名（a）デジタル移動通信技術
九州大学大学院

システム情報科学研究科

教授

赤岩 芳彦

デジタル移動通信技術について、デジタル通信の特長、移動通信回線の性質、音声符号化、デジタ
ル変調などの伝送技術及び自動車・携帯電話や PHS などのシステムを構成する主な技術について説明しました。
（b）移動通信システムとモバイルコンピューティング
NTT 移動通信網(株)

研究開発部

研究部門

部門長

中嶋 信生

現在商用で使われている移動通信サービスの各種システム構成・特徴や将来動向を紹介しました。

33

また、デジタル化やインターネットの爆発的普及などに伴って注目され始めた移動データ通信にも焦点をあて、モバイルコンピューティングで現在どのような事が可能か、利用の具体例を解説しました。

（３）第６回 ISIT 技術セミナー
・日時：平成１０年２月２０日（金）１３：３０～１７：３０

・会

場：福岡タワー

多目的ホール・テーマ：Java とは何か？

―Java 入門―

・参加者：１３５名（a）ネットワークコンピューティング―Java で何が変わるのか―

日本サン・マイクロシステムズ（株）

専務取締役

山田 博英

インターネットの普及により、エレクトロニック・コマースなど新しいネットワークビジネスが発生してきていることと、Java が浸透していけばネットワークが巨大なコンピューターになることを強調しました。
（b）Java の世界
日本サン・マイクロシステムズ（株）

第５システム技術部長

中野 勇夫「Java が創りだす新たなコンピューターパラダイム」（Non-Technical）、「JavaOS/Java Virtual Machine の現在と未来」（Technical）の２部に分けて講演しました。途中、インターネットを使って海外への輸送荷物の現在地把握などのデモも行いました。

６．２

ボランティア活動などの支援

ボランティア活動などに対して、機材及び活動場所の提供を行い、その活動の指導や支援を行いました。

（１）マックサロン福岡（障害者パソコン教室）の活動支援
・日時：平成８年８月より、月２回程度、土曜日午後

・場

所：ISIT 会議室及び研究スペース

毎回４～６時間程度

・参加者：受講者約３０名、講師２０名
インターネットがどんどん一般の方の間に広がりをみせていますが、そのおかげでパソコンは人と人とのコミュニケーションの力を増幅する道具になってきました。このパソコンの力は、とりわけ障害をお持ちの方には大きな価値を持つことがあります。障害者の社会参加や情報アクセスの壁を少しだけ低くできるからです。障害者がパソコンを使えるようになることで、これまで不可能だったような出会いが可能になったり、自分の中にある才能を表現できるようになったり、作品や意見を発表する場を持つことが可能になったりします。
マックサロン福岡は、障害者の方にパソコンを使いこなせるようになっていただくことを目的とす
るボランティア団体です。マックサロン福岡は、平成８年８月から月に２回のペースで実施してきました。現在講師として名乗りをあげてくださっている方は約２０名、受講者の方は約３０名程度で、前年度に比べ人数も増えて活動の輪が着実に広がりつつあります。基本的にマンツーマンで相手に合わせて説明をするというやり方で教えています。講義内容は、初級者コースでは電源の入れ方から基34

本操作に至るところを教えています。中級者コースでは受講者の要求に応じて、インターネットや年賀状の作り方やデータベースの作り方などを教えています。本年度は、この活動を通じて受講者から講師になられた方もいます。
なお、(株)システムソフト殿、(株)ジャストシステム殿、アドビシステムズ(株)殿のご厚意により、
ソフトウェアの提供を受けて講義に利用させていただいていることをここに記して感謝いたします。

（２）アジア開発銀行（ADB）福岡総会で情報・通信面の活動支援
福岡市は、平成９年５月１１～１３日開かれた ADB 福岡総会で情報・通信面の支援を行いました。
ISIT では、第２研究室から「インターネットを活用したマルチメディア実験プロジェクト FACE’９７」の支援活動に参加し、インターネットにホームページを開設、高速・大容量光ケーブルを使って、総会の模様を動画と音声で世界に向けて中継しました。

（３）「’97 テクノフロンティア九州」への出展
財団法人九州産業技術センター、福岡市が主催で例年開催している先端技術フェアをグレードアッ
プした「’97 テクノフロンティア九州」に出展し、INS64 回線を使ったダイヤルアップによる ISITのホームページの紹介、インターネット体験コーナー（パソコン 3 台）等を行いました。
・日時：平成９年５月１０日（土）～５月１３日（火）１０：００～１７：００

・場

所：マリンメッセ福岡（４）アジアマンス・マルチメディア実験プロジェクトの活動支援
福岡市が毎年９月にアジア月間として開催していますアジアとの相互理解と交流を深めるためのイベントでありますアジアマンスに、九州内の大学生を中心としたマルチメディア実験グループ FARM
(Foundation for Asian Resource of Multimedia) が、インターネットホームページによる「アジア太平洋フェスティバル」のリアルタイム中継など各種イベント情報の提供を、１週間に渡り行いました。
ISIT からは、「品質保証／ネットワーク構築技術」実証実験の一環として、第２研究室より「アジアマンス・マルチメディア実験プロジェクト」に FARM の代表として参加するとともに、研究所も同
プロジェクトの後援を行いました。

６．３

体験！マイコン・ロボット・ラボの開催(株)福岡ソフトリサーチパークと共同で、マイクロコンピュータをのせた小型ロボットを使いプロ
グラミングの基本原理を学ぶ、子ども向けの体験教室を開催しました。
・日時：平成９年８月２５日（月）１０：００～１６：００

・場

所：福岡ＳＲＰセンタービル

実習室１

・対

象：小学５年生から中学３年生まで（応募多数につき抽選）

・参加者：２４名

35

６．４

夏休み子どもインターネット無料体験教室の開催(株)福岡ソフトリサーチパークと共同で、子ども向けのインターネット体験教室を開催しました。
・日時：平成９年７月２９日（火）～８月２日（土）午前の部

１０：００～１２：００

午後の部

１３：３０～１６：３０

１名１時間程度・場

所：福岡ＳＲＰセンタービル

実習室１

・対

象：原則として小学生（先着順予約制）

・参加者：２５０名

６．５

OJT による人材（技術者）育成

人材育成事業につきましては、これまで既に地域の情報関連企業・団体等が企画する研修プログラ
ムに対して支援、監修を行ってきましたが、より一層活発な事業展開を図るため、新たに OJT（地域の企業から若手技術者を招き、研究室長、研究員さらには委嘱する大学先生の指導の下に、研究活動の一部を担わせたり、企業から持ち込みの課題業務を遂行させることで、効果的に技術レベルの向上を図る）を今年度より開始しました。

（１）これまでの活動状況(a)OJT の方法
・対象者：地場中小情報関連企業の若手研究者又は技術者
・期間：１社当たり１月以上６月以内の必要な期間
・研修派遣費： 無料(b)事業活動状況
今年度より人材育成事業の一環として OJT 活動を始めたばかりでありますが、以下のように
既に 1 件が完了し、さらに 1 件が平成１０年３月より実施中です。

[実績](a)地場企業より１名（25 歳）
・第２研究室にて研修
・指導者：荒木研究室長、張研究員、山崎研究員
・期間：平成９年５月～７月（８月より当研究所の企業派遣研究員）
・テーマ：「ネットワークシステムの認証とセキュリティに関する研究」

36

６．６

研究顧問会議ISIT では、活動方針や研究状況などを客観的に評価及び高度に専門的な視点から指導していただく
ために研究顧問会議を開催しています。

第２回研究顧問会議
・日時：平成９年９月２４日（水）１４：００～１５：２０

・会

場：（財）九州システム情報技術研究所

森光次長より平成９年度上半期の活動状況などを説明した後、質疑討論を行いました。研究顧問から研究開発のスピード、投資効果、産業集積の意味などについて辛口のご意見や励ましをいただきました。なお、研究顧問の先生方は、資料集「研究顧問」の表の通りです。

６．７

所内ネットワーク整備

以下の内容を考慮し、所内情報インフラの整備を進めました。
・認証実験を行うためのサブネットワークの設定
・共同研究（WIDE プロジェクトほか）推進のための ATM 設備の導入
・第３、第４の研究室整備に対する拡張性

37

38

平成９年度 役員（理事・監事）
役職

⽒名

理事⻑

⽥中

進

九州経済同友会

副理事⻑ ⻑⽥

正（財）九州システム情報技術研究所

研究所⻑

専務理事 堀内勉（財）九州システム情報技術研究所

事務局⻑

理事

姉崎

孝

松下電器産業（株）

⽜島

和夫 九州⼤学⼤学院

⽜島暎⽂ （株）福岡ソフトリサーチパーク

内村

祐基 ハイテクノロジー・ソフトウェア開発協同組合

⼤島

淳司 福岡エレコン交流会

鎌⽥迪貞 九州電⼒（株）

代表取締役社⻑⽊⼾

喜則 ⽇本電気（株）

九州⽀社

⼩池

康夫 富⼠通（株）

古賀

誠⼆ （株）⻄⽇本銀⾏

⼩林孝雄 （社）福岡県情報サービス産業協会

監事

所属・役職
代表委員

九州⽀店

⽀店⻑

システム情報科学研究科

研究科⻑

代表取締役専務
九州⽀部

会⻑
⽀社⻑

⻄⽇本営業本部九州⽀社

⽀社⻑

取締役頭取

四島

司

佃

亮⼆

（株）福岡シティ銀⾏（株）福岡銀⾏

朴學載（株）⼤宇電⼦福岡研究所会⻑

代表取締役頭取

取締役頭取

孝祐 （株）⽇⽴製作所

九州⽀社

前川

和元 ⽇本アイ・ビー・エム（株）

川崎

賢治 福岡市

諸冨

忠男 九州商⼯会議所連合会

研究所⻑

別府

⽀社⻑
九州地区

部⻑

収⼊役
常任幹事

平成９年度活動報告書目次へ

39

参事

平成９年度 評議員
⽒名

所属・役職

⾚岩

芳彦

九州⼤学⼤学院

システム情報科学研究科

明⽯博義

⻄⽇本鉄道（株）

⽣⽥

征⽣

福岡市

倉⽥

彰夫

（株）東芝

古賀

利郎

久留⽶⼯業⼤学

⼩南

俊⼀

ＮＴＴデータ通信（株）

教授

代表取締役社⻑

経済振興局

局⻑

九州⽀社

⽀社⻑

知能⼯学研究所

九州松下電器（株）

教授

九州⽀社⻑

取締役社⻑

島松

秀憲

三菱電機（株）

⾸藤

公昭

福岡⼤学

九州⽀社理事⽀社⻑

⽩⽯司（株）九電⼯⽥尻英幹

⻄部⽡斯（株）⽥中浩⼆

九州旅客鉄道（株）

鶴丸

岩男

佐賀県⽴博物館

館⻑

中島

孝之

福岡県

部⻑

野⼝

康⾒

（株）シティアスコム

代表取締役社⻑浜辺隆⼆

福岡⼯業⼤学

情報⼯学科

松川

秀彦

新⽇本製鐵（株）

松本剛平

⽇本電信電話（株）

吉⽥

將

九州芸術⼯科⼤学

⼯学部

電⼦情報⼯学科教授

代表取締役社⻑代表取締役社⻑商⼯部

代表取締役社⻑

⼯学部

九州⽀店
九州⽀社

教授

⽀店⻑
福岡本部⻑

学⻑

平成９年度活動報告書目次へ40平成９年度 顧問
⽒

名

役

職

名

⿇⽣

渡

福岡県知事

井本

勇

佐賀県知事

⼤野

茂

（社）九州・⼭⼝経済連合会

桑原敬⼀ 福岡市⻑杉岡

洋⼀ 九州⼤学総⻑会⻑

平成９年度 研究顧問
⽒

名

役

職

名

⽜島

和夫 九州⼤学⼤学院

島⽥禎晉 （株）オプトウェーブ研究所

システム情報科学研究科

早川

茂

三井

信雄 セガソフト

吉⽥將

松下電器産業（株）

研究科⻑

代表取締役所⻑

終⾝客員、（株）イオン⼯学センター

相談役

会⻑兼CEO

九州芸術⼯科⼤学学⻑

平成９年度活動報告書目次へ41平成９年度 研究アドバイザー
⽒

所属・役職

名

九州⼤学⼤学院 シ
ステム情報科学研
究科・ 教授九州⼤学⼤学院 シ
ステム情報科学研
究科・ 教授九州⼤学⼤学院シ
ステム情報科学研
究科・教授
九州⼤学⼤学院 シ
ステム情報科学研
究科・教授
福岡⼤学

⼯学部

電⼦⼯学科・教授

熊本⼤学

⼯学部

数理情報システム
⼯学科・教授
九州芸術⼯科⼤学
芸術⼯学部 画像設
計学科・ 教授
九州⼤学⼤学院 シ
ステム情報科学研
究科・ 助教授芳彦

超並列処理アーキテクチャ, ⼈⼯知能, ⾃然⾔語理

真⼈ 知能処理アーキテクチャ

解・処理

有川 計算論的学習理論, ⼈⼯知能における論理と推論, パターン照合アルゴリズ
節夫 ム, 機械発⾒の理論
⿊⽊ ⽔素プラズマのMOSデバイスへの影響, ECRプラズマによるエッチングに関幸令 する研究, 真空マイクロエレクトロニクスデバイスの基礎研究
⾸籐
公昭

サの開発

龍三

ム⼯学科・ 教授程⻑澤
勲究科・ 教授勉

福岡⼯業⼤学 情報 浜辺

究科・教授

隆⼆
⽇⾼
達

九州⼤学⼤学院 シ 牧之
ステム情報科学研

内究科・ 教授顕⽂

九州⼤学⼤学院 シ
ステム情報科学研
究科・助教授並列画像理解のためのアーキテクチャ, 画像理解のための知識構造に関する研究
発⾒的・進化的知識処理, 相関論理による知識の表現と推論, 並⾏プログラ

京徳 ムの従属性理論とその応⽤

川

ステム情報科学研

パターン認識に関する研究, ニューラルネットワークに関する研究

コンピュータ・アーキテクチャ, 並列計算機, オペ
レーティングシステム, 分散システム, コンピュー
タ・ネットワーク, LSI設計

ニューラルネットワーク, 図形処理, パターン認識

秀夫 関する研究, 利⽤形態に合わせたオペレーティングシステム 制御⽅式の研究 ル

ステム情報科学研

九州⼤学⼤学院 シ

⾃然⾔語理解・処理, ⼈⼯知能

⾕⼝ ⾼信頼な計算機アーキテクチャに関する研究, 分散システムの分析と設計に オペレーティングシステム, 分散処理, スケジュー

九州⼤学⼤学院 シ ⻑⾕

⼯学科・ 教授

超LSI, プラズマエッチング, 微細加⼯

訳の研究

敏則 分散処理向き通信プロトコルの研究, 情報⼯学教育研究⽤マイクロプロセッ郎

⼯学部 機械システ

語を重視する）応⽤として知能ワープロ, ⾃然⾔語インタフェース, 機械翻
超並列ハードウェア・アーキテクチャの研究, 柔構造並列計算機を実現する

瀧⼭

帰納推論, 計算論的学習理論, 機械発⾒

⾃然⾔語をコンピュータに理解させる事を基本的な課題とする （特に⽇本

末吉 相互結合網の開発研究, 分散スーパー コンピューティング環境の構築, 協調

究科・ 教授

九州⼯業⼤学 情報

アネットワーク 適応⾃動等化⽅式, 移動通信システ

⾬宮 超並列コンピュータのアーキテクチャ, 超並列プログラミング⾔語, 超並列

倫⼀究科・ 教授当て⽅式, スペクトル拡散通信, 無線ローカルエリ

ディジタル伝送⽅式, 無線通信システム

ム

ステム情報科学研

ステム情報科学研

研究キーワード
ディジタル通信⽅式, ダイナミックチャンネル割り

⾚岩

九州⼤学⼤学院 シ ⾕⼝

九州⼤学⼤学院 シ

研究テーマ

村上
和彰

健康管理⽀援システムに関する研究, 地域CADシステムに関する研究, 設計
⽀援システムのための知識表現と 推論機構に関する研究, 公的知識ベースに関する研究, 産業ロボットのための知識表現と 推論に関する研究
感覚と⾏動の統合による 機械知能の発現機構の研究, 多⾃由度⾏動系の動作計画, 知能移動ロボットの構成と制御に関する研究
ホームオートメーションのネットワーク構成, インターフェース設計, 適合性試験に関する研究, ベクトル量⼦化⼿法による画像信号および ⾳声信号のデータ圧縮に関する研究
⾃然⾔語の機械処理, 確率⽂法理論, 辞書データ構造

データベースシステム, 並列オブジェクトベースシステム, マルチメディア
データベース

画像理解, 並列処理, マルチメディア処理

認識プロセス, 相関論理, プログラム従属性

CAD, 知識ベース, 設計⾔語, 健康管理, 電⼦カタロ
グ, ロボット⾔語

知能ロボット, モデルベースロボット, ⾏動計画

コンピュータ・ネットワーク,ベクトル量⼦化,データ圧縮

⾃然⾔語処理, 確率⽂法, 辞書

データベース, マルチメディア, 並列アルゴリズム

オンチップ・マルチプロセッサ構成をとる 新しい汎⽤マイクロプロセッサの開発, 超並列計算機向き最適化コンパイレーションに 係わる諸問題に関す 計算機アーキテクチャ, 並列処理, 性能評価
る研究, 分⼦動⼒学専⽤マシンの開発

平成９年度活動報告書目次へ

42

43

平成９年度 理事会・評議員会開催状況
会議名

開催⽇・場所内容

平成９年度第１回理事会

平成9年5⽉29⽇・福岡SRPセンタービル2階 特別会議室

平成９年度第１回評議員会 平成9年5⽉30⽇・福岡SRPセンタービル2階 特別会議室
平成９年度第２回理事会（臨時理事会）
平成９年度第２回評議員会（臨時評議員会）

・評議員の選任・平成8年度事業報告及び収⽀決算
・理事の選任平成9年6⽉16⽇・稚加栄・理事⻑の選任

平成9年12⽉22⽇・（財）九州システム情報技術研究所

・役員の選任

平成９年度第３回評議員会 平成10年3⽉31⽇・福岡SRPセンタービル2階 特別会議室
平成９年度第３回理事会

・平成8年度事業報告及び収⽀決算

平成10年3⽉31⽇・福岡SRPセンタービル2階 特別会議室

平成９年度活動報告書目次へ

44

・平成10年度事業計画及び収⽀予算
・評議員の選任・平成10年度事業計画及び収⽀予算
・評議員の選任

平成９年度 学会・講演会・イベントなど
種別

名称

定期交流会

第８回定期交流会 「ＶＲＭＬの概要と仮想世界構築環境の現状」

定期交流会

第９回定期交流会 「ＦＡコントローラーの展望について」セミナー

第４回ISIT技術セミナー 「インターネットの課題」

イベント

ソフトウェア・シンポジウム ʼ９７

イベント

平成9年6⽉13⽇
平成9年6⽉16⽇
平成9年6⽉18〜20⽇平成9年8⽉1⽇

イベント

第２回⼤学の先⽣⽅の⾒学会

講演会「ソフトウェアとベンチャーキャピタルビジネス」講演会

セミナー

⽇

向かう社会インフラ─
第１０回定期交流会 「PDMの概要と適⽤動向について」ト

平成9年4⽉18

地域型オンライン認証シンポジウム─インターネットと地域から世界へ

定期交流会

プロジェク

開催期間

平成9年8⽉22⽇
平成9年9⽉1⽇
平成9年9⽉24⽇
平成9年9⽉アジアマンスマルチメディア実験プロジェクト

15〜24⽇

第５回ISIT技術セミナー 「デジタル移動通信技術とモバイルコンピュー 平成9年10⽉8
ティング」

定期交流会

第１１回定期交流会 「インターネット／イントラネット」

イベント

⾼性能計算に関する国際シンポジウム

イベント

Joint Workshop on System Development

⽇
平成9年10⽉
24⽇
平成9年11⽉
4〜6⽇
平成9年11⽉
8〜9⽇
平成9年11⽉

イベント

賛助会員の⾒学会

定期交流会

第１２回定期交流会 「インターネットとマルチメディア放送」

講演会

⽇本⼯学アカデミー平成９年度九州・中国地区講演会

イベント「デジタル認証デモ」⾒学会

海外研究交

第３回ISIT海外研究交流講演会 「Quantitative Approach to

平成10年1⽉6

流講演会

x86Compatible Superscalar Micro architecture Design」

⽇

定期交流会
セミナー

21⽇
平成9年12⽉
10⽇
平成9年12⽉
11⽇
平成9年12⽉
22⽇

第１３回定期交流会 「情報技術を⽤いたウェルネスシステムの開発につ 平成10年2⽉
いて」

13⽇
平成10年2⽉

第５回ISIT技術セミナー 「Javaとは何か？」

20⽇

第２回RAISE集中セミナー 「RAISE Justiﬁcation Methods in

平成10年3⽉

Software Development」

9〜13⽇

海外研究交

第４回ISIT海外研究交流講演会 「Formal Methods in Software

平成10年3⽉9流講演会

Engineering」

⽇

講演会「Mars PathFinder Project における画像処理」講演会

講演会「ボランタリー経済について」講演会

セミナー

イベント
２

平成10年3⽉
20⽇
平成10年3⽉
23⽇

ISIT研究交流会

交流事業 本⽂へもどる

平成９年度活動報告書目次へ

45

開催場所

形態

福岡SRPセンタービル2階 視聴覚研修室

主催

福岡SRPセンタービル2階 研修室1

主催

福岡SRPセンタービル2階 SRPホール

主催

福岡SRPセンタービル2階 SRPホール

後援

福岡SRPセンタービル2階 SRPホール

主催

福岡SRPセンタービル2階 研修室1

主催（財）九州システム情報技術研究所

主催（財）九州システム情報技術研究所

主催

福岡市役所前広場、IMS前広場

後援

福岡SRPセンタービル2階 SRPホール

主催

福岡SRPセンタービル2階 SRPホール

主催

福岡SRPセンタービル2階 SRPホール

後援

浦項⼯科⼤学校（韓国）

共同主催（財）九州システム情報技術研究所

主催

福岡SRPセンタービル2階 研修室1

主催

福岡SRPセンタービル2階 視聴覚研修室

協賛（財）九州システム情報技術研究所

主催（財）九州システム情報技術研究所

主催

福岡SRPセンタービル2階 研修室1

主催

福岡タワー 多目的ホール

主催（財）九州システム情報技術研究所

主催（財）九州システム情報技術研究所

主催

福岡SRPセンタービル2階 SRPホール
福岡SRPセンタービル２階 SRPホール

平成10年3⽉

福岡SRPセンタービル2階 視聴覚研修室、27⽇（財）九州システム情報技術研究所

共同
主催
共同
主催
主催

平成９年度 海外出張
出張期間

出張者

出張先

平成9年6⽉8⽇ 〜 6⽉ 第1研究室研究員 伊 ⽶国（ロサンゼル
15⽇

達

博

ス）

平成9年7⽉23⽇ 〜 7 第1研究室研究員 甲康司

韓国（ソウル）⽉26⽇

斐

平成9年10⽉31⽇ 〜

第1研究室研究員 伊 ⽶国（ワシント

11⽉17⽇達博ン）
⽶国（ニューヨーク）
⽶国（サンノゼ）

平成9年12⽉7⽇ 〜
12⽉8⽇

研究所⻑ ⻑⽥

議：LGセミコン、三星電⼦
受託研究に関する研究討議：国際会議 ITC1997 International Test Conference1997
コロンビア⼤学との研究討議
受託研究に関する研究討議：国際会議 ICCAD'97 IEEE/ACM International Conference
On Computer Aided Design 97
研究発表・研究討議：国際会議 HLDVT'97 IEEE International High Level Design
Validation and Test Workshop 97

韓国（浦項）

研究発表・研究討議：国際会議 JWSD Joint Workshop on System Development

韓国（浦項）

研究発表・研究討議：国際会議 JWSD Joint Workshop on System Development

漢明 韓国（浦項）

研究発表・研究討議：国際会議 JWSD Joint Workshop on System Development

正第1研究室研究員 伊達博

第2研究室 張研究発表：ワークショップ International Workshop on Advanced LSI'1997 研究討

レー）

12⽉8⽇
12⽉10⽇受託研究に関する研究討議：国際会議 DAC 97 Design Automation Conference 97

⽶国（バーク

平成9年12⽉7⽇ 〜
平成9年12⽉7⽇ 〜

⽤件

平成10年2⽉22⽇ 〜

第1研究室研究員 伊

3⽉1⽇

達

博

フランス（パリ）
ドイツ（リュー
ベック）

研究発表・研究討議：国際会議 DATE98 Design, Automation and Test in Europe
Conference and Exhibition 1998
リューベック⼤学との研究討議[参考]九州⼤学教授として出張
平成9年12⽉7⽇ 〜
12⽉10⽇第2研究室室⻑ 荒⽊啓⼆郎

韓国（浦項）

研究発表・研究討議：国際会議JWSD Joint Work shop on System Development

平成９年度活動報告書目次へ46平成９年度 新聞・雑誌・テレビ報道関係実績
種

別

タイトル

発表年⽉

⻄⽇本新聞（朝刊）

情報発信マルチ⽀援（ADB総会）

平成9年4⽉22⽇

朝⽇新聞（朝刊）

会議の模様ネットで紹介（ADB総会）

平成9年4⽉22⽇

毎⽇新聞（朝刊）

インターネットで動画情報（ADB総会）

平成9年4⽉22⽇

⽇本経済新聞（朝刊）インターネットで地元情報（ADB総会）

平成9年4⽉22⽇

読売新聞（朝刊）“最新ネット”で紹介（ADB総会）

平成9年4⽉22⽇

朝⽇新聞（⼣刊）「仮想都市」通信網の活⽤これから

平成9年4⽉25⽇

朝⽇新聞（朝刊）「パソコンは便利」障害者が教室

平成9年6⽉21⽇

朝⽇新聞（朝刊）

体験！マイコン・ロボット・ラボ

平成9年8⽉10⽇

読売新聞（朝刊）

⼩中学⽣にコンピューター教室

平成9年8⽉13⽇

福岡市政だより体験！マイコン・ロボット・ラボ

平成9年8⽉15⽇

朝⽇新聞（朝刊）

ネットワークの世界の難題 （地域に認証局設置、デジタル署名発⾏し暗号化）

平成9年8⽉15⽇

毎⽇新聞（朝刊）

体験！マイコン・ロボット・ラボ

平成9年8⽉16⽇

⻄⽇本新聞（朝刊）

⼩型ロボット使いマイコン実験教室（⼩中学⽣を対象）

平成9年8⽉16⽇

RKB毎⽇放送（テレビ）

ニュースワイド

平成9年8⽉25⽇

朝⽇新聞（朝刊）

ロボット操作

毎⽇新聞（朝刊）

楽しみながらプログラミング

平成9年8⽉26⽇

⻄⽇本新聞（朝刊）ロボット動いたよ平成9年8⽉26⽇

読売新聞（朝刊）

コンピュータの原理

朝⽇新聞（朝刊）

筒井さん「電脳視察」

平成9年9⽉6⽇

朝⽇新聞（朝刊）

デジタル認証平成9年12⽉26⽇

⻄⽇本新聞（朝刊）

福岡の新情報拠点「福岡ソフトリサーチパーク」はアジアへ、 世界へ、⼤きく⽻ばたく

平成10年1⽉3⽇

⻄⽇本新聞（朝刊）

どうなる近未来4

平成10年1⽉7⽇

読売新聞（⼣刊）「テクノセンサー」電⼦商取引がぐっと安全に （認証システム開発）

⼣⽅放送局 「体験！マイコン・ロボット・ラボ」
電脳学ぶ⼩中学⽣22⼈ （プログラムからつくる。福岡市で「研究会」）
⼩中学⽣22⼈がマイコン講座

平成9年8⽉26⽇

ロボット使って理解 （⼩中学⽣22⼈が体験教室 プログラミングを学ぶ） 平成9年8⽉26⽇

地域型を開発マルチメディア動き出した「情報網」都市

平成10年2⽉6⽇

通産きゅうしゅう第689号 経済活動を進化させる電⼦商取引 （エレクトロニック・コマース）

平成10年2⽉10⽇

⽇本経済新聞（朝刊）

平成10年2⽉27⽇

福岡と⼤分の2機関「公開鍵暗号」を共同研究 （電⼦メールの安全性向上）

平成９年度活動報告書目次へ47平成９年度 研究発表・論⽂・講演など
(発表順)
種

タイトル

別
論⽂

著者・発表者

論⽂雑誌名・学会・研究会名

発表年⽉

Dynamics of mobile legs suspended

Takeshi Tsujimura,

Robotics and Autonomous Systems vol. 20（April 1997）, 平成9年4from wire

Takenori Morimitsu

pp. 85-98

⽉
平成9年4

非常
勤講 数理学特論「VLSIの数理」

伊達 博

九州⼤学⼤学院数理学研究科

師

⽉から平
成10年3
⽉

研究 PPRAM型LSIにおけるオンチップ・メモリ 井上 弘⼠・宮嶋 浩志・甲斐 電⼦情報通信学会研究会

平成9年4会 パス・アーキテクチャの検討

康司・村上 和彰

（ICD97-10,CPSY97-10,FTS97-10）, pp.25-32

⽉

講演 システム情報技術の動向について

⻑⽥ 正

九州⼤学先端科学技術共同研究センター第16回技術研修会

⼭崎 重⼀郎・桑⼭ 雅⾏

福岡オンライン認証実験WG認証局分科会

公開資料

実践デジタル認証⼊門

研究 Z,ML,Smalltalkによるソフトウェア開発の 張 漢明・⽥中 俊⾏・荒⽊ 啓
集会 試み

⼆郎

国際 Path QoS Collection for Stable

Yukinori Goto, Masataka

会議 Hop-by-Hop QoS Routing

Ohta, Keijiro Araki

記事研究紹介 福岡地区にインターネットの最新技術の研究開発拠点を創る

記事 情報化社会と⼈間の⼼
論⽂
講演

システム設計者のためのLSI設計技術（シInternet Society, INET'97

⼭崎 重⼀郎CATCH（福岡市中⼩企業部広報誌）6⽉号

⻑⽥ 正

通産きゅうしゅう 第682号

多⼼光ファイバ個別軸調⼼のためのビジュ 三河 正彦・吉⽥ 耕⼀・久保
アルサーボ制御

ソフトウェア・シンポジウム'97（福岡市）, pp.148-155

⽥ 学・森光 武則

⽇本ロボット学会誌 Vol.15 No.5, pp.759-765

平成9年5
⽉
平成9年5
⽉
平成9年6
⽉
平成9年6
⽉
平成9年6
⽉
平成9年7
⽉
平成9年7
⽉
平成9年7

伊達 博

（株）⽇⽴製作所 ⽇⽴技術研修所

国際 A DRAM Refresh Architecture for

Koji Kai, Taku Ohsawa,

International Workshop on Advanced LSIs（ICD97-77,

平成9年7

会議 Merged DRAM/Logic LSIs

Kazuaki Murakami

SDM97-65）, pp.151-158

⽉

情報処理学会 マルチメディア,分散,協調とモーバイルワーク

平成9年7

ショップ, pp.605-610

⽉

ステムレベル検証）

研究 モバイルエージェントの相互認証⽅法の提会 案
講演 インターネット化社会と地域型認証実験
研究
集会

デジタル認証⼊門

講演 システム情報技術とロボティクス
記事
記事

財団法⼈九州システム情報技術研究所の平成９年度活動状況
財団法⼈九州システム情報技術研究所の機能、 研究内容及び平成９年度活動計画

⼭崎 重⼀郎・荒⽊ 啓⼆郎
⼭崎 重⼀郎九州マルチメディア懇話会

⼭崎 重⼀郎・須賀 祐治

地域型オンライン認証シンポジウム

⻑⽥ 正

情報処理学会全国⼤会招待講演

森光 武則

社団法⼈福岡県情報サービス産業協会（FISA）

1997-9, pp.1-5

講演 交流について ―（財）九州システム情報技 荒⽊ 啓⼆郎

⽇本オペレーションズ・リサーチ学会九州⽀部講演会

術研究所の活動と課題―

講演

研究紹介 システムLSI⾼信頼化技術 ―IC
カードへの応⽤―
管内移動およびケーブル敷設のダイナミッ
クス

伊達 博

CATCH（福岡市中⼩企業部広報誌）10⽉号

森光 武則

第6回九州Dynamics& Control研究会

研究 RSLによるセキュリティプロトコルと攻撃

⽥中 俊⾏・張 漢明・⽥⼝ 研

集会 の仕様記述

治・荒⽊ 啓⼆郎

国際 Formal Speciﬁcation and Veriﬁcation of
会議 Security Protocol in RSL
研究集会

Toshiyuki Tanaka,
Han-Myung Chang, Kenji
Taguchi, Keijiro Araki

資源予約のためのインターネット経路制御 後藤 幸功・荒⽊ 啓⼆郎

研究 インターネットを⽤いた遠隔協調作業の実 児⽟ 修⼀・後藤 幸功・⽯川
集会 験

平成9年7
⽉
平成9年8
⽉
平成9年9
⽉
平成9年9
⽉

Multimedia News （九州マルチメディア懇話会会報） Vol.18 平成9年9森光 武則

福岡ソフトリサーチパークにおける産官学記事

⽉

修⼀・荒⽊ 啓⼆郎

48

平成9年度電気関係学会九州⽀部連合⼤会, p.198

⽉
平成9年9
⽉
平成9年9
⽉
平成9年
10⽉
平成9年
10⽉

International Symposium on Future Software

平成9年Technology-97 （厦門、中国）, pp.143-150

10⽉

平成9年度電気関係学会九州⽀部連合⼤会, p.726
平成9年度電気関係学会九州⽀部連合⼤会, p.730

平成9年
10⽉
平成9年
10⽉

研究 ⾃⼰双対符号を⽤いたゼロ知識証明プロト 須賀 祐治・⼭崎 重⼀郎・荒集会 コルの提案

⽊ 啓⼆郎

講演 ロボティクスの最近の話題

⻑⽥ 正

講演 The Trend of Robotics in Japan

⻑⽥ 正

国際
会議

ム TRIPTERSの開発研究」研究会
Joint Workshop on System Development （浦項、韓国）

Hiroshi Datego?

研究 アソシエーションスキームを⽤いた ゼロ知会 識証明プロトコルの提案

須賀 祐治・荒⽊ 啓⼆郎

研究 RSVPを⽤いた動画像アプリケーションに

後藤 幸功・⻑野 央・荒⽊ 啓

会 ついて

⼆郎

研究 モバイルエージェントによる電⼦発注と 電 ⼭崎 重⼀郎・須賀 祐治・荒会 ⼦決済の統合モデルの提案
公開
資料

ISIT デジタル証明書運⽤規定書 V1

⽊ 啓⼆郎
⼭崎 重⼀郎

講演 システム情報技術と地域における研究開発 ⻑⽥ 正
国際 System LSI Design : Environment &会議 Methodologies
国際 A Practical Approach to Formal Methods
会議 on System Development
⾒学
会
講演
研究
会
研究
会

デジタル認証のデモ
⾏政の情報化 ―県に期待する情報化の取り組み―
インターネットとデジタル認証
認証、証明書発⾏、利⽤ポリシー適⽤の "3
権威分⽴モデル"に基づくデジタル認証シス
テムについて平成9年
10⽉

地域コンソーシアム「タスク適合型群構成搬送ロボットシステ 平成9年

Veriﬁcation of Embedded Systems :Where are we? Where do we need to

平成9年度電気関係学会九州⽀部連合⼤会, p.273

11⽉
平成9年
11⽉

IEEE International High Level Design Validation and Test

平成9年

Workshop（HLDVT'97), (Oakland, California, USA）

11⽉

情報処理学会研究会（97-DPS-85-3）, pp.13-18
情報処理学会研究会 （97-DPS-85-20）, pp.115-120
情報処理学会研究会（97-DPS-85-22）, pp.127-132

平成9年
11⽉
平成9年
11⽉
平成9年
11⽉

ISITホームページ 。。。。 http://www.momonet.k-

平成9年

isit.or.jp/spec/CA-management-v1/index.html

11⽉

⽇本⼯学アカデミー講演会

伊達 博

Joint Workshop on System Development （浦項、韓国）

張 漢明

Joint Workshop on System Development（浦項、韓国）

⼭崎 重⼀郎福岡オンライン認証実験WG公開デモ

荒⽊ 啓⼆郎福岡県管理者特別講座

荒⽊ 啓⼆郎・⼭崎 重⼀郎

ネットワーキングアーキテクチャワークショップ

平成9年
12⽉
平成9年
12⽉
平成9年
12⽉
平成9年
12⽉
平成10年
1⽉
平成10年
1⽉

⼭崎 重⼀郎・須賀 祐治・村 情報処理学会研究会, （98-DPS-86-8, 98-GW-26-8）,

平成10年

上 美幸・荒⽊ 啓⼆郎

1⽉

PP.43-48

研究 認証局の３権威分⽴モデルに基づく認証シ 須賀 祐治・⼭崎 重⼀郎・荒 1998年暗号と情報セキュリティシンポジウム（SCIS'98）

平成10年

集会 ステムの運⽤

1⽉

講演

感性コミュニケーション環境技術に関する
⼀視点

研究 コアによって構成されるシステムLSIのテ会 スト時間最⼩化問題

⽊ 啓⼆郎

3.3.C

森光 武則

感性コミュニケーション環境技術研究会

杉原 真・伊達 博・安浦 寛⼈ 第38回 Fault Tolerant Computing 研究会（⼭⼝県笠⼾島）

記事 研究紹介 計算機教育⼿法の研究

甲斐 康司

CATCH（福岡市中⼩企業部広報誌）2⽉号

講演 インターネットとデジタル認証

⼭崎 重⼀郎テレトピア推進協議会集会

講演「パネル討論」 システムオンシリコン時代のCAD/DAツールはどうあるべきか？

伊達 博

平成10年
2⽉
平成10年
2⽉
平成10年
2⽉
平成10年
2⽉

電⼦情報通信学会研究会 「システムオンシリコン設計技術な

平成10年

らびにこれを活⽤したVLSI」

3⽉

研究 DRAM/ロジック混載LSI向きリフレッ

⼤澤 拓・甲斐 康司・村上 和 電⼦情報通信学会研究会（VLD97-119, ICD97-224）,

平成10年

会 シュ・アーキテクチャの評価

彰

3⽉

研究 コアによって構成されるシステムLSIのテ
集会 スト時間最適化問題

pp.53-60

杉原 真・伊達 博・安浦 寛⼈ 1998年電⼦情報通信学会総合⼤会

平成９年度活動報告書目次へ

49

平成10年
3⽉