跳转到内容

Talk:类型论

页面内容不支持其他语言。
添加话题
维基百科,自由的百科全书
Jimmy-bot在话题“公式解析失败”中的最新留言:1个月前
基础条目 类型论属于维基百科數學主题的基礎條目第五級。请勇于更新页面以及改進條目。
          本条目属于下列维基专题范畴:
数学专题 (获评未评級中重要度
本条目属于数学专题范畴,该专题旨在改善中文维基百科数学类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 未评级未评  根据专题质量评级标准,本条目尚未接受评级。
   根据专题重要度评级标准,本條目已评为中重要度
电脑和信息技术专题 (获评高重要度
本条目属于电脑和信息技术专题范畴,该专题旨在改善中文维基百科資訊科技相关条目类内容。如果您有意参与,请浏览专题主页、参与讨论,并完成相应的开放性任务。
 未评级未评  根据专题质量评级标准,本条目尚未接受评级。
   根据专题重要度评级标准,本條目已评为高重要度


公式解析失败

[编辑]

类型论#項與類型“項x的類型是”的\mathbb{N}

“解析失败 (SVG(MathML可通过浏览器插件启用):从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应(“Math extension cannot connect to Restbase.”):): {\displaystyle \mathbb{N}} ”,

但問題只存於香港繁體版本,其他變體包括澳門均正常顯示,用Windows Edge及Android Chrome皆能於登出狀態復現,同一條目下方类型论#歸納類型的0、1、2、\mathbb{N}正常顯示。--惣流·明日香·蘭格雷不姓 2025年3月12日 (三) 11:19 (UTC)回复

上面的\mathbb{N}於此頁面正常顯示。--惣流·明日香·蘭格雷不姓 2025年3月12日 (三) 11:20 (UTC)回复
服务器临时故障?我这里未发现问题--百無一用是書生 () 2025年3月13日 (四) 07:13 (UTC)回复
用vpn試了台灣日本,能復現,到英國美國就正常顯示,回到亞洲又復現,太詭異了,不過看來確實是服務器相關問題。惣流·明日香·蘭格雷不姓 2025年3月13日 (四) 07:32 (UTC)回复
剛剛再看能正常顯示了,但不理解爲何原問題僅影響一語言變體版。--惣流·明日香·蘭格雷不姓 2025年3月14日 (五) 11:21 (UTC)回复
@Sohryu Asuka Langley Not Shikinami應該是剛好快取到錯誤的版本--SunAfterRain 2025年3月14日 (五) 13:38 (UTC)回复
所以這是cache+CDN的組合拳?但我應該purge過一兩次也沒效果,不過可能記錯了,隨便吧 囧rz……--惣流·明日香·蘭格雷不姓 2025年3月14日 (五) 14:04 (UTC)回复
可能是语言变体的cache机制略有不同?--百無一用是書生 () 2025年3月15日 (六) 10:56 (UTC)回复