翻訳と辞書
Words near each other
・ distributed processes
・ distributed queue dual bus
・ distributed smalltalk
・ distributed system
・ distributed systems
・ distribution
・ distributive lattice
・ disusered
・ dithering
・ ditto drive
diverge
・ divisor
・ dj
・ djgpp
・ djvu
・ dk
・ dl/1
・ dl/i
・ dlc
・ dlci


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

diverge : FOLDOC
diverge
If a series of approximations to some value get progressively further from it then the series is said to diverge.
The reduction of some term under some evaluation strategy diverges if it does not reach a normal form after a finite number of reductions.
(1994-12-08)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.