「local computer」に関連した英語例文の一覧と使い方(6ページ目) - Weblio英語例文検索

To eliminate an influence of precision of a calculation function in a process computer, and an influence of a gamma ray or the like to enhance precision of life diagnosis, in a life diagnostic method for a local output area monitor detector in a neutron detection unit.例文帳に追加

中性子検出装置における局部出力領域モニタ検出器の寿命診断方法において、プロセス計算機の計算機能の精度の影響や、ガンマ線などの影響を排除し寿命診断の精度を向上させる。 - 特許庁

A computer 10a stores start information OS1 and application information AP1 stored in a local disk 15a in a shared LU1 as an OS1 shared file group, and in a shared LUn+1 as an AP1 shared file group.例文帳に追加

計算機１０ａは、ローカルディスク１５ａに格納されている起動情報ＯＳ１およびアプリケーション情報ＡＰ１を、それぞれ、ＯＳ１共用ファイル群として共用ＬＵ１およびＡＰ１共用ファイル群として共用ＬＵn+1に格納させる。 - 特許庁

A viewer 12 operates a local switch 21 by each break of the work to enter a break signal, a corresponding work name is sought from a work name list displayed on a liquid crystal display device 15 and stores it in a hard disk of a portable personal computer 20.例文帳に追加

作業の区切り毎に観測者１２は手元スイッチ２１を操作して区切り信号を入力し、液晶ディスプレイ１５に表示された作業名リストから該当する作業名を探して携帯型パソコン２０のハードディスクに記録する。 - 特許庁

A high-speed local-only object in a computer system on a decentralized client-server base is generated.例文帳に追加

オブジェクトベースのコンピューティングシステム内で、ローカルオンリーサーバントオブジェクトに関連するオブジェクトリファレンスを作成するための方法は、オブジェクトリファレンスを表す第１オブジェクトを作成するために第１ベースクラスを実装すること、およびローカルオンリークリエートクロージャを獲得することを含む。 - 特許庁

When performing panorama imaging using a plane X-ray image receiver for computer tomography, the image receiver has a high-speed frame rate increased in order to obtain better image quality, and the local area is variably position-controlled by external control or the like.例文帳に追加

コンピュータ断層撮影用の平面Ｘ線受像器を使用してパノラマ撮影を行うに当たり、より良い画質を得るために受像器の高速フレームレート化を行ない、さらに局所的なエリアを外部制御などにより、可変的に位置制御する。 - 特許庁

From approximately the start of the Heisei period, the game has fallen out of favor as a game played by families on New Year's day; however, Fukuwarai computer games and web-based versions have appeared, and local governments and the like continue to include the game in festivities celebrating the New Year. 例文帳に追加

平成以降は一般家庭での正月の遊びとしては廃れ気味となったが、パソコンやウェブ上で遊ぶ福笑いソフトなどが登場したほか、自治体などが執り行う新春行事としては変わらず恒例のものといえる。 - Wikipedia日英京都関連文書対訳コーパス

A computer system includes a plurality of computing bodies 100, 200, 300 having local memories 110, 210, 310 not shared with others, and a shared memory 30 shared by the plurality of computing bodies 100, 200, 300.例文帳に追加

本発明の例に係る計算機システムは、他と共有しないローカルメモリ１１０，２１０，３１０を有する複数の計算主体１００，２００，３００と、複数の計算主体１００，２００，３００により共有される共有メモリ３０とを備える。 - 特許庁

The computer 100 restores the skeleton posture with the bones by performing the reverse conversion of coordinate conversion to convert the extracted positions in the world coordinate system of the markers 20 into those in the local coordinate system, concerning the image information for expressing the respective bones.例文帳に追加

コンピュータ１００は、抽出されたマーカ２０の世界座標系における位置を局所座標系に変換するための座標変換の逆変換を、各骨を表現する画像情報に対して施すことにより、各骨による骨格姿勢を復元する。 - 特許庁

Later, a user can generate message data 557 and 559 for the control panel and for status sheet, both of which data 557 and 559 are represented in local language on a host computer 1, and the message data 553 and 555 in master language representation in the program device 7 can be replaced with those message data 557 and 559.例文帳に追加

後に、ユーザが、ホストコンピュータ1上で、ローカル言語で表現したコントロールパネル用とステータスシート用のメッセージデータ５５７，５５９を作成し、それらのメッセージデータ５５７，５５９で、プログラムデバイス７内のマスタ言語表現のメッセージデータ５５３，５５５を置換することができる。 - 特許庁

To solve the problem that, in a printing system where a print job is temporarily stored on a host computer by a local spooler using an intermediate code and then printed, in the environment where a user cannot perform any operation directly, it is impossible to couple a plurality of print jobs into one job and to print the job.例文帳に追加

ホストコンピュータ上で一旦ローカルスプーラが中間コードで印刷ジョブを保存したのちに印刷する印刷システムにおいて、直接ユーザ操作ができない環境では複数の印刷ジョブを１つのジョブに結合して印刷することができない。 - 特許庁

A procedure defining a fault recovery procedure is registered in a database 10D of a host computer 10 in a combination of a task of starting a local command having a user interface, a task of starting a remote command executed in a background, and a task of requiring operator work.例文帳に追加

ユーザインタフェースを持つローカルコマンドを起動するタスクと、バックグラウンドで実行されるリモートコマンドを起動するタスクと、オペレータ作業を必要とするタスクと、を組み合わせて障害復旧手順を規定したプロシジャをホストコンピュータ１０のデータベース１０Ｄに登録させる。 - 特許庁

An integrated log editing application 63 collects the log files of communication processes which the local logging applications 33, 34 of computers 3, 4 and the air logging application 61 of a computer connected to an air capture device 5 acquired, and saves the log files as collected log files 64.例文帳に追加

統合ログ編集アプリケーション６３は、コンピュータ３、４のローカルロギングアプリケーション３３、３４と、エアキャプチャデバイス５に接続するコンピュータのエアロギングアプリケーション６１が、各々取得した通信処理のログファイルを収集し、それぞれを収集ログファイル６４として保存する。 - 特許庁

Together with communication setting information 12a of the local device, a condition of accepting a request to alter the communication setting information 12a from, e.g. a client computer in setting item units is stored as authentication information 12b, and the alteration request in setting item units received from the client computer is accepted only when matching with the authentication information 12b.例文帳に追加

自装置の通信設定情報１２ａとともに、例えばクライアントコンピュータからの前記通信設定情報１２ａの変更要求を設定項目単位で受付ける条件を認証情報１２ｂとして記憶し、クライアントコンピュータから受信する設定項目単位の変更要求が認証情報１２ｂと一致した場合にのみ、変更要求を受付ける構成とした。 - 特許庁

A printer 20 allows execution of a printing job when a password code or a telephone number sent from a portable terminal 40 via a local interface matches with a password code or a telephone number added to a printing job sent from a personal computer 10 via a network 30.例文帳に追加

プリンタ２０は、携帯用端末４０からローカルインタフェースを経て受信された暗証符号および電話番号が、パソコン１０からネットワーク３０を介して受信された印刷ジョブに付加された暗証符号および電話番号と一致する場合に、当該印刷ジョブの実行を許可する。 - 特許庁

Context information is obtained when a user enters an annotation, and the context information is used to assist in determining and locating relevant contents in which the user may be interested, whether they are in the same document or different documents located on a local computer, the Internet, or other networks.例文帳に追加

コンテキスト情報はユーザが注釈を入力したときに得られ、ローカルコンピュータまたはインターネットもしくは他のネットワークにある同じ文書であれ異なる文書であれ、ユーザが関心を持つ可能性のある適切なコンテンツを決定し、探し出す際の助けのために使用される。 - 特許庁

The host computer 11 transfers data to the plurality of I/O devices 13a and 13b via a bridge device 12, and the plurality of I/O devices 13a and 13b, respectively output a local busy signal LB to the bridge device 12 from the start to the completion of the write processing.例文帳に追加

ホストコンピュータ１１は、ブリッジデバイス１２を介して複数のＩ／Ｏデバイス１３ａ、１３ｂにデータを転送し、複数のＩ／Ｏデバイス１３ａ、１３ｂは、ライト処理を開始してから完了するまでの間、ブリッジデバイス１２に対してローカルビジー信号ＬＢをそれぞれ出力する。 - 特許庁

The external local processing server terminal 305, such as a notebook computer stores the acquired contents in its memory as they are, and converts the contents into a form of contents in matching with the display and voice output capability of the portable wireless communication terminal 304 and returns the contents to the portable wireless communication terminal 304.例文帳に追加

取得したコンテンツはノート型コンピュータのような外部ローカル処理サーバ端末３０５がそのメモリにそのまま蓄積し、携帯無線通信端末３０４が表示したり音声出力する能力に合わせたコンテンツの形式に変換された後に携帯無線通信端末３０４へ返される。 - 特許庁

While a local copying process is carried on between a scanner (part) 400 and the printer (part) 300 through a 3rd communication control route III, the 2nd interpretation part 210 in the data controller 200 interprets commands from the host computer 100 instead of the printer 300 and the CPU in the data controller 200 performs control for necessary operation according to the interpretation result.例文帳に追加

その際、データ制御装置に、プリンタの（第１の）解釈部とは別個に第２の解釈部を設け、ローカルコピー中のホストからプリンタへのステータス要求等はこの第２の解釈部が解釈することで、プリンタステータスの取り込み、そのパケットのホストへの送信等の制御がなされる。 - 特許庁

The push-button type telephone set includes a display unit 11, a LAN (local area network) interface unit for transmitting/receiving an image signal between itself and an external device, and a computer unit 3 for displaying on the display unit 11 an image based on the image signal received from the external device via the LAN interface unit.例文帳に追加

プッシュボタン式電話機は、表示部１１と、外部装置との間で画像信号を送受信するためのＬＡＮインタフェース部と、該ＬＡＮインタフェース部を通じて外部装置から受信した画像信号に基づく画像を表示部１１に表示させるコンピュータ部３とを有する。 - 特許庁

In the case of moving the substance of the data file preserved in a local storage medium 3 to the other preservation place of another computer 7 for instance, a processing content input processing 21 makes a user specify the condition of the data file to be an object, the preservation place and which one of backup and movement is to be executed.例文帳に追加

ローカル記憶媒体３に保存されているデータファイルの実体を、たとえば他のコンピュータ７の他の保存場所に移動させる場合に、処理内容入力処理２１は対象となるデータファイルの条件、保存場所、およびバックアップ／移動のどちらを実行するかをユーザに指定させる。 - 特許庁

To make it possible to dispersively edit a corrected document embedded in a Web composite document without necessity for preliminarily installing a Web application in a local computer in a system for editing a composite document provided on Web.例文帳に追加

Web上で提供される複合文書を編集するシステムにおいて、Web複合文書中に埋め込まれた子文書に対して、ローカルなコンピュータに事前にWebアプリケーションをインストールしておく必要がなく、子文書に対して分散編集を行うことができるようにすることを目的とする - 特許庁

In this network printing system, a host computer 2 instructs block division printing of the respective colors to the selected one of a plurality of the color printers 3a-3n via a local network 1, and a plurality of the selected color printers are made to carry out the printing of the respective colors.例文帳に追加

ホストコンピュータ２は、複数のカラー印刷装置３ａ〜３ｎの選択したものに各色の分版印刷をローカルネットワーク１を介して指示して、選択した複数のカラー印刷装置に各色の印刷を実行させることが可能に設けられているネットワーク印刷システム。 - 特許庁

To provide a data communication method to communicate between personal computers by operating a DAA of a communication terminal apparatus side even if the DAA (Data Access Arrangement) of the communication terminal apparatus side is operated at a local current when it is connected to an information terminal apparatus such as the personal computer or the like.例文帳に追加

パソコン等の情報端末装置と接続した場合、通信端末装置側のＤＡＡが局電で動作するものであっても、通信端末装置側のＤＡＡを動作させてパソコンとの間で通信を行うことが可能なデータ通信方法を提供する。 - 特許庁

In a point registration system 300, a point registrant 310 registers 10p, 20p or the like to an optional local product, a road or the like into a registration point 130 in a server 100 on reference to information on map data stored in the map data 110 by using a client personal computer or the like connected to the Internet INT.例文帳に追加

ポイント登録システム３００は、ポイント登録者３１０が、インターネットＩＮＴに接続されたクライアントパソコンなどを使用して、地図データ１１０に格納されている地図データ上を参照し、任意の地物、道路などに１０ｐ、２０ｐ等、サーバ１００の登録ポイント１３０に登録する。 - 特許庁

The computer 10 receives the electronic mail addressed to itself in a predetermined time interval, if the electronic mail showing the imaging position is received, it memorizes the imaging position in a built-in hard disk, and simultaneously transmits a request signal of the imaging picture corresponding to the imaging position by a wireless LAN (Local Area Network) to the imaging apparatus 20.例文帳に追加

コンピュータ１０は自己宛の電子メールを所定時間ごとに受信し、撮像位置を示した電子メールを受信すると、その撮像位置を内蔵するハードディスクに記憶すると共に、その撮像位置に対応する撮像画像の要求信号を撮像装置２０へ無線ＬＡＮで送信する。 - 特許庁

When access points 20 of wireless LAN (local area network) access areas A, B, and C are discovered, identification information (SSID (service set identity), BSSID (basic service set identity) etc) for the discovered access points 20 is extracted into a personal computer 30 under a predetermined condition, and information associated with the identification information is displayed on a display unit 32.例文帳に追加

パーソナルコンピュータ３０に、無線ＬＡＮアクセスエリアＡ，Ｂ，Ｃのアクセスポイント２０を発見したとき、所定の条件の下に、発見したアクセスポイント２０の識別情報（ＳＳＩＤ、ＢＳＳＩＤ等）を採取し、その識別情報に対応付けられた情報を表示部３２に表示する。 - 特許庁

To provide a procedure capable of holding constitutional information by an especially simple file directional method and capable of being updated by a conventional file management tool in a method and a device for holding the constitutional information in a local computing system and a distributed computer environment.例文帳に追加

本発明は、局所的コンピューティングシステムおよび分散型のコンピュータ環境で構成情報を保持する方法および装置に関し、特に、簡便なファイル指向方法で当該情報が保持可能であり、従来のファイル管理ツールで更新可能な手法を提供する。 - 特許庁

To provide a technique for reducing erroneous detection and decreasing mistake as a wrong embolus part of pulmonary veins having opacity, which is extended to a range not to be kept to a local response and contradictory, in identifying occlusions in vasculature such as pulmonary embolism in computer-aided diagnosis (CAD).例文帳に追加

計算機式支援診断（ＣＡＤ）において肺塞栓症等の血管系の閉塞を識別する際に、誤検出を低減し、局所的応答に留まらない範囲に及び、また矛盾した不透明度を有する肺静脈の誤った塞栓部位としての誤認を少なくする手法を提供する。 - 特許庁

The mold surface design method finds out the shape of virtually formed glass plate by the simulation technology using a computer and reflects the error evaluation of the shape, or decides a local rugged part in the virtual glass plate shape by using the Gaussian curvature and locally corrects the mold surface.例文帳に追加

コンピュータを用いたシミュレーション技術により、仮想的に成形後のガラス板形状を求めて、その形状の誤差評価を反映した型面の設計方法や、仮想的なガラス板形状の局部的な凹凸部分をガウス曲率を用いて判断し、型面を局部的に修正する型面の設計方法である。 - 特許庁

The local area network system 1 has a means that mixes a power signal and a communication signal at a signal level at which the power supply section 4 of the computer 2 operated by an indoor power supply and a power of various electric appliance are not malfunctioned and a means that separates the communication signal mixed in the power signal.例文帳に追加

ローカルエリアネットワーク装置１は、家屋内電源にて動作するコンピュータ２の電源部４や各種電気製品の電源部分が誤動作しない信号レベルで、電源信号と通信信号とを混合する手段と、電源信号に混合された通信信号を分離する手段とを有している。 - 特許庁

To perform a high-speed operation even when performing similar simple calculation to the local data of a determined amount of even when performing different kinds of complicated operations in accordance with a condition that fragment data are scattered in a computing element which is a hardware element of a computer.例文帳に追加

コンピュータのハードウエア要素である演算器に関し、局所的な定まった量のデータに対して同様の単純な計算を行う場合であっても、細切れのデータが散在するような状況の下で、その状況に応じて複雑かつ種類が異なる演算を行う場合であっても、高速演算を行うことができるようにする。 - 特許庁

This driving simulation device 10 connects a cockpit interface unit 22 for transferring signals to a cockpit 16 in a cabin 14, a motion controller 20 for controlling a motion base 12, a sound controller 24, and a host computer 18 for controlling a CG generator 26 and the entire with each other through a LAN 28 (Local Area Network), to control the cockpit 16.例文帳に追加

キャビン１４内のコックピット１６に対する信号の授受を行うコックピットインタフェースユニット２２と、モーションベース１２を制御するモーションコントローラ２０と、音響コントローラ２４と、ＣＧ発生装置２６と全体の制御を行うホストコンピュータ１８とをＬＡＮ２８によって接続し、前記コックピット１６の動作制御を行う。 - 特許庁

To obtain a show promotion system for improving the convenience of a ticket purchasing person and forming show with the minimum risk of a show holding person by deciding the show local region of a show scheduling person mainly under the guide of the ticket purchasing person on a network using a computer terminal.例文帳に追加

コンピュータ端末を用いたネット上において、チケット購入者主導のもとに興行予定者の興行地域が決定されることを可能とし、チケット購入者の利便性を図るとともに、興行開催者のリスクを最小限にして興行を成立させるようにする興行プロモ−ションシステムを得る。 - 特許庁

A major maker development part that is a purchaser, a material or raw material maker that is a basic study request destination, and the local manufacturer including middle and small cross-industrial manufacturers are on-lined, whereby device information, experimental manufacturing state, intellectual element examination, basic trade contract or the like is speedily processed in a computer-assisted online system as needed.例文帳に追加

売り先である大手メーカー開発部と基礎研究依頼先である素材、原料メーカーと地場中小異業種製造業及び製造業とのオンライン化により、考案情報、試作状況、知的要素検討、基本売買契約等をコンピューターによるオンラインシステムで随時スピーディーに処理をする。 - 特許庁

To provide a luminance control device capable of reducing power consumption by local dimming control for controlling luminance of a plurality of light sources for separately emitting light to each of a plurality of areas constituting a display screen, an image display device, a liquid crystal television receiver, a luminance control method, a computer program, and a recording medium.例文帳に追加

表示画面を構成する複数の領域に各別に照射する複数の光源夫々の輝度を制御するローカルディミング制御によって消費電力を低減する輝度制御装置、画像表示装置、液晶テレビ受信機、輝度制御方法、コンピュータプログラム及び記録媒体を提供する。 - 特許庁

A procedure to specify a typical operation by a computer by arbitrarily combining a task to start a local command having a user interface, a task to start a remote command to be executed in the background, a task requiring an operator operation and a task to start re-execution from tasks preset as attributes is registered in a database 30A.例文帳に追加

ユーザインタフェースを持つローカルコマンドを起動するタスクと、バックグラウンドで実行されるリモートコマンドを起動するタスクと、オペレータ作業を必要とするタスクと、属性として予め設定されたタスクから再実行を開始するタスクと、を任意に組み合わせてコンピュータによる定型操作を規定したプロシジャをデータベース３０Ａに登録する。 - 特許庁

To provide a data management device which leaves the contents after editing on a local side even if a hang-up or frozen state is occurred while a fault occurs in a network when data are read out of a file server and edited locally and the contents after the editing are saved on the file server, and to provide a recording medium recording a computer program for data management.例文帳に追加

ファイルサーバからデータを読み出してローカルにおいて編集し、編集後の内容をファイルサーバに保存する際にネットワークに障害が発生して、ハングアップ又はフリーズしても、ローカル側に編集後の内容が残るデータ管理装置、及びデータ管理のコンピュータプログラムが記録されている記録媒体を提供する。 - 特許庁

A change controller 7 acquires identifiers peculiar to drives from plural incorporated disk drives through a local bus line prior to the control of disk transportation, recognizes the corresponding relation of element addresses and the disk drives and returns the recognized corresponding relation to a computer system through an SCSI controller in response to the arrival of a first request command.例文帳に追加

チェンジャコントローラは、ディスク搬送制御に先立ち、内蔵される複数台のディスクドライブからローカルバスラインを介してドライブ固有の識別子を取得し、エレメントアドレスとディスクドライブとの対応関係を認識する一方、認識された対応関係は第１のリクエストコマンドの到来に応答して、ＳＣＳＩコントローラを介してコンピュータシステムへ返答される。 - 特許庁

To operate two or more printers and a compound machine by using one driver without installing a PC with printer drivers corresponding to each device under environment, in which a personal computer installed with printer drivers corresponding to two or more printers and a compound machine are connected with two or more printers and the compound machine with different functions and performances through a network cable or a local cable.例文帳に追加

複数のプリンタや複合機に対応したプリンタドライバがインストールされているパーソナルコンピュータと、機能や性能が異なる複数のプリンタや複合機がネットワーク・ケーブルやローカル・ケーブルを介して接続されている環境において、機器ごとに対応したプリンタドライバをＰＣへインストールしなくても、１つのプリンタドライバで複数のプリンタや複合機の操作を可能とする。 - 特許庁

In the multiprocessor computer, one sub-processor 102 included in a multiprocessor 20 receives and manages information for resources which can be provided from computers on the network through the network, and operates a resource manager for processing providing of the managed resources upon receipt of a resource use request in a state where it is loaded on a local memory 122.例文帳に追加

マルチプロセッサコンピュータにおいて、マルチプロセッサ２０に含まれる一つのサブプロセッサ１０２は、ネットワーク上のコンピュータからネットワークを介して提供されることが可能となっているリソースの情報を受信して管理するとともに、リソース利用要求を受けたときは管理するリソースの提供を処理するリソースマネージャを、ローカルメモリ１２２にロードされた状態で動作させる。 - 特許庁

In a host computer 101, control is carried out by a maintenance utility so that an HTML is read and displayed to control a monitor driver for displaying a direction inputting part such as a cleaning button in the figure 8 capable of inputting/directing a command for controlling operation of the peripheral device matching a local interface 105 in a monitor 1206 via a Web browser 10.例文帳に追加

ホストコンピュータ１０１において、ローカルインタフェース１０５に対応した前記周辺装置の動作を制御するためのコマンドを入力又は指示可能な指示入力部、例えば、図８のクリーニングボタンを、Ｗｅｂブラウザ１０４を介してモニタ１２０６に表示すべく、モニタドライバを制御するべくＨＴＭＬを読み込み表示するよう制御するメンテナンスユーティリティが開示される。 - 特許庁

To provide a multivariate data classification rule derivation device capable of deriving, in the use of a linear determination analysis method or the like as a derivation method of a classification rule, a classification rule between clusters or a plurality of local classification rules by performing clustering within a category prior to the rule derivation, and a program making a computer execute the multivariate data classification rule derivation method.例文帳に追加

分類規則の導出方法として線形判別分析法等を用いるにあたり、規則導出前にカテゴリ内でクラスタリングを行い、クラスタ間の分類規則、即ち複数の局所的な分類規則を導出することのできる、多変量データ分類規則導出装置、および、多変量データ分類規則導出方法をコンピュータに実行させるプログラムを提供することを課題とする。 - 特許庁

He says, “When I used a personal computer I borrowed from a friend to check my mailbox, it was filled with large numbers of orders and words of encouragement from all over the country! Also, as I went back and forth to clean up our one remaining shop in front of Natori train station, the local people and customers from Yuriage said they were eager for us to reopen soon. I gradually regained my strength and after about a month I felt ready to move forward with rebuilding the company.” 例文帳に追加

佐々木社長は、「知人に借りたパソコンを立ち上げると、全国から多くの注文や励ましの連絡が届いていた。また、ただ一つ残された名取駅前の販売店舗の片付けに通う中で、地域の方々や閖上地区の顧客から早期復活を期待された。次第に気持ちが整理され、1か月ほど経過した頃、再建への手応えを感じ始めた。」と語る。 - 経済産業省

The storage device of a computer 100 stores a database where the positions of the bones of the person 2 and of a prescribed number of markers 20 to specify each bone among a plurality of markers 20 in a local coordinate system for a rigid motion with the movements of the bones are made to correspond to image information for expressing the bones.例文帳に追加

コンピュータ１００内の記憶装置には、人２の体表面に複数のマーカ２０をつけた状態で行われる断層撮影に基づいて獲得され、人２の各骨と、複数のマーカ２０のうち各骨を特定するための所定数のマーカ２０の、各骨の動作に伴って剛体運動する局所座標系における位置と、各骨を表現する画像情報とを対応付けたデータベースが格納される。 - 特許庁

An input part 10 inputs information on condition sets, information on initial condition sets, information on system condition transition rules, information on sets which indicate that a computer system is not secure, and extension information for computing a local language expressing a condition in which an attainment state does not occur endlessly when repeated condition transitions are carried out, and then records them to a storage part 20.例文帳に追加

入力部１０は、状態集合の情報及び初期状態の集合の情報及びシステム状態遷移規則の情報と、コンピュータシステムが安全でない状態を示す集合の情報と、繰り返し状態遷移を行った際に無限に到達状態を発生させない状態を表現する局所言語を算出するための拡張情報とを入力して記憶部２０へ記録する。 - 特許庁