KDOC 41: 言語仕様書、RFC、数学の難しさは字面通りではないことにある
プログラミング言語仕様書1、RFC2、数学は共通して難しい。難しさは、単純に字面を理解するだけでは理解できない点にあるように見える。厳密でシンプルな言葉の裏には多くの背景知識、文脈、歴史がある。小説のように本全体を読めばロジックを理解できるわけではない。
理解するために必要に思えること。
- わからないところを明確に認識し、それについて疑問を持って調べること
- 単に「それが事実だ」として読むのでなく、疑問を持って読む。不自然さを認識し、わざわざここでこの語句があるのはどういう意味や背景があるのかを考えること
関連
- 『数学書の読みかた』とGoの言語仕様書精読のススメ & 英語彙集を読んで、 共通していると考えた
Footnotes:
1
プログラミング言語の仕様を公開した文書。例: Go プログラミング言語仕様 | gospec-ja。
2
インターネット関連の標準仕様を公開した文書。例: RFC 9382: SPAKE2, a Password-Authenticated Key Exchange。