翻訳と辞書 Words near each other ・ icw ・ icws ・ id ・ id nouveau ・ id software ・ id10t ・ idams ・ idd ・ ide ・ idea ・ ideal ・ idealized csp ・ idealized instruction set ・ idef ・ idef0 ・ idempotent ・ identifier ・ idk ・ idl ・ idms Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ideal ： FOLDOC IDEAL 1. Ideal DEductive Applicative Language. A language by Pier Bosco and Elio Giovannetti combining Miranda and Prolog. Function definitions can have a guard condition (introduced by ":-") which is a conjunction of equalities between arbitrary terms, including functions. These guards are solved by normal Prolog resolution and unification. It was originally compiled into C-Prolog but was eventually to be compiled to {K-leaf}. 2. A numerical constraint language written by Van Wyk of {Stanford} in 1980 for {typesetting} graphics in documents. It was inspired partly by Metafont and is distributed as part of Troff. ["A High-Level Language for Specifying Pictures", C.J. Van Wyk, ACM Trans Graphics 1(2):163-182 (Apr 1982)]. (1994-12-15) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.