関数型プログラムの英語

本開示の一形態に係る情報処理装置１は、プログラム記憶部に記憶されたプログラム中のすべての第１の実関数について、第１の実関数の全入出力変数の保護属性情報と、第２の関数型記憶部に記憶された第１の実関数型情報のいずれか１つに含まれる保護属性情報とが一致する場合に、一致した保護属性情報を各変数の保護属性情報に決定する。例文帳に追加

The information processor 1 makes coinciding protective attribute information determined to be protective attribute for each variable, when protective attribute information of all input/output variables of a first real function coincides with protective attribute included in any one of first real function type information stored in a second function type storage section, as for all of the first real functions in programs stored in a program storage section. - 特許庁

関数呼出／復帰命令を定型的ではなく、非定型定とすることで、プログラムの逆コンパイル時に、異常終了または誤った結果を引き起こさせることが可能となる。例文帳に追加

The function call/return instructions, which are not typical but atypical, can cause an abnormal end or wrong result when the program is reverse-compiled. - 特許庁

他の観点では、データ集合において領域を分類するために点広がり関数型規則を用いることをコンピュータに命令するように構成されているプログラムを組み入れたコンピュータ読み取り可能な媒体が提供される。例文帳に追加

In other viewpoints, a computer readable medium is provided which incorporates a program configured to order a computer to use the point spread function type rule for classifying the region in the data set. - 特許庁

暗号関数、復号関数を使用せず、かつ高速な楕円曲線上の離散対数問題に基づく、署名の長さが短い１−ｏｕｔ−ｏｆ−ｎ型の署名生成、及び署名検証を可能とする方法、装置、プログラム、記録媒体を提供する。例文帳に追加

To provide methods, apparatuses, programs, and storage media that can generate and verify a short 1-out-of-n type signature without using coding and decoding functions and at the same time based on a discrete logarithmic problem on a high-speed elliptic curve. - 特許庁

各変数に定義された保護属性に基づいて、プログラムリストに記述されたセキュリティ関数の入出力に係る引数の保護属性を特定し、当該セキュリティ関数に対応するセキュリティ関数の型に規定された保護属性と一致するか否かを判定し、不一致が確認された場合その旨を示したエラー情報を出力する。例文帳に追加

The protection attributes of an argument related with the input/output of security functions described in a program list are specified based on protection attributes defined in each variable, and whether or not the protection attributes match protection attributes specified in the type of the security functions corresponding to the security functions is decided, and when mismatching is confirmed, error information showing the result is output. - 特許庁

エンジニアリングツール１０のプロジェクト設定ファイル１４、１７に従ってロードされたＣ言語プログラム１３、１６がタスク型プロジェクト１２であればリアルタイムＯＳ３のタスクとして動作させ、関数型プロジェクト１５であれば他のタスクから関数としてコール可能な状態でメモリ７に格納する。例文帳に追加

When the C language programs 13, 16 loaded in accordance with the project setting files 14, 17 of an engineering tool 10 are of a task form project 12, they are operated as the task of a real time OS3, When they are a function form project 15, they are stored in a memory 7 in a callable state from another task as a function. - 特許庁

有限要素法によるプログラム処理を記述したライブラリであって、有限要素法の基底関数の張るベクトル空間のベクトルと、該基底関数の２乗積分から決まる内積より誘導される計量によって定まる双対ベクトル空間の双対ベクトルとを異なる抽象データ型として定義することを特徴とする。例文帳に追加

This library describes program processing by a finite element method and defines a vector in a vector space in which a basis function of the finite element method is stretched and a dual vector in a dual space defined by measurement introduced by an inner product decided from a square integral of the basis function as different abstract data types. - 特許庁

蓄積型撮像素子における積分効果で失われた動画像フレーム列上の動領域の空間高周波成分を効果的に補償し、かつ人間の視覚特性に係るコントラスト感度関数による自然な空間解像度拡大を行うことができる動画像空間解像度拡大装置および動画像空間解像度拡大プログラムを提供する。例文帳に追加

To provide a moving image spatial resolution magnifying apparatus and a moving image spatial resolution magnifying program in which a spatial high frequency component in a moving region on a moving image frame sequence lost by an integration effect in a storage type imaging device is effectively compensated and natural spatial resolution magnification by a contrast sensitivity function relating to human sight characteristics can be performed. - 特許庁