Retourner au contenu associé (dépêche : Sortie de Coq 8.5 bêta, un assistant de preuve formelle)
Posté par chimrod (site web personnel) le 29 janvier 2015 à 10:07. En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 4.
Il y a un très bon bouquin qui aborde ce genre de questions : Hacker's Delight
Une version pdf est également disponible. Donc la moyenne peut être calculée par (section 2.5) :
mean = (x & y ) + (x ^ y) >> 1
(avec une opération de décalage de bit non signée).
Qui dit mieux ? :)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Idris
Posté par chimrod (site web personnel) . En réponse à la dépêche Sortie de Coq 8.5 bêta, un assistant de preuve formelle. Évalué à 4.
Il y a un très bon bouquin qui aborde ce genre de questions : Hacker's Delight
Une version pdf est également disponible. Donc la moyenne peut être calculée par (section 2.5) :
(avec une opération de décalage de bit non signée).
Qui dit mieux ? :)