出している日付の意味

並んでいるのは「そのページの中身が最後に変わった日」です。新しく足した日とはかぎりません。どの日付を使うかは、ページの種類で決まっています。

  • 記事のあるページ … 記事を最後に書き直した日(記事に書いてある更新日)
  • 記事の無いページ … 配っているPDFを最後に作った日
  • まとめページ … まとめている子ページのうち、いちばん新しい日付

記事のあるページでは、PDFを作り直しただけでは日付は変わりません。 作り直して記事の数字と合わなくなった場合は検査で止まるので、記事を直し、そのときに記事の更新日を書き換えています。

「この日に何を直したか」まではここに書いていません。書くとしたら人が書き足すことになり、書き忘れた分がそのまま抜けるからです。抜けのある履歴は、無いよりたちが悪いので置いていません。

検索エンジンに伝えている日付と同じ

ここに出している日付は、検索エンジンに渡している更新日(lastmod)と同じ値です。出どころが1つなので、「履歴のページには載っているのに検索エンジンには古いままを伝えている」という食い違いが起きません。

プリントの中身が変わったとき

問題の作り方を変えると、配るPDFの中身が変わります。そのときは、記事に書いてある数字も一緒に直しています。

数字と紙が食い違っていないかは、公開のたびに機械が確かめています。 「10枚のうちいちばん長い道は53マス」と書いてあるのに、作り直した紙では別の値になっている——そういうずれは公開前に止まります。過去に実際に起きたことがあるので、検査を足しました。

すでに印刷した紙を使い続けることに制限はありません。手元の紙と、いま配っている紙の中身が違う場合があります。

直したことを知りたいとき

何をどう確かめて公開しているかは編集方針に、問題と線画の作り方は問題・線画の作り方に書いてあります。どちらも、できていないことは「できていない」と書く方針です。

いま公開しているページの全体はサイトマップで見られます。