https://iid.systems/ja monthly 1 https://iid.systems/ja/profile monthly 0.6 https://iid.systems/ja/services monthly 0.6 https://iid.systems/ja/book monthly 1 https://iid.systems/ja/ai-alignment monthly 0.6 https://iid.systems/ja/essays monthly 0.6 https://iid.systems/ja/essays/agi-within-10-years monthly 0.6 https://iid.systems/ja/essays/justice-under-aligned-asi monthly 0.6 https://iid.systems/ja/formal-methods monthly 0.6 https://iid.systems/ja/formal-methods/overview monthly 0.6 https://iid.systems/ja/formal-methods/specification monthly 0.6 https://iid.systems/ja/formal-methods/mechanism monthly 0.6 https://iid.systems/ja/formal-methods/comparison monthly 0.6 https://iid.systems/ja/formal-methods/getting-started monthly 0.6 https://iid.systems/ja/formal-methods/research monthly 0.6 https://iid.systems/ja/formal-agent-contracts monthly 0.6 https://iid.systems/ja/formal-agent-contracts/getting-started monthly 0.6 https://iid.systems/ja/formal-agent-contracts/configuration monthly 0.6 https://iid.systems/ja/formal-agent-contracts/examples monthly 0.6 https://iid.systems/ja/formal-agent-contracts/evaluation monthly 0.6 https://iid.systems/ja/formal-agent-contracts/skills-reference monthly 0.6 https://iid.systems/ja/formal-spec-driven-dev monthly 0.6 https://iid.systems/ja/school monthly 0.6 https://iid.systems/ja/tools monthly 0.6 https://iid.systems/en monthly 1 https://iid.systems/en/profile monthly 0.6 https://iid.systems/en/services monthly 0.6 https://iid.systems/en/book monthly 1 https://iid.systems/en/ai-alignment monthly 0.6 https://iid.systems/en/essays monthly 0.6 https://iid.systems/en/essays/agi-within-10-years monthly 0.6 https://iid.systems/en/essays/justice-under-aligned-asi monthly 0.6 https://iid.systems/en/formal-methods monthly 0.6 https://iid.systems/en/formal-methods/overview monthly 0.6 https://iid.systems/en/formal-methods/specification monthly 0.6 https://iid.systems/en/formal-methods/mechanism monthly 0.6 https://iid.systems/en/formal-methods/comparison monthly 0.6 https://iid.systems/en/formal-methods/getting-started monthly 0.6 https://iid.systems/en/formal-methods/research monthly 0.6 https://iid.systems/en/formal-agent-contracts monthly 0.6 https://iid.systems/en/formal-agent-contracts/getting-started monthly 0.6 https://iid.systems/en/formal-agent-contracts/configuration monthly 0.6 https://iid.systems/en/formal-agent-contracts/examples monthly 0.6 https://iid.systems/en/formal-agent-contracts/evaluation monthly 0.6 https://iid.systems/en/formal-agent-contracts/skills-reference monthly 0.6 https://iid.systems/en/formal-spec-driven-dev monthly 0.6 https://iid.systems/en/school monthly 0.6 https://iid.systems/en/tools monthly 0.6