「Type D」の共起表現一覧(1語右で並び替え)
該当件数 : 139件
| I | typed a search for Ryoei Saito and was redirected he |
| Before the query has been | typed, a drop-down list with the suggested complete |
| It is strongly | typed and supports remote function calls. |
| Nodes and edges are commonly | typed and attributed. |
| mming language is object oriented, dynamically | typed, and reflective. |
| Both | typed and untyped pointers are also supported, along |
| nk URL's, someone has to teach me that, I just | typed and did stuff from the computer i knew. |
| Some languages which are not dynamically | typed and lack ad-hoc polymorphism (including type c |
| Hegarty administered the Church and | typed and edited The Satanic Bible, The Satanic Ritu |
| However, COFFEE is dynamically | typed, and so variables are defined with a simple va |
| It is fully dynamically | typed and uses automatic memory management; it is th |
| or example the keyword endofprogramme could be | typed as %end %of %programme or %endofprogramme |
| hedule algorithm that is given a person object | typed as an accountant and a job object typed as eng |
| urning to feature filmmaking, Tsui was quickly | typed as a member of the "New Wave" of young, iconoc |
| s will abstain from actions if the actions are | typed as unlawful (i.e. |
| A | typed assembly language with a suitably expressive t |
| Typed assembly languages usually include a high-leve | |
| Typed assembly languages are such an instance of "lo | |
| andard ML programming language, a foundational | typed assembly language system from CMU, and a found |
| In computer science, a | typed assembly language (TAL) is an assembly languag |
| e and only one multiset of terms, the place is | typed by its multiset. |
| helial cells may be identified and genetically | typed by a crime lab. |
| One exception is the statically | typed Cat language which uses row polymorphism to as |
| interprocess communication over | typed channels |
| e available as a hierarchy of custom, strongly | typed classes, in contrast to the generic objects cr |
| ata integrity mechanism provided by statically | typed columns in other products. |
| sion of Ada (programming language), a strongly | typed, comb-structured language with exception handl |
| A | typed command driver interface is used to control th |
| user first walked up to a terminal at MIT and | typed control-Z to get the computer's attention, it |
| video display terminals and a scanner to read | typed copy. |
| a structures such as lists, maps, and trees of | typed data in a compact, easy to read representation |
| eter written in OCaml, and supports statically | typed distributed programming, transparent remote co |
| It has a message in | typed English and hand-written Tibetan, similar to t |
| are only ensured for said writes of primitive | typed fields. |
| The logics supported by SBVR are | typed first order predicate logic with equality, res |
| Programming Computable Functions, an abstract | typed functional language. |
| Pure is a dynamically | typed, functional programming language based on term |
| Boo is an object-oriented, statically | typed, general-purpose programming language that see |
| o:XML is an open source, dynamically | typed, general-purpose object-oriented programming l |
| ink and quill"; Mary was his first reader and | typed his manuscripts "pretty" for the publisher. |
| Commands could be | typed in directly with a standard IRC client but poi |
| Given only the words to the hymns | typed in paragraph form, the choir learned to sing t |
| ikipedias it generates hits from Yiddish words | typed in Google, with Wikipedia articles on top of t |
| Yesterday, when I | typed in drug abuse in search, it was blank, which i |
| e code as an executable, as well as verify the | typed in data line by line. |
| ct is that because search terms in elgooG were | typed in reverse, and the search results were also i |
| Setting SYSKEY to mode 2 or 3 (syskey | typed in during bootup or stored on a floppy disk) w |
| s; these forms often employ dialect and may be | typed in the roman alphabet (see, for example, Arabi |
| ppropriate animation when a recognised word is | typed in. |
| rked well enough for the kinds of things users | typed interactively but not very well on the more co |
| t to come up when the words "the Apostles" are | typed into search? |
| Its ISBN converter can configure scanned or | typed ISBN numbers as Ibidem records. |
| icizing inaccurate info by saying "If somebody | typed it, it must be true." |
| his is not generally the case, e.g. the simply | typed lambda calculus allows only terms to depend on |
| a generalized type system (GTS), is a form of | typed lambda calculus that allows an arbitrary numbe |
| ng normalization does not hold for recursively | typed lambda calculus, termination of programs manip |
| See for example simply | typed lambda calculus. |
| Typed lambda calculi are foundational programming la | |
| Various | typed lambda calculi have been studied: The types of |
| Various systems of | typed lambda calculus including the simply typed lam |
| mbda cube to systematize the relations of pure | typed lambda calculi (including simply typed lambda |
| In the | typed lambda calculus, the turnstile is used to sepa |
| Epigram is essentially a | typed lambda calculus with generalized algebraic dat |
| The CoC is a higher-order | typed lambda calculus, initially developed by Thierr |
| Some | typed lambda calculi introduce a notion of subtyping |
| To define the set of well | typed lambda terms of a given type, we will define a |
| ter adopted and/or reinvented in areas such as | typed lambda calculus and explicit substitution. |
| also used to refer to extensions of the simply | typed lambda calculus such as products, coproducts o |
| re defined in curried form, such as the simply | typed lambda calculus, a function type depends on ex |
| Typed lambda calculi play an important role in the d | |
| System T extends the simply | typed lambda calculus with a type of natural numbers |
| functions that cannot be defined in the simply | typed lambda calculus (and similarly there are compu |
| A kind system is essentially a simply | typed lambda calculus "one level up", endowed with a |
| n language is a non-strict, purely functional, | typed language in the spirit of Haskell. |
| Boo) is a statically | typed language and it allows unlimited access to .NE |
| lend of Pascal, C and ALGOL 68, was a strongly | typed language most notable for its ability to produ |
| It is a strongly | typed language, the type system being based on many- |
| language, with the type safety of a statically | typed language. |
| Systems based on statically | typed languages are technically feasible, however. |
| currently no built-in support for dynamically | typed languages, because the existing JVM instructio |
| be seen as the implied type of non-statically | typed languages. |
| stems are based on interpreted and dynamically | typed languages. |
| binaries, thus easing support for dynamically | typed languages. |
| currently no built-in support for dynamically | typed languages: the existing JVM instruction set is |
| Progress ABL is a strongly | typed, late-bound, English-like programming language |
| seperate words, not one word and should not be | typed like one word. |
| Harry Alexander Davis wrote a long (the | typed manuscript, held at the US Library of Congress |
| Allows no uses of simple or complex | typed members within XBRL Dimensions. |
| er order academic politics is contained in the | typed minutes of the Board of Directors of the Unive |
| ding formal models of mixins, inheritance, and | typed models of object-oriented languages. |
| Sermons, Addresses and Radio Talks, | typed mss., in the Methodist Bishops' Collection at |
| Because of statically | typed nature of the script execution CS-Script demon |
| seen as analogous to types (in most statically | typed object-oriented languages they serve that role |
| Python uses duck typing and has | typed objects but untyped variable names. |
| Fruit buns are a | typed of baked bread roll, muffin or loaf made with |
| Thorn can also be | typed on a normal QWERTY keyboard using various syst |
| ystroke logger, which then captures everything | typed on the affected computer. |
| aim, frame and claim of the organisation were | typed on an Yellow Paper and a Constitutional Commit |
| g the predictive text input (where each key is | typed once per word and the software automatically g |
| to categorize and archive information; notes ( | typed or handwritten), pictures, graphics, photos an |
| Programs were only executed as the machine | typed or spaced over a column - tabbing or carriage |
| The Davie Library only has one document, a | typed out recollection from several decades ago. |
| It was, like, 16 or 17 single-spaced | typed pages of -- but he didn't address the issue of |
| s and their parents could run to three or four | typed pages, intermixing his philosophy of education |
| ilt in dictionary, including words sharing the | typed prefix. |
| 1977-1983) of Ada, a general-purpose, strongly | typed programming language with certified validated |
| It provides a small interpreted, dynamically | typed programming language supporting among other da |
| nvenient access to each field through strongly | typed properties. |
| Ioke is a dynamic, strongly | typed, prototype-based programming language targetin |
| Seph is a dynamic, strongly | typed, prototype-based programming language targetin |
| Despite being dynamically | typed, Python is strongly typed, forbidding operatio |
| ementation of the object-oriented, dynamically | typed, reflective programming language Smalltalk. |
| rm (SSA), meaning that each variable (called a | typed register) is assigned once and is frozen. |
| regularly, often following them up with witty | typed reports, photocopied for wide distribution via |
| Murano disputed McKinney's review in a 10-page | typed response sent March 10 to the chancellor and t |
| Using the strongly | typed retrieval methods can be more cumbersome, espe |
| The film was originally silent, with a | typed script which Ames read aloud when he showed th |
| ery few indeed have sat like him, staring at a | typed semi-colon for half an hour and deliberating w |
| but I have no proof other than Lil's original | typed sheets. |
| A generic value is not | typed, so fields of an entity are accessed by the co |
| FL is a dynamically | typed strict functional programming language with th |
| Test Control Notation version 3) is a strongly | typed test scripting language used in conformance te |
| to dictate words that will be transcribed into | typed text in an Office program, while Voice Command |
| marriage, Susan was one of the secretaries who | typed the English versions of the German Instrument |
| , I used {{Dtsh}} (which hides its output) and | typed the start and end dates myself, so it would re |
| he earliest date in the template, and manually | typed the ending date. |
| All expressions in Z notation are | typed, thereby avoiding some of the paradoxes of nai |
| There is also a run of | typed transcripts, made for Lord Stuart of Wortley, |
| Stone later | typed up the information from the 214 turned-in card |
| These plans were | typed up and distributed among the rest of the group |
| These plans were | typed up and distributed among the rest of the group |
| changed his testimony to claim that Ethel had | typed up his notes. |
| directed by the manuscript of a novel as it is | typed up. |
| leased it was quickly discovered that anything | typed using the keyboard was being interpreted as a |
| not only easier to learn, but means it can be | typed using a normal keyboard. |
| Future and promise | typed variables are used to implement data-flow sync |
| duced more elements of the C language (such as | typed variables), while including Windows extensions |
| me models of lambda calculus; can we imagine a | typed version of Turing's machine that would behave |
| guage is semi-dynamic, and optionally strongly | typed, with full object orientation. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
