このノートについて

概要

澄が興味を持っていることについて、できる限り網羅的な勉強ノートを作ることを目指しています。

注意事項

このノートは現在のところ澄の個人プロジェクトであり、他者のチェックが入っていません。また、澄の専門ではない分野についても数多く取り扱われる予定です。 そのため、以下の点に注意してください。

• 初学者、初心者向けの解説であることを意図していません。特に、self-containedであることを意図していません。
  • ただし、原則として出典 / 参考文献を明記するようにし、必要であれば元の情報を辿れるようにしています。
• 誤りは気づき次第修正していますが、残っている可能性が高いです。誤りを見つけた場合は X または GitHubまで。

色分け

概ね以下の分類に沿って、各ページの色分けを行っています。

• 数学
• 論理学・計算機科学

バージョン

概ね以下のルールにしたがい、各ページにバージョンを付与しています。

形式

セマンティックバージョニングを参考に、メジャーバージョン、マイナーバージョン、パッチバージョンをドット区切りで並べて表記する。 （0.2.4、2.0.15など）

バージョン

• メジャーバージョン：ページ内の内容構成の大幅な変更でインクリメントする。
• マイナーバージョン：ページ内の定理番号が変更される程度の変更でインクリメントする。
  • メジャーバージョンが0の場合、メジャーバージョン相当の変更でもマイナーバージョンをインクリメントする。
• パッチバージョン：ページ内の定理番号を変更しない程度の変更でインクリメントする。

新規作成とバージョンアップ

• 新規作成時は、内容の完成度によらずバージョンは 0.1.0 とする。
• 今後、大幅に変更が入る可能性が少ないと判断された時点で、メジャーバージョンをインクリメントする。