跳至內容

討論:類型論

頁面內容不支援其他語言。
新增話題
維基百科,自由的百科全書
由Jimmy-bot在話題公式解析失敗上作出的最新留言:2 個月前
基礎條目 類型論屬於維基百科數學主題的基礎條目第五級。請勇於更新頁面以及改進條目。
          本條目屬於下列維基專題範疇:
數學專題 (獲評未評級中重要度
本條目屬於數學專題範疇,該專題旨在改善中文維基百科數學類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 未評級未評  根據專題品質評級標準,本條目尚未接受評級。
   根據專題重要度評級標準,本條目已評為中重要度
電腦和資訊科技專題 (獲評高重要度
本條目屬於電腦和資訊科技專題範疇,該專題旨在改善中文維基百科資訊科技相關條目類內容。如果您有意參與,請瀏覽專題主頁、參與討論,並完成相應的開放性任務。
 未評級未評  根據專題品質評級標準,本條目尚未接受評級。
   根據專題重要度評級標準,本條目已評為高重要度


公式解析失敗

[編輯]

類型論#項與類型「項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)回覆