翻訳と辞書
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
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

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.