ダイクストラ(E. W. Dijkstra)というと---少なくとも、ボクにとっては---「構造化プログラミング*1」「最短経路探索に対するダイクストラ法*2」で有名なのだが、そのダイクストラによる「三平方の定理の証明の直筆ノート(のPDF)」があったのでスクラップ*3。…