KDOC 41: 言語仕様書、RFC、数学の難しさは字面通りではないことにある

プログラミング言語仕様書1、RFC2、数学は共通して難しい。難しさは、単純に字面を理解するだけでは理解できない点にあるように見える。厳密でシンプルな言葉の裏には多くの背景知識、文脈、歴史がある。小説のように本全体を読めばロジックを理解できるわけではない。

理解するために必要に思えること。

Footnotes:

1

プログラミング言語の仕様を公開した文書。例: Go プログラミング言語仕様 | gospec-ja。

2

インターネット関連の標準仕様を公開した文書。例: RFC 9382: SPAKE2, a Password-Authenticated Key Exchange。

関連。