「Data type」の共起表現一覧(1語右で並び替え)
該当件数 : 24件
| The goal is to define a | datatype by cases, where one can add new cases to the |
| Essentially, a polymorphic function or | datatype constructor may require that one of its argum |
| Part 9: Namespace and | datatype declaration in Document Type Definitions (DTD |
| In some languages this | datatype does not exist at all. |
| t evaluation for a value, pattern binding, or | datatype field. |
| a result, the 8-bit byte became the de facto | datatype for computer systems storing ASCII characters |
| A heterogeneous associative array | datatype has been added to allow users to create and o |
| The time_t | datatype is a data type in the ISO C library defined f |
| With its symbol | datatype, it offers the ability form name-based linkag |
| with it moves the pointer by the size of the | datatype it is declared to point to. |
| Part 5: Extensible Datatypes ( | Datatype Library Language (DTLL)) |
| er facilities, such as the powerful algebraic | datatype mechanism. |
| These variants differ only in the | datatype of scalar α. |
| xtended to include a method of annotating the | datatype of each value that is manipulated by the code |
| This approach is taken by the Nominal | Datatype Package of Isabelle/HOL. |
| In the Windows API, the | datatype SHORT is defined as a 16-bit signed integer o |
| The increased | datatype size allows for the use of larger coded chara |
| A wide character is a computer character | datatype that generally has a size greater than the tr |
| Like BCPL and FORTH, B had only one | datatype: the computer word. |
| be eliminated by declaring a new monomorphic | datatype to wrap a polymorphic type. |
| sic" operations on integer and floating point | datatype values, but focuses primarily on specfying re |
| It used the 'form' | datatype, which combines a specification and an implem |
| symbol in computer programming is a primitive | datatype whose instances have a unique human-readable |
| Let D be a | datatype with N constructors, , such that constructor |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|