著者

Grudin Jonathan

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告グループウェアとネットワークサービス(GN) (ISSN:09196072)

巻号頁・発行日

vol.1995, no.57, pp.31-36, 1995-06-08

被引用文献数

2

---

"Computer-supported cooperative work" and "groupware" are terms invented in the mid-1980's to describe the growing interest in using computer technology to support the activities of groups of people. The interest came from researchers and developers who had previously focused on single-user applications such as compilers, word processors, and spreadsheets ; it also came from those who had previously focused on mainframe systems and organizational issues. To understand the work associated with CSCW and groupware in Europe, the United States, and Japan, it is essential to understand the changing nature of systems development from the 1950's through the 1980's. In this presentation I will describe the historical and organizational contexts of CSCW research and groupware development. Who attends the conferences, develops the systems, and identifies with these labels? How and why do their priorities differ? CSCW is often described as an emerging field, but a better metaphor may be a forum or marketplace where people from different places come to browse, shop, and return to their different homes. Communication-understanding each other's work-requires that we understand different histories and cultures. With the phenomenal success of the Internet and World Wide Web and the very respectable achievements of applications such as Lotus Notes, groupware and support for workgroups is changing the face of work. I will conclude by describing a central challenge brought about by these new technologies and the new way we are looking at and using computer and communication technologies. This paper includes original material and work explored in depth in [1-4].

著者

川端 英之 上甲 聖 津田 孝夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告計算機アーキテクチャ(ARC) (ISSN:09196072)

巻号頁・発行日

vol.2000, no.23, pp.161-166, 2000-03-02

---

大規模数値シミュレーションの一つである粒子輸送コードに代表される、データパラレル指向の並列化に馴染まないアプリケーションに対し、リダクション演算の検出および並列化変換を中心とした自動並列化を施す処理系を開発した。本処理系の特徴は、その強力なリダクション演算検出機能である。従来のリダクション認識手法では解析が困難であった、多重ループ中に複数存在するリダクション演算の認識、及び、配列リダクション変数の検出機能を持つ。間接参照される配列も解析対象である。リダクション認識の過程で、並列化可能性の検査も同時に行なえる。本処理系のリダクション検出アルゴリズムはSSA形式による表現に基づくもので、直接的で簡明であるため、実装も容易である。粒子輸送コードなどに適用し、本手法の有効性を確認した。Particle Transport Code is one of huge-scale Monte Carlo simulation codes. From the nature of the physical model it reflects, there exist parallelism in Particle Transport Code. However, complicated control structures and numbers of reduction operations contained in multiply nested loops in such a code prevent it from being parallelized easily. In this paper, we present algorithms to recognize reduction operations in multiply nested loops. The algorithms can also detect arrays used as reduction variables which are referenced by subscripted subscripts. Experimental results show the technique is effective.

著者

越本 浩央 金澤 正憲 岩下 武史

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ハイパフォーマンスコンピューティング(HPC)

巻号頁・発行日

vol.2005, no.19, pp.19-24, 2005-03-07

---

グリッドコンピューティングの基盤を支えるミドルフレームワークが充実し,ウェブサービスとの統合による応用面が注目されている.しかし仕様の複雑さと規模の大きさが開発と利用を困難にしている.本研究ではこの二つの問題を解決するために,RESTアーキテクチャに基づいたグリッドサービスの設計を提案し,モナドベースのRESTfulウェブサービスを構築する.RESTアーキテクチャはネットワーク上のエンドポイントのステートレス化を推し進める.またモナドはデータと計算と計算戦略を切り離すことで計算結果への参照透明性を提供する.ここではモナドを利用することでの開発の効率化とRESTfulなサービスの運用の利便性を示す.With preparedness for the Grid computing by the Grid middle frameworks, a research and development of the Grid integration as the web-service are remarkable. However it seems too complicate on developing and operating, dues to a complexity and a fleshiness of the specifications. In order to solve these two problems, we proposed a efficiency of designing the Grid-service in line with the REST architecture, and composed a web-service based on Monad. The REST architecture makes endpoints on the Net stateless. Monad makes programs be decomposed into data, functions and strategies, and provides transparency of calculus. We show an efficiency of Monad for developing and a convenience of a RESTful web-service for operating.

著者

納谷 太 野間 春生 大村 廉 小暮 潔

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告知能と複雑系(ICS) (ISSN:09196072)

巻号頁・発行日

vol.2005, no.78, pp.5-10, 2005-08-01

被引用文献数

2

---

Bluetoothのデバイス検出機構を用いた屋内での近接位置計測法を提案する。屋内での位置測定技術は、作業者の業務分析やモニタリング、ユーザの行動分析など、種々の位置情報を必要とするアプリケーションにおいて重要な技術である。本稿では、具体的な対象領域として看護・医療現場における業務分析を題材としてとりあげ、1)ユーザの部屋レベルの近接情報の検知、および2)移動しているユーザや物の相互の近接情報を検知するための要求事項について考察する。Bluetoothのデバイス検出時の問合せにおけるパラメータを効率的に選択することにより1Hz 以上のID交換が可能であることおよび、受信信号強度検出とデバイス間の相互距離計測実験結果について報告する。We propose a Bluetooth-based indoor proximity sensing method using Bluetooth device discovery functionality. Indoor proximity sensing techniques are becoming increasingly important in location-aware applications such as analyzing and monitoring users' activities in factories and/or office environments. In this paper, we consider the practical applicability of Bluetooth-based proximity sensing technologies in nursing environments as an example application field, and discuss the design requirements of detecting 1) room-level proximity between people and 2) mutual proximity between moving people and objects. We show that the proximity information exchange between several devices can be updated at a rate of more than 1 Hz by effectively choosing the timing parameters of Bluetooth inquiry functionality. Empirical results of evaluating Receiver Signal Strength Indigator (RSSI) at various distances between Bluetooth devices are also shown.

著者

かねこ ひさかず

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告.IM, [情報メディア]

巻号頁・発行日

vol.97, no.89, pp.7-12, 1997-09-12

著者

山田 尚勇

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.20, no.1, 1979-01-15

著者

阿部 亮介 後藤 敏行 田村 直良

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告音楽情報科学(MUS) (ISSN:09196072)

巻号頁・発行日

vol.2006, no.90, pp.123-128, 2006-08-08

---

点字楽譜は,視覚障害者が楽譜を理解するために考案された記譜法である.近年,計算機の普及に伴い視覚障害者が従来以上に音楽に親しむ環境が整備されたことから,本格的な音楽知識獲得のために点字楽譜を学ぶ機会と人口は増加している.我々はこれまで,五線譜を点字楽譜に変換する自動点訳システムと,点字楽譜を解析し五線譜に変換する校正支援システムを構築し,特に校正支援システムにおいては,点字楽譜特有の曖昧性を解決し一意に特定の音楽記号として出力することは困難であることを確認した.また,現在点字楽譜の統合的なデータベースの構築が進められているが,印刷のためのデータ形式である既存の点字楽譜データフォーマットでは,蓄積や検索,再利用などの面で制限が多く,より柔軟に保存できる保存形式が必要であると考えられる.本稿では,従来の研究より得られた点字楽譜特有の曖昧性について議論し,次に点字楽譜の保存に適したXMLによる表現を提案する.最後に,既存の楽譜保存形式との比較を行い,曖昧性への対応について議論する.Braille music (Braille Musical Notation) is a musical notation designed so that a visually handicapped person may understand music. Recently, it is expected to increase the opportunity in which braille music is used as so that a visually handicapped person may learn music in earnest from the environment where a visually handicapped person was familiar with music beyond before having been prepared caused by the diffusion of the computer. By the usual research, we have built an automatic transcription system which can change 5-line music into braille music and the proofreading support system which can analyzed braille music and produce 5-line music. However, as for the proofreading support system, it was difficult to solve ambiguity of braille music and output it as a music sign in one meaning. And, though it proceeds with building of the integrative database of braille music at present, we think that the preservation form which can be preserved more flexibly is necessary, because an existent braille music data format is for the printing, and there are many limitations by accumulation, reference, reuse, and so on. In this paper, we discuss the ambiguity which is characteristic of the braille music which could get it more than usual research. Next, we propose an expression by the XML which is suitable for the preservation of braille music, and we compare it with an existent music preservation form, and discuss correspondence to the ambiguity.

著者

長尾 真 辻井 潤一

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.15, no.9, pp.654-661, 1974-09-15

---

We constructed a Programming Language for Tree-Operation, named PLATON. This accepts strings, trees and lists and transforms them in arbitrary way. Based on the augmented transition network of W.Woods, this has several additional capabilities such as pattern-matching, flexible back-tracking mechanism and so on. Because the system maintains the clarity of natural language grammars, we can easily develop various kinds of grammars, test and improve them. The system also has various flexible constructions in order to make use of semantics and pragmatics during its syntactic analysis. The detailed specification and organization of PLATON are given in this paper, and an example of using this is also given, which analyzes simple Japanese sentences.

著者

乃村 能成 花田 泰紀 牛島 和夫

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.42, no.10, pp.2518-2525, 2001-10-15

被引用文献数

2

---

複数の人間がネットワークを通じて自分達の予定情報を交換する機会は,日増しに増大している.そのような場合,通常グループウェアと呼ばれるソフトウェアを利用する.しかし,インターネットを通じて複数組織にまたがる複数人の間で日程調整や予定情報の交換をする場合は,各個人の環境や利用するツールを強要することは事実上できない.そこで,電子メールやWebを使い,調整や通知を行うことが通例である.本研究では,周囲の人間が電子メールとWebしか使えない場合でも,周囲が自分と同じグループウェアを使用しているのと変わらない利便性を得る手法について考察し,それを実現するためのシステムとして,MHC(Message Harmonized Calendaring system)を設計・実装した.Recently, computer networks such as the Internet become more popular.We have more opportunities of exchanging schedule information or arranging schedules on a network. In the past, we were able to use ``groupware'' for this purpose.But nowadays, computer network is not as like the groupware demands for.This makes the situation more difficult.In this paper,we describe what kind of problems would happen when we use schedule information on a network.Then we describe their solutions.And finally, we describe how the schedule management system,MHC (Message Harmonized Calendaring system) which we are developing,works to solve their problems.

著者

市村 哲 紙田剛 岡田 謙一 松下 温

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告マルチメディア通信と分散処理(DPS)

巻号頁・発行日

vol.1994, no.12, pp.149-156, 1994-01-27

---

個人用アプリケーションの場合は,随時そのアプリケーションを起動できることが望ましいが,在席会議システムの様なグループウェアを起動する場合は,あらかじめ協同作業者間で作業開始時刻の了解ができているのが普通である.他の人の見ているスクリーン上に突然アプリケーション画面が出現し,その人に仕事を押し付けることになるのを避けるためには,作業開始時刻を情報ならびにアプリケーションと関連づけて管理しなければならない.この視点から,ファイル管理システムとスケジュール管理システムを融合するグループウェアプラットフォームTeamDeskを開発した.TeamDeskは,作業,情報,時間の関係を一括管理できる.We are not permitted to work together impolitely; nevertheless, the windows of a multi-user application suddenly appear on collaborators' screens in an intrusive way. There have been few discussions about how we should start real-time groupware applications. Obviously we all know how to initiate a collaborative session. We have to make an appointment with collaborators before we work with them. In this paper, a groupware platform named TeamDesk is proposed. The system integrates a group-data management function with a group-schedule management function in a seamless way.

著者

佐々木 稔 新納 浩幸

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告自然言語処理(NL) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.23, pp.145-152, 2003-03-06

被引用文献数

3

---

本稿では,文書要約の支援を目的としたシソーラスの自動構築を行うために,大規模な単語集合に対するクラスタリング手法の提案を行う.これまでの単語クラスタリングに関する研究は,索引語・文書行列を利用してさまざまな要素間類似度やアルゴリズムを用いてクラスタリングが行われている.この索引語・文書行列を利用した場合,索引語の分布はどのような文書内容で出現するかを統計的に示したもので,文書内における語と語の間にある意味的なつながりはそれほど強くない.そのため,結果として出力されるクラスタにはある話題に共通する単語が集まりやすくなると考えられる.意味的につながりを持つクラスタを構築するために,共起関係を持つ単語の組を抽出し,ある単語に対して意味的につながりやすい単語を統計的に表現し,それをクラスタリングすることで意味的な共通性を持つクラスタの自動構築を目指す.In this paper, we propose a new clustering algorithm for large scale document size to construct the thesaurus automatically in aid of summarization. The existing word-clustering systems use various similarity and clustering algorithm based on the context of the information retrieval. In case of the clustering using term-document matrix, the distribution of the index word represents the frequency of the word appearance in a certain contents of a document. Therefore, semantic relation between these words in the document is not so strong. As a result, the words which appear frequently in the contents tend to be gathered for one cluster. To construct a cluster set in which semantic relation between these words is contained, we show a word clustering using a pair of words with cooccurrence relation automatically. We further show that our clustering is effective for word sense disambiguation in comparison with using term-document matrix.

著者

萩原 洋一 池田 諭 中森 眞理雄

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告アルゴリズム(AL) (ISSN:09196072)

巻号頁・発行日

vol.1999, no.33, pp.33-40, 1999-05-10

---

マージソートは時間計算量がO(n log n)(nはソートされるレコードの個数)であり高速であるが,内部ソートとして実行する場合,作業場所として大きさnの配列を要するのが欠点であるとされている.本論文では,作業場所として数語だけを要するマージソートを提案する.新しいマージソートの時間計算量はO(n log^2 n)であり,従来のアルゴリズムより悪いが,これは作業場所とのトレードオフの結果である.Mergesort is one of the fastest sorting algorithm, since it requires only O (n log n) of computing time. Mergesort, however, requires an array of size n as working area, when executed as an internal sort. In the present paper, we propose an algorithm which is a modified version of mergesort. The space complexity of the proposed algorithm is only O. The time complexity is O (n log^2 n), which is worse than the existing merge sort and is the result of the tradeoffs between time and space complexities.

著者

吉内 英也 星 徹 河地吏司

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告グループウェアとネットワークサービス(GN) (ISSN:09196072)

巻号頁・発行日

vol.2005, no.30, pp.57-62, 2005-03-18

---

複数のコミュニケーションアプリケーションをグループ化し,グループ内アプリケーションのプレゼンス情報について,処理ポリシーを設定できるシステムの検討を行う.メディアの種類,デバイスの競合状況などに応じたアプリケーションのグループを,ユーザが自分の要求に沿った形に設定することにより,精度の高いプレゼンス情報を他のユーザへ提供する機能を実現する.We propose management system for presence information based on grouping of communication application. In our system users can set application groups according to the type of communication media and resources that communication applications use. Proposed system also enables to configure processing rules of presence information in a group and provide high precise presence information.

著者

大上望 蔡東生

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告グラフィクスとCAD(CG) (ISSN:09196072)

巻号頁・発行日

vol.2005, no.13, pp.73-77, 2005-02-07

---

近年、コンピューターの発展が目覚しく、それに伴ったコンピューター・グラフィックスの進歩も目覚しい。その一例がバーチャル水族館である。しかし、いくら映像表現が美しいといっても、その動きを作り出すのは、人がその経路の設定をしてやり、その中での振る舞いをいちいち指定しなければならない等、人の手に頼らなくてはならない部分も多いのが現実である。一般的に生体の群れの動きをシミュレーションするアルゴリズムに(そのような水族館を実現するアプローチには)レイノルズにより提案されたBOIDがある。本研究では群れの中のそれぞれの魚に対しての加速、減速、方向転換の動きに注目する。本研究での手法としては以下のとおりである。1、泳動数を用い、魚の遊泳能力に見合った個々の魚の体の動きの振動周波数を得る。2、逆運動学を魚に適応させる。In recent years, the advancements in computer and computational techniques have made significant improvement in computer graphics. One of their applications is the virtual aquarium. Although an image expression is beautiful there are many works which must be dare by creators' hand. Creator have to set up the courses and making the motions. The general approach for making CG of achooling fish is Boid (Bird-oid) algorithm proposed by Reynolds. This research focus on the generation of swimming motion such as acceleration, deceleration, turns of each fish in their school. The method proposed in this work is outlined as follows:1.We obtain the migration value that indicates the swimming ability of a fish based on a simple swimming theory. 2.Inverse kinematics is applied to the fish motion.

著者

松浦 健一郎 村井 均 末広 謙二 妹尾 義樹

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.41, no.5, pp.1420-1429, 2000-05-15

被引用文献数

3

---

データ分割は分散メモリ型並列計算機向けにプログラムを並列化する際の重要課題である.本稿では,Fortranプログラムにおいて自動的にデータ分割を行う手法を提案する.本手法の利用によりユーザは容易にFortranプログラムを並列化できる.本手法の特徴は,配列アクセス情報を基にループを効率的に並列化するデータ分割の候補を作成し,コントロールフローグラフを基に通信オーバヘッドを抑制するデータ分割を選択することによって,プログラム全体として良好な並列実行性能を達成するためのデータ分割を高速に決定することである.本手法は短時間で複数手続き間にわたるデータ分割を行えるので,高速性を活かした対話的なチューニング作業が可能である.今回本手法を実装し,Fortranプログラムを並列化して,実行時間を計測した.その結果,自動データ分割に要する時間が短いにもかかわらず,同等のMPIプログラムに近い実行速度と台数効果が得られた.Determining optimal data layout is very important for parallelizing programs on distributed-memory parallel computers.This paper describes a new algorithm of automatic data layout of Fortran programs.The algorithm enables users to parallelize Fortran programs without difficulty.It generates candidates of data layout for efficient parallelization of loops from access patterns, selects data layout to reduce communication overheads, and determines data layout all over the program to achieve good parallel execution performance.It can quickly determine data layout over multiple subroutines, thus it enables interactive tuning cooperating with users.It has been implemented, and evaluated by parallelizing several Fortran benchmark programs.Execution time and scalability of the benchmarks has been close to those of MPI alternatives.

著者

春山 敬宏 水野 伸太郎 山田 孝二 水野 修

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ユビキタスコンピューティングシステム(UBI) (ISSN:09196072)

巻号頁・発行日

vol.2006, no.116, pp.1-6, 2006-11-09

---

本論文では,家庭内LANでのみ行われていたUPnPやDLNAによるプラグアンドプレイを遠隔の家電やサーバとも行えるようにする,情報家電遠隔連携サービスを提案する.同様のサービスを実現するための関連研究として,VPNトンネリング方式やUPnPプロキシ方式が提案されているが,それらはVPNやプロキシ接続前の認証をPC上でのユーザ情報登録などで行っており,実際に接続する家電端末上での認証方式を検討していなかった.そこで,我々は家電のDLNAクライアントソフトウェアのユーザインタフェースで簡単に行え,かつ外出先のLANから自宅のLANに接続する場合でも携帯電話を使って安全に行える認証方式を明らかにし,それを実装したシステム上で方式の確認を行った.We propose an authentication method that can be used through a content viewing interface such as the DLNA client on home appliances. Services that connect digital home appliances to another home LANs or to the servers over the Internet using VPN or UPnP proxies has recently been proposed, but an user authentication for these services still require users to operate computers to send their identities. Our method does not require users to input any information on the appliances and thus can be easily used over the DLNA client and provides consistent interface for home appliance users. Moreover, since we use a mobile phone to authenticate users, it is safe to be used even in the remote location. We show operations of the method using a simple prototype system.

著者

横尾 真 ビンセントコニッツァー トゥオマスサンドホルム 大田 直樹 岩崎 敦

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.5, pp.1451-1462, 2006-05-15

---

提携を結ぶということは,自動化された利己的な主体(エージェント)の持つ重要な性質である.エージェント間の提携が成立した場合,我々は提携を結んだエージェントの集合が得た利得をどのように分配するかを考える必要がある.協力ゲーム理論はこの利得の分配法について研究してきており,(シャープレイ値やコア,最小コアや仁といった)様々な解概念が提案されてきた.本論文ではこれら既存の解概念が,インターネットのような匿名の開環境の下でエージェントが行える操作に対し,脆弱であることを示す.匿名の開環境ではエージェントは架空名義の利用,共謀,能力の隠蔽といった操作が可能となる.我々はこれらの操作に頑健な新しい解概念である匿名操作不可能コアを提案し,この解概念を特徴づけるいくつかの公理的な条件を示す.また匿名操作不可能コアの条件を緩和した解概念として匿名操作最小コアを提案し,この解概念がつねに非空であることを示す.Coalition formation is a key aspect of automated negotiation among self-interested agents. In order for coalition to be stable, a key question that must be answered is how the gains from cooperation are to be distributed. Various solution concepts (such as the Shapley value, core, least core, and nucleolus) have been proposed. In this paper, we demonstrate how these concepts are vulnerable to various kinds of manipulations in open anonymous environments such as the Internet. These manipulations include submitting false names (one acting as many), collusion (many acting as one), and the hiding of skills. To address these threats, we introduce a new solution concept called the anonymity-proof core, which is robust to these manipulations. We show that the anonymity-proof core is characterized by certain simple axiomatic conditions. Furthermore, we show that by relaxing these conditions, we obtain a concept called the least anonymity-proof core, which is guaranteed to be non-empty.

著者

工藤 育男

出版者

一般社団法人情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.40, no.4, pp.388-390, 1999-04-15

被引用文献数

2

著者

佐藤充 森 辰則

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告自然言語処理(NL) (ISSN:09196072)

巻号頁・発行日

vol.2006, no.124, pp.113-120, 2006-11-23

---

質問応答の回答としても字による解だけでなく画像や地図も表示できるシステムを提案する.既存の質問応答システムと画像検索,ジオコーディング,地図APIを組合せ、物に関する質問に対しては画像を,場所を問う質問に対しては地図を表示する.質問応答の解に対応する画像などに曖昧性があっても,質問文に含まれる情報を用いて適切なものを絞り込める.評価実験によれば,質問応答の解が正しかったときに,画像は0.70,地図は0.85の精度で適切なものを表示できることが分かった.また,正解が複数存在するリスト型の質問においては,ユーザは並べられた画像を見ることでそれぞれの解を比較できたり,ひとつの地図上でそれぞれの解の位置関係を把握できるというように,質問応答システムにおける新しい回答の提示方法を示した.We propose a system that can display not only the answer string of a given question but also images or maps related to ths answer. The system consists of an existing Q/A system, an image search engine, a geocoding engine and a map API. Images are displayed when the question is about things like an animal, a plant or a person. Maps are displayed when the question is about place. Appropriate images or maps are selected by using the information in the question sentence even if the answer string is related to several different types of images or location. The experimental results show that the accuracy of fisplaying images is 70 percent, and that of displaying maps 85 percent under the condition that answer strings are collect. Moreover, we show a new method that presents a result of the list-type question-answering on a display simulataneously. A list-type question may have two or more correct answers. Using the method, a user can compare the answers by seeing listed images, or a user can tell the positional relation among the answers by seeing a map in which all answers are marked.

著者

原 圭吾 植木 克彦 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2000, no.25, pp.73-80, 2000-03-09

---

近年、家電や携帯端末のような組み込みシステムは大規模化と複雑化が進んでいる。これらの変化に対応し、かつ加速する市場サイクルに追随していくためには、開発工程の効率化と短縮が不可欠である。特にこれらの複雑な組込みシステムではテストに多大な工数を必要としており、開発遅延などを引き起こす大きな要因の一つになっている。これに対しソフトウェアシミュレータを使ったテスト環境を利用する事でテスト工程を効率化する方式が提案されているが、これらの方式ではシミュレーションのための環境を構築するためのコストがかかるといった問題が新たに生じている。本報告ではシミュレー夕の再利用を円滑に進める方式を提案し、これにより上記の問題の解決を図るアプローチを採用した。ここではシミュレーション環境を再利用するにあたり、再利用する側の要求機能、再利用される側の機能や再利用のパターンをもとに、シミュレーション環境全体の機能分割について、再利用性を考慮した分割手法を提案した。またシミュレーション環境の再利用を進める際の作業プロセスにも着目し、再利用時の機能抜け防止を目的としたシミュレーション環境構築プロセスを提案した。シミュレーション環境構築プロセスとしては特に再利用するシミュレー夕に対する機能の実現度合いやシミュレーション精度に着目し、機能の過不足や精度の不足を動作時にアサーションなどを応用して検証する方式についても提案する。Recently, it became popular to use software simulators for embedded software testing because it brings high efficiency of testing and also high quality of software. On the other hand, since simulation environments consist of these simulators generally require much building cost and time. Therefore, re-use of existing simulators is recommended. However, conventional simulation environments and simulators have not been considered their reuse mechanism enough, it is difficult to reuse these simulation environments. In addition, the difference between the building environment and the reusing environment often causes functional shortage of the building environment. This paper proposes an architecture of simulation environment which focuses on frequency f reusing, and building process using assertion technique to detect functional shortage. Proposed architecture and process enable to reuse existing environments efficiently and also to achieve high reliability of simulation environments.