翻訳言語

形式検証への浅いダイブ

Vitalik Buterin氏が形式検証（フォーマルベリフィケーション）の基礎を解説。従来のソフトウェアテストやバグ報奨金ではカバーしきれないバグを数学的に証明する手法について、イーサリアムのスマートコントラクトやZK-SNARKsなどの具体的な事例を交えながら、その考え方と利点を初心者にもわかりやすく紹介している。

RT Timothy Gowers @wtgowers: If you are a mathematician, then you may want to make sure you are sitting down before reading further.
7.0
Mathematician Timothy Gowers warns readers to brace themselves before reading further, suggesting the content that follows will be particularly impactful or surprising for mathematicians.
Closer look at an identity
0.5
The article examines why a previously derived mathematical identity only holds for x > 1 and y > 1, using Mathematica to plot the condition and showing that the identity's validity is restricted to that domain.

出典 HackerNews原文を表示 ↗

翻訳言語

形式検証への浅いダイブ

RT Timothy Gowers @wtgowers: If you are a mathematician, then you may want to make sure you are sitting down before reading further.
7.0
Mathematician Timothy Gowers warns readers to brace themselves before reading further, suggesting the content that follows will be particularly impactful or surprising for mathematicians.
Closer look at an identity
0.5
The article examines why a previously derived mathematical identity only holds for x > 1 and y > 1, using Mathematica to plot the condition and showing that the identity's validity is restricted to that domain.

形式検証への浅いダイブ

関連記事

RT Timothy Gowers @wtgowers: If you are a mathematician, then you may want to make sure you are sitting down before reading further.

Closer look at an identity

形式検証への浅いダイブ

関連記事

RT Timothy Gowers @wtgowers: If you are a mathematician, then you may want to make sure you are sitting down before reading further.

Closer look at an identity