タグの一覧

最終更新: 2026-05-21 各ページの tags: frontmatter で使用するタグ一覧。

新しいタグを追加したら、このページにも追記すること。

Foundations

• category-theory — 圏論
• topos-theory — トポス理論
• type-theory — 型理論
• logic — 論理学一般
• set-theory — 集合論
• large-cardinals — 巨大基数

Logic

• provability-logic — 証明可能性論理

People

• person — 個人

Papers

• paper — 論文

Interest

• tool — ツール
• programming — プログラミング
• language — 言語
• startup — スタートアップ
• politics — 政治
• japan — 日本
• law — 法律

AI / Research

• ai — AI 一般
• research — 研究
• agent — エージェント

Organization

• organization — 組織

VTuber

• vtuber — VTuber 一般
• nijisanji — にじさんじ
• vsinger — VSinger
• liver — ライバー

音MAD

• sound-mad — 音MAD
• music-production — 音楽制作

組版

（現在使用中のタグなし。追加時はここに記入）