「program for」を含む例文一覧(50000)

＜前へ 1 2 .... 953 954 955 956 957 958 959 960 961 .... 999 1000 次へ＞
  • To provide a method for tunneling and slicing based bounded model checking (BMC) decomposition to improve efficiency and reduce complexity for computer program verification.
    コンピュータ・プログラム検証の効率を改善し複雑さを減少するための、トンネリング及びスライシング・ベースの有界モデル検査（ＢＭＣ）分解のための方法を提供する。 - 特許庁
  • NETWORK SWITCHING APPARATUS AND PATH MANAGEMENT SERVER, NETWORK INTERFACE APPARATUS, CONTROL METHOD FOR THEM, COMPUTER PROGRAM FOR PATH MANAGEMENT SERVER AND COMPUTER READABLE STORAGE MEDIUM
    ネットワーク用スイッチ装置及び経路管理サーバ、ネットワークインタフェース装置、及びそれらの制御方法、及び、経路管理サーバ用コンピュータプログラム及びコンピュータ可読記憶媒体 - 特許庁
  • To provide a task linking program for using a computer for performing a task related with the programming of a micro device by interactaction between an online system and an offline programming system.
    オンラインシステムおよびオフラインプログラミングシステムと相互作用してマイクロデバイスのプログラミングと関連したタスクを行なうためにコンピュータを用いるためのタスク連係プログラムを提供する。 - 特許庁
  • To provide a virus infection prevention program and a device for preventing virus infection when a security file for preventing virus infection is downloaded to a computer.
    ウィルスに感染するのを防止するためのセキュリティファイルを、コンピュータにダウンロードする際にウィルスに感染することを防止するウィルス感染防止プログラム及び装置を提供する。 - 特許庁
  • As information about a specific hardware interface, the software object needed for its execution is read from the application program called and is loaded for execution.
    特定のハードウェアインタフェイスに関する情報として、その実行に必要なソフトウェアオブジェクトが、引き出されたアプリケーションプログラムから読み取られて、実行のためにロードされる。 - 特許庁
  • This computer system 30 includes disk storage devices for storing a process parameter database 32, the design of a circuit 31 and a program for instruction 33 performing a modeling method.
    コンピュータ・システム（３０）はプロセス・パラメータ・データベース（３２）、回路の設計（３１）、及びモデル化方法を実行するプログラム命令（３３）を記憶するディスク記憶装置を含む。 - 特許庁
  • METHOD FOR ESTIMATING TEST YIELD TO SEMICONDUCTOR PRODUCT AND PROGRAM FOR EXECUTING METHOD (ESTIMATION OF TEST YIELD TO SEMICONDUCTOR PRODUCT PREPARED FROM LIBRARY)
    半導体製品に対するテスト歩留まりを推定する方法及び方法を実行するためのプログラム（ライブラリから作製される半導体製品に対するテスト歩留まりの推定） - 特許庁
  • To provide an auction system, an auction method, an auction program, a server and a terminal for ensuring distribution of merchandise, etc., as performing transactions suitable for needs of consumers.
    消費者のニーズに適した取り引きを行いつつ、商品の流通等を保障することが可能なオークションシステム、オークション方法、オークションプログラム、サーバ及び端末を提供する。 - 特許庁
  • METHOD OF IMAGING BIOLOGICAL INFORMATION, METHOD AND DEVICE FOR IMAGING INTERACTION IN VIVO, PROGRAM FOR EXECUTING DEVICE, SOFTWARE, ANALYTICAL METHOD, AND REAGENT KIT
    生体関連情報の画像化方法および生体内の相互作用を撮像する撮像方法、装置、装置を実行するためのプログラム、ソフトウェア、解析方法、試薬キット - 特許庁
  • METHOD AND DEVICE FOR ELIMINATING NOISE IN IMAGE, AND COMPUTER READABLE MEDIUM WITH COMPUTER PROGRAM INSTALLED FOR ELIMINATING NOISE IN IMAGE
    イメージにおけるノイズを除去する方法、イメージにおけるノイズを除去するための装置、およびイメージにおけるノイズを除去するためのコンピュータプログラムを実装するコンピュータ可読媒体 - 特許庁
  • To provide a software managing system for managing licenses, in response to various accounting states for software usage, and to provide a software managing method, and its program.
    ソフトウェアの利用に対する種々の課金形態に対応してライセンス管理を行うことができるソフトウェア管理システム、ソフトウェア管理方法およびそのプログラムを提供する。 - 特許庁
  • To provide a quilting data creating device for creating quilting data capable of sewing more efficiently than a sewing machine and a storage medium in which a program for creating the quilting data is stored.
    ミシンにより効率よく縫製できるキルティングデータを作成するキルティングデータ作成装置、及び、そのキルティングデータを作成するプログラムを記憶した記憶媒体を提供する。 - 特許庁
  • METHOD FOR SEMICONDUCTOR DEVICE SIMULATION, MANUFACTURE OF SEMICONDUCTOR DEVICE USING THE METHOD FOR CONDUCTOR DEVICE SIMULATION, AND RECORDING MEDIUM WITH SEMICONDUCTOR DEVICE SIMULATION PROGRAM RECORDED THEREIN
    半導体装置のシミュレーション方法、半導体装置のシミュレーション方法を用いた半導体装置の製造方法及び半導体装置のシミュレーションプログラムを記録した記録媒体 - 特許庁
  • To provide a diagnostic method for an objective facility, a computer program, and a device for diagnosing the objective facility capable of diagnosing accurately the objective facility.
    対象となる設備の診断がより正確に行われる対象設備の診断方法、コンピュータプログラム、及び、対象設備を診断するための装置を実現すること。 - 特許庁
  • To efficiently schedule a thread group for executing real-time processing, without describing detailedly a restriction condition for each processing time during coding of a program.
    プログラムのコード中に個々の処理の時間的な制約条件を詳細に記述することなく、リアルタイム処理を実行するためのスレッド群を効率よくスケジューリングする。 - 特許庁
  • SYSTEM FOR ASSORTMENT SIMULATION OF COMMODITY GOODS, RECORDING MEDIUM WITH PROGRAM OF THE SIMULATION RECORDED THEREON, SERVER FOR THE SIMULATION AND THE SIMULATION
    商品詰め合わせシミュレーションシステム、商品詰め合わせシミュレーションプログラムを記録した記録媒体、商品詰め合わせシミュレーションサーバーおよび商品詰め合わせシミュレーション方法 - 特許庁
  • The control part 73 includes a supporting program displaying a procedure for dividing the technique step image data and a procedure for creating the simulation image on a screen.
    制御部７３には、手技ステップ画像データを分割する手順及びシミュレーション画像を生成する手順を画面上に表示させる支援プログラムが含まれている。 - 特許庁
  • To provide a map image display device, a map image display method and a computer program for preferentially guiding map data of an area which is helpful for a user.
    ユーザにとって有用なエリアの地図データを優先的に案内することを可能とした地図画像表示装置、地図画像の表示方法及びコンピュータプログラムを提供する。 - 特許庁
  • SEMICONDUCTOR INTEGRATED CIRCUIT, MEMORY REPAIR METHOD FOR SEMICONDUCTOR INTEGRATED CIRCUIT AND COMPUTER READABLE RECORDING MEDIUM STORED WITH PROGRAM FOR ALLOWING COMPUTER TO EXECUTE THE METHOD
    半導体集積回路、半導体集積回路のメモリリペア方法およびその方法をコンピュータに実行させるプログラムを記録したコンピュータ読み取り可能な記録媒体 - 特許庁
  • PASSENGER OR CARGO CONVEYOR, METHOD FOR DIAGNOSING LOOSENING IN DRIVE CHAIN IN PASSENGER OR CARGO CONVEYOR, AND LOOSENING DIAGNOSIS PROGRAM FOR DRIVE CHAIN IN PASSENGER OR CARGO CONVEYOR
    乗客又は荷物のコンベア、乗客又は荷物のコンベアの駆動チェーンの弛み診断方法及び乗客又は荷物のコンベアの駆動チェーンの弛み診断プログラム - 特許庁
  • The created program guide covering both digital and analog television channels is stored in a database for subsequent processing responsive, for example, to a user request.
    デジタルとアナログの両方のテレビジョンチャネルをカバーするこの作成された番組ガイドは、例えばユーザの要求に応じたその後の処理用にデータベース内に保存される。 - 特許庁
  • The ECB implemented a purchase program for covered bonds (secured bonds) issued throughout the euro zone, which was started in July 2008, until June 2010, and purchased covered bonds for a total of 60 billion.
    また2008年7月から開始された、ユーロ圏全域で発行されたカバードボンド（担保付き債券）買取りプログラムを2010年6月まで実施し、総額600億ユーロの買取りを行っている。 - 経済産業省
  • • Documentation for the shipment complies with the Specified Product Requirements under the EV Program for beef to Japan, including being from age-verified animals.
    ・当該貨物に発行された証明書は月齢証明された動物由来であることを含み、日本向け牛肉のEVプログラムに基づく特定製品要件を満たしたものである。 - 厚生労働省
  • As part of support for artistic activities by persons with disabilities, we will implement a model program in which consultation services will be provided with respect to opportunities for exhibition and protection of copyrights, etc.
    障害者の芸術活動への支援として、出展機会や著作権等の権利保護等に関する相談支援などを行うモデル事業を実施する。 - 厚生労働省
  • Establishment of a grant program for equipment introduction for long-term care workers (subsidization of half the cost)
    介護人材確保職場定着支援助成金の拡充（年長フリーター等を雇入れた場合は50→100万円）（57）・介護労働者設備等整備モデル奨励金の創設（経費の1/2を助成） - 厚生労働省
  • Another popular operating system is CP/M, the control program for microcomputers developed for early 8-bit machines by Digital Research, Incorporated
    広く普及しているオペレーティングシステム(OS)としてこのほかCP/Mがある.これは(米国の)ディジタルリサーチ社が初期の8ビットマシンを対象に開発したマイクロコンピュータ用の制御プログラムである - コンピューター用語辞典
  • XftConfig The XftConfig file contains configuration information for the Xft libraryconsisting of directories to look at for font information as well as instructions on editing program specified font patterns before attempting to match the available fonts.
    このファイルには、フォント情報を探す先のディレクトリや、プログラムが指定したフォントパターンを利用可能なフォントと比べる前に編集するための手順が書かれる。 - XFree86
  • To provide an electronic musical instrument with which procedures for trial contents are simplified and the form of using the trial and normal contents can be expanded and to provide a program of a control method for the same.
    試用コンテンツの手順を簡単化し、試用及び正規コンテンツの利用態様を拡大できる電子音楽装置及びその制御方法のプログラムを提供する。 - 特許庁
  • To provide an access control system and an access control method, for executing an application program, which can manage a license number appropriately and easily according to an individual contract license number for each organization.
    団体ごとの個人契約ライセンス数に従って適切で容易な管理が可能なアプリケーションプログラムを実行するアクセス制御システム及び制御方法を提供する。 - 特許庁
  • MUSICAL PERFORMANCE DRIVING DEVICE OF MUSICAL INSTRUMENT, METHOD FOR DRIVING MUSICAL PERFORMANCE OPERATOR OF MUSICAL INSTRUMENT UNDER FEEDBACK CONTROL, AND CONTROL PROGRAM FOR IMPLEMENTING SAME METHOD BY COMPUTER
    楽器の演奏駆動装置及び楽器の演奏操作子をフィードバック制御によって駆動するための方法及び該方法をコンピュータにより実行する制御プログラム。 - 特許庁
  • METHOD, DEVICE, AND SYSTEM FOR PROVIDING INFORMATION, METHOD, DEVICE, AND SYSTEM FOR ALLOTTING PROFIT OF INFORMATION PROVIDING SERVICE, AND COMPUTER PROGRAM
    情報提供方法、情報提供装置、情報提供システム、情報提供サービスの収益分配方法、その収益分配装置、その収益分配システムおよびコンピュータ・プログラム - 特許庁
  • METHOD AND SYSTEM FOR SETTLEMENT USING PORTABLE TELEPHONE SET AND STORAGE MEDIUM STORED WITH PROGRAM FOR SETTLING METHOD USING PORTABLE TELEPHONE SET
    携帯電話機を使用した決済方法、および携帯電話機を使用した決済システム、並びに携帯電話機を使用した決済方法のプログラムが記憶されている記憶媒体 - 特許庁
  • To provide a discussion support system, a discussion support method and a discussion support program, for supporting a discussion about approval and disapproval for a theme by a plurality of participants.
    複数の参加者によるテーマに対する賛否についての討論を支援するための討論支援システム、討論支援方法及び討論支援プログラムを提供する。 - 特許庁
  • To provide an information reading system, for reading information from a medium using an imaging part for computing an instruction position, and to provide a program and an information storage medium therefor.
    指示位置を演算するための撮像部を用いて媒体から情報を読み取ることが可能な情報読取システム、プログラム、及び情報記憶媒体を提供すること。 - 特許庁
  • To provide an operation display device, a scroll display control method and a scroll display control program for easily searching for a target display item from scroll display.
    スクロール表示の中から目的の表示項目を容易に探し出すことができる操作表示装置、スクロール表示制御方法およびスクロール表示制御プログラムを提供する。 - 特許庁
  • To provide an optical disk device to suppress increase of program capacity for control by storing parameters for control according to a kind of the optical disk by compressing them.
    光ディスクの種別に応じた制御用パラメータ圧縮して収納し、制御用プログラム容量の増大を抑制した光ディスク装置を提供することを目的とする。 - 特許庁
  • To provide a processor or controlling the amount of heat generated therein in harmony with its performance and a storage medium for recording a heat generation prediction control program for the processor.
    この発明は、発熱量とパフォーマンスを調和させて制御するプロセッサ及びプロセッサの発熱予測制御プログラムを記録した記録媒体を提供することを課題とする。 - 特許庁
  • To provide an image forming apparatus for appropriately managing a certificate and secret key used for SSL (Secure Socket Layer) communication, an information management method, and a program.
    ＳＳＬ通信に利用される証明書及び秘密鍵の管理を適切に行うことのできる画像形成装置、情報管理方法、及びプログラムの提供を目的とする。 - 特許庁
  • To provide a first-come learning method, a relaying apparatus, and a program for the relaying apparatus for discriminating whether packets are the same with high accuracy and applying routing control to a packet, even when existing relaying apparatuses are mixed over a network.
    同一パケットの判定を高精度でおこなうとともに、既存の中継装置がネットワーク上に混在する場合であってもパケットの経路制御をおこなうこと。 - 特許庁
  • To provide a schedule adjustment apparatus and a schedule adjustment program for determining an appropriate location for an event such as a conference without inputting a location where it is scheduled to be held.
    会議等のイベントについて、開催予定場所を入力しなくても、適切な場所が決定されるスケジュール調整装置およびスケジュール調整プログラムを提供する。 - 特許庁
  • METHOD FOR FORMING MOVING ROUTE IN ULTRA HIGH-SPEED LASER MACHINING AND DEVICE THEREFOR, AND STORAGE MEDIUM STORING PROGRAM OF METHOD FOR FORMING OF MOVING ROUTE IN ULTRA HIGH-SPEED LASER MACHINING
    レーザ超高速加工における移動経路生成方法及びその装置並びにレーザ超高速加工における移動経路生成方法のプログラムを記憶した記憶媒体 - 特許庁
  • For example, for a CD-ROM, when an audio CD is mounted, the system clock frequency is set to be smaller compared to the case that a program CD is mounted.
    例えば、ＣＤ−ＲＯＭでもオーディオＣＤが装着された場合にはプログラムＣＤが装着された場合に比べてシステムクロック周波数を小さく設定する。 - 特許庁
  • To provide a fuel assembly, capable of reducing the time required for formation of an appropriate control rod program for a nuclear reactor using a fuel assembly having SSR.
    ＳＳＲを有する燃料集合体を用いた原子炉に対する適切な制御棒計画の作成に要する時間を短縮できる燃料集合体を提供する。 - 特許庁
  • To provide a personality information processing program, device and method for acquiring/managing personality information changing with time, and for presenting personal relationships among a plurality of persons.
    時間とともに変化する個性情報を獲得・管理でき、また複数の人物間の個性の関わりを提示できる個性情報処理プログラム、装置及び方法を提供する。 - 特許庁
  • To provide a method of estimating a traveling time, a navigation device, and a program, for more accurately estimating traveling time taken for an automobile to arrive at a destination point.
    自動車が目的地点に到着するまでの走行時間をより正確に予測することができる走行時間予測方法、ナビゲーション装置及びプログラムを提供する。 - 特許庁
  • NONLINEAR FUNCTION UNIT, CIPHERING DEVICE FOR STREAM CIPHER, DECIPHERING DEVICE, MAC GENERATING DEVICE, CIPHERING METHOD FOR STREAM CIPHER, DECIPHERING METHOD, MAC GENERATING METHOD, AND PROGRAM
    非線形関数器、ストリーム暗号の暗号化装置、復号化装置、ＭＡＣ生成装置、ストリーム暗号の暗号化方法、復号化方法、ＭＡＣ生成方法およびプログラム - 特許庁
  • METHOD FOR QUANTITATIVE DETERMINATION CLASSIFIED BY STATES FOR SPECIFIED COMPONENT CONTAINED IN BASE METAL BY EMISSION SPECTROPHOTOMETRY, COMPUTER PROGRAM AND COMPUTER-READABLE STORAGE MEDIUM
    発光分光分析法による母材金属中に含有される特定成分の形態別定量方法、及びコンピュータプログラム並びにコンピュータ読み取り可能な記憶媒体 - 特許庁
  • To provide a method, computer and computer program for producing a rule for efficiently classifying structured documents such as XML documents.
    ＸＭＬ文書のような構造化文書を効率的に分類するためのルールを生成するための方法、コンピュータ及びコンピュータ・プログラムを提供することを目的とする。 - 特許庁
  • To provide the recording method of audit trail, the recording device of audit trail, and a program for recording the audit trail for suppressing the data quantity of audit trail.
    監査証跡のデータ量を抑制することができる監査証跡の記録方法、監査証跡の記録装置および監査証跡を記録するためのプログラムを提供する。 - 特許庁
  • To provide a control unit for a vehicle for enhancing reliability in rewriting a program in nonvolatile memory, and increasing the flexibility of process settings in a manufacturing line and a maintenance line.
    この発明は、不揮発性メモリのプログラムの書換え時の信頼性を向上し、製造ラインや整備ラインでの工程設定の自由度を増すことを目的とする。 - 特許庁
＜前へ 1 2 .... 953 954 955 956 957 958 959 960 961 .... 999 1000 次へ＞

例文データの著作権について