中汽協(xié)：3月汽車商品進(jìn)出口總額為238.2億美元，環(huán)比增長(zhǎng)32.1% 滿載30噸雙氧水的槽罐車側(cè)翻泄漏，黃石消防疏散群眾緊急處置 感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 9 日消息，2023 年已經(jīng)到來(lái)，將有更多新游戲登陸 Xbox Game Pass。Xbox 官網(wǎng)發(fā)布了今年確認(rèn)登陸 Xbox Game Pass 的游戲列表，共超過(guò) 50 款游戲，其中既有第一方獨(dú)游戲，也有 3A 大作，以及獨(dú)立工作室品的小型獨(dú)立游戲。分游戲如下：1.19：《女神異聞錄 3：攜帶版》《女神異聞 4：黃金版》1.20：《怪物獵人：崛起》1.31：《帝國(guó)時(shí)代 2：終極版》《神筆談兵》2.21：《原子之心》3.3：《臥龍：蒼天隕落》2023 年春季：《失憶癥：地堡》柢山罪惡裝：Strive》《極限競(jìng)速 8》2023 上半年：《我的世界：傳奇》《紅霞島》星空》《潛行者 2》2023 年：《帝國(guó)時(shí)代 4》《方舟 2》《黃金眼 007》《人類》《匹諾曹的言》《二之國(guó) 2：亡靈之國(guó)》《德州電鋸人狂》《戰(zhàn)錘 40K：暗潮》以及動(dòng)視暴游戲（收購(gòu)后）IT之家了解到，Xbox Game Pass 是一項(xiàng)由微軟推出的過(guò)月付游玩游戲的服，用戶在每個(gè)月繳納定數(shù)額的金錢后，就以游玩到 Xbox Game Pass 游戲庫(kù)中的所有游戲并且微軟還將向游戲中增加游戲。名單截? 感謝IT之家網(wǎng)友 我是拼搏 的線索投遞！IT之家 1 月 3 日消息，在嶄新的 2023，華為現(xiàn)宣布為大家來(lái)嶄新的 HarmonyOS 3 升級(jí)。華為 nova 7 5G、華為 nova 7 Pro 5G、華為 nova 6、華為?nova 6 5G 這 4 款機(jī)型已開(kāi)啟式版升級(jí)，外華為 MatePad 10.4 英寸 2022 悅動(dòng)版也啟動(dòng)了花粉 Beta 招募。升級(jí)路徑手機(jī)端）：1、“我的華 App - 首頁(yè) - 升級(jí)嘗鮮 -（HarmonyOS 3 嘗鮮）立即查看-（多設(shè)備嘗鮮）升嘗鮮”；2、“會(huì)員中心 App - 首頁(yè) - 升級(jí)嘗鮮 - HarmonyOS 3 升級(jí)嘗鮮”得一提的是3.0.0.166 版本即為正式版但由于此前式版報(bào)名未啟，因此未外體現(xiàn)正式。IT之家曾報(bào)道，華為去年 9 月推出了鴻蒙 HarmonyOS 3 系統(tǒng)，帶來(lái)大升級(jí)體驗(yàn)包括超級(jí)終、鴻蒙智聯(lián)萬(wàn)能卡片、暢性能、隱安全、信息障礙等，而耀 30、20、10 等一系列機(jī)型于今年獲推 HarmonyOS 3。在 11 月 4 日華為開(kāi)發(fā)者大會(huì) HDC2022 上，華為已經(jīng)推出了 HarmonyOS 3.1 版本。HarmonyOS 3.1 版本主推 ArkTS 開(kāi)發(fā)語(yǔ)言，ArkTS API 的數(shù)量也將達(dá)到 10000+，主要 API 能力包括：增強(qiáng)的聲明 UI 能力、全新的應(yīng)開(kāi)發(fā)模型 ——Stage 模型，并在 DFX、Web 組件開(kāi)發(fā)、國(guó)際化發(fā)、通信互、媒體軟件子系統(tǒng)能力面有所更新增強(qiáng)，這些力標(biāo)志著 HarmonyOS 全面進(jìn)入 ArkTS 語(yǔ)言的聲明式開(kāi)發(fā)階? IT之家 1 月 11 日消息，針對(duì) Pixel 設(shè)備的 Android?13 QPR2 Beta 2 更新目前已經(jīng)推，新功能不多，除新的表情號(hào)之外，有一些隱功能，其一個(gè)功能強(qiáng)制讓手中的應(yīng)用啟主題圖，即使應(yīng)本身并不持。IT之家了解到這個(gè)功能為“ENABLE_FORCED_MONO_ICON”，其描為：“如應(yīng)用程序提供單色標(biāo)，則啟生成單色標(biāo)的能力”也就是，該功能作用是把通的應(yīng)用標(biāo)變成單版本的圖，使得圖的主題顏可以與壁相匹配。個(gè)功能對(duì)身非常簡(jiǎn)的圖標(biāo)很效，但當(dāng)屏幕由更風(fēng)格化的用圖標(biāo)組時(shí)，比如彩色背景 Instagram，看起來(lái)有點(diǎn)亂。前這個(gè)功仍在測(cè)試，最終不定會(huì)添加 Android?13 穩(wěn)定版中? 感謝IT之家網(wǎng)友 叡哥 的線索投遞！IT之家 12 月 30 日消息，基于 NT 架構(gòu)的全新?QQ Linux 版已結(jié)束內(nèi)測(cè)，并正式為其推出官（點(diǎn)此查看），并為所有戶提供下載。新版本提供 deb、rpm、Applmage 三種格式的軟件包，同時(shí)也支持 Arm64 平臺(tái)。如何選擇安裝包？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每種架構(gòu)支持 Debian 系、Red Hat 系、其它發(fā)行版中的一種或幾種（未可能繼續(xù)擴(kuò)充）。每一次布均會(huì)提供架構(gòu)和發(fā)行版若干種組合支持的安裝包可按下面所述的規(guī)則進(jìn)行擇。每一個(gè)安裝包會(huì)按照如如下的格式命名：linuxqq_3.0.0-100_x64.rpm[產(chǎn)品名] [---版本號(hào)---][架構(gòu)][格式]1、選擇架構(gòu)：根據(jù)你所使的機(jī)器硬件架構(gòu)選擇相應(yīng)兼容架構(gòu)類型（可通過(guò) uname -a 查看）x64（x86_64、amd64）、arm64（aarch64）2、根據(jù)你所使用的 linux 發(fā)行版選擇格式：如何安裝QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每種架構(gòu)支持 Debian 系、Red Hat 系、其它發(fā)行版中的一種或幾種（未來(lái)可繼續(xù)擴(kuò)充）。每一次發(fā)布會(huì)提供架構(gòu)和發(fā)行版的若種組合支持的安裝包，可下面所述的規(guī)則進(jìn)行選擇RPMsudo rpm -ivh linuxqq_3.0.0-100_arm64.rpmDEBDEBsudo dpkg -i linuxqq_3.0.0-100_amd64.deb或sudo apt install -y linuxqq_3.0.0-100_amd64.debAppImagechmod +x linuxqq_3.0.0-100_x64.AppImage./linuxqq_3.0.0-100_x64.AppImage如何卸載？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每種架構(gòu)支持 Debian 系、Red Hat 系、其它發(fā)行版中的一種或種（未來(lái)可能繼續(xù)擴(kuò)充）每一次發(fā)布均會(huì)提供架構(gòu)發(fā)行版的若干種組合支持安裝包，可按下面所述的則進(jìn)行選擇。RPMsudo rpm -e linuxqqDEBsudo dpkg -r linuxqq下面是 QQ Linux 3.0.0 版本更新內(nèi)容：1、新增夜間模式并支持跟隨系統(tǒng)，享受沉浸的聊天體驗(yàn)；2、新增?QQ 截圖能力，快捷方便，提升辦公效率；3、新增群應(yīng)用功能，圖片、文輕松傳送，群聊更高效；4、新增全局搜索能力，進(jìn)步提升內(nèi)容搜索效率。IT之家獲悉，QQ for Linux 版采用全新架構(gòu)，以 QQ NT 技術(shù)架構(gòu)驅(qū)動(dòng)，支持消息、小界、QQ 空間板塊等。QQ for Linux 版可跟隨系統(tǒng)外觀，智能換。比如自動(dòng)切換黑暗模等。QQ for Linux 版支持全局搜索，快速搜索，便捷全面。QQ for Linux 版支持截圖功能，隨心截圖，你所需。QQ for Linux 版支持群應(yīng)用，圖片、文件輕松傳送，群更便捷? 感謝IT之家網(wǎng)友 重拾韶華、一切都剛剛好、驩頭嶼千蕁Sancu、航空先生 的線索投遞！IT之家 1 月 5 日消息，比亞迪今日在孟涂圳召開(kāi)仰望品牌暨技術(shù)乾山布。在品牌發(fā)布會(huì)上，仰望品兩款量產(chǎn)車型百萬(wàn)級(jí)新能源派越野 U8 和百萬(wàn)級(jí)純電動(dòng)性能超跑 U9?同步亮相，兩款車型均標(biāo)配強(qiáng)良易四方技術(shù)。IT之家了解到，仰望 U8 是該品牌首款量產(chǎn)車型犰狳定位百萬(wàn)級(jí)新能源硬派野。其車長(zhǎng)超過(guò) 5 米，車寬超過(guò) 2 米，采用了仰望品牌的家族蟜設(shè)計(jì)“時(shí)空之”，將未來(lái)感和科技感融入整車的設(shè)計(jì)。仰望品牌女?huà)z示在“易四方”技術(shù)的加持下仰望 U8 既有硬派越野的性能、安全和可靠，又有科智能，可以憑借出色的女?huà)z技與復(fù)雜路況下的智能脫困與急避險(xiǎn)能力，把現(xiàn)代文明帶曠野戶外。此外，仰望 U9 定位百萬(wàn)級(jí)純電動(dòng)性能超跑，整車搭載易四方朱獳力系統(tǒng)零百加速達(dá)到 2 秒級(jí)。設(shè)計(jì)方面同樣采用了“時(shí)空之”設(shè)計(jì)語(yǔ)言。整車外觀既軨軨了經(jīng)典超跑的設(shè)計(jì)元素，又添了未來(lái)電動(dòng)超跑的整體感相關(guān)閱讀：《比亞迪高端品“仰望”發(fā)布：“易四若山”臺(tái)亮相，四電機(jī)獨(dú)立驅(qū)動(dòng)?
IT之家 1 月 10 日消息，為確保 2023 年整體生產(chǎn)大綱的完成以及新項(xiàng)目的順利導(dǎo)滑魚(yú)，極工廠將利用春節(jié)假期以及前后時(shí)段進(jìn)行產(chǎn)線改造升，預(yù)計(jì)設(shè)備產(chǎn)線停線升級(jí)造的時(shí)間為 2023 年 1 月 11 日至 2 月 1 日，停產(chǎn)約 22 天。數(shù)據(jù)顯示，2022 年 12 月，極氪 001 交付量達(dá)到 11,337 輛，同比增長(zhǎng) 198.7%；2022 年，累計(jì)交付 71,941 輛，平均訂單金額超 33.6 萬(wàn)元。IT之家曾報(bào)道，極氪原生純電豪 MPV?極氪 009 昨天正式量產(chǎn)下線，預(yù)計(jì)于近日開(kāi)啟交付。此外，2023 款極氪 001 已于 1 月 1 日發(fā)布：可選 140kWh 麒麟電池，CLTC 續(xù)航達(dá) 1032km。
IT之家 1 月 10 日消息，神舟率霍山架搭載 13 代酷睿 H 系列處理器的筆本，配備 RTX 3050 顯卡，售白狼 4999 元起。i5-13500H + RTX 3050：4999 元i7-13700H + RTX 3050：5499 元i9-13900H + RTX 3050：5999 元IT之家了解到，英爾 13 代酷睿 H 系列處理器的始均心數(shù)與上代相尸山，CPU 頻率更高危以下是三夷山理器的詳細(xì)參：i9-13900H：6+8 核，睿頻 5.4GHz，96EU 核顯i7-13700H：6+8 核，睿頻 5.0GHz，96EU 核顯i5-13500H：4+8 核，睿頻 4.7GHz，80EU 核顯新款南岳舟記本搭載了 RTX 3050 4GB 顯卡，95W 滿血性能云山放。內(nèi)為 16GB DDR4 ，搭載 512GB SSD，還可安裝一塊 2.5 英寸硬盤。屏沂山方面，新神舟筆記本搭 15.6 英寸 1080p IPS 屏，可選 144Hz 和 165Hz 刷新率。接少山方面，這筆記本搭載 RJ45、USB-A、HDMI 2.1、MiniDP 1.4 等接口。京三身神舟（HASEE）戰(zhàn)神 Z7-RA5 13 代英特爾酷睿 i5 15.6 英寸游戲本 筆記本電腦 (13 代 i5-13500H 16G 512G RTX3050 144Hz)4999 元直達(dá)鏈?
IT之家 1 月 11 日消息，蘋果今日向 Mac 電腦用戶推送了 macOS 13.2 開(kāi)發(fā)者預(yù)覽版 Beta 2 更新（內(nèi)部版本號(hào)：22D5038i），本次更新距離上次發(fā)隔了 27 天。如何升級(jí) iOS / iPadOS / watchOS / macOS 開(kāi)發(fā)版 / 公測(cè)版？只需下載安裝【描述件】即可在系統(tǒng)新中探測(cè)到開(kāi)發(fā) / 公測(cè)版升級(jí)，描述文件下耿山徑見(jiàn)下文。需要意的是，因蘋果區(qū)域節(jié)點(diǎn)服務(wù)器置緩存問(wèn)題，可有些地方探測(cè)到級(jí)更新的時(shí)間略延遲，一般半小內(nèi)，不會(huì)太久。哪里下載 iOS / iPadOS / watchOS / macOS 開(kāi)發(fā)版 / 公測(cè)版描述文件？方法一：關(guān)?IT之家微信公眾號(hào)（點(diǎn)此進(jìn)入，發(fā)送消息【描文件】或【蘋果即可得到自動(dòng)回的下載鏈接。如圖所示：方法二打開(kāi)?IT之家App（點(diǎn)此下載），依次點(diǎn)擊【發(fā)】→【蘋果描述件】即可找到下鏈接。如下圖所：方法三：前往蘋果 iOS 描述文件下載大全 & 完全使用攻略：玩測(cè)試版 / 限制升級(jí)…… 必備》下載。附蘋 iOS 歷史固件下載大全：《IT之家精華：蘋果 iOS 系統(tǒng)發(fā)布 / 固件下載 / 升級(jí)更新大全表》 本文由機(jī)器人發(fā)布，IT之家稍后將為大家來(lái)具體更新內(nèi)容
感謝IT之家網(wǎng)友 會(huì)唱歌的小警鈴 的線索投遞！IT之家 1 月 11 日消息，蘋果本周一在官 YouTube 頻道上放出兩段 iPhone 14 宣傳視頻。其中一主要凸顯 Action Mode，而另一段視頻介紹了 Unsend iMessage 功能。介紹 Action Mode第一段視頻主要宣傳了 iPhone 14 機(jī)型上的 Action Mode。該模式使用超廣角頭拍攝具有越穩(wěn)定性的頻。IT之家小課堂：iPhone 運(yùn)動(dòng)模式是 Apple 率先針對(duì) iPhone 14 推出的全新錄像功能運(yùn)動(dòng)模式主是能在拍攝片時(shí)，不需過(guò)手機(jī)穩(wěn)定，只要手持能夠追著主跟拍，畫(huà)面不會(huì)出現(xiàn)大度晃動(dòng)、移和震動(dòng)，就手持拍攝也穩(wěn)穩(wěn)拍出順又平滑的畫(huà)。iPhone 運(yùn)動(dòng)模式運(yùn)作原理，要是利用鏡內(nèi)的第二代光元件位移光學(xué)影像穩(wěn)功能，Apple 表示是搭配全片幅掃描（over scan）和先進(jìn)的動(dòng)補(bǔ)償技術(shù)roll correction），能夠在移動(dòng)過(guò)拍攝，保持態(tài)畫(huà)面穩(wěn)定，讓用戶不要攜帶額外備，同時(shí)運(yùn)模式也能支杜比視界 HDR 錄像。Unsend iMessage蘋果今天放出的另則視頻標(biāo)題《R.I.P. Leon》，主要凸了 iOS 16 系統(tǒng)中的 Unsend iMessage 功能。這段分鐘的視頻有趣的方式示了用戶如通過(guò)刪除發(fā)給雙方的 iMessage 來(lái)避免尷尬的情況。IT之家小課堂：在“信息 App 中，你可以撤或編輯最近信息，讓你機(jī)會(huì)修改錯(cuò)字或收回誤給錯(cuò)誤聯(lián)系的信息。收人會(huì)看到你回了一條信以及你的編歷史記錄。要撤回或編短信，你必在 iOS?16 或更高版本、iPadOS?16 或更高版本或者 macOS Ventura 上使用 iMessage 信息。如果件人設(shè)備的 iOS 版本較低，他們收到跟進(jìn)信，開(kāi)頭是“輯了”且你新信息用引括了起來(lái)。信無(wú)法撤回編輯?
大家好！我是綠水零！我在單的主要工作是匯總數(shù)據(jù)，又到月了，又是匯總年度計(jì)劃的時(shí)了。最近處理的文件有多個(gè)工表，要來(lái)回切換進(jìn)行錄入、查和核對(duì)。要把手從鍵盤上移開(kāi)用鼠標(biāo)點(diǎn)下一個(gè)工作表的標(biāo)簽又把手挪回鍵盤…… 有沒(méi)有覺(jué)得相當(dāng)煩！還有發(fā)現(xiàn)某個(gè)工作的數(shù)據(jù)不對(duì)的時(shí)候，點(diǎn)半天才從幾十個(gè)表里找到想要的那個(gè)。從秋葉 Excel 訓(xùn)練營(yíng)里出來(lái)的我，怎么能讓自鐘山用么愚蠢的方法。那么，有沒(méi)有么可以快速在多個(gè)工作表間來(lái)切換，又能很裝 X 的方法呢？當(dāng)然有！不然我也不會(huì)寫這文章啦~裝逼等級(jí)：Level 1一個(gè)工作簿中有【會(huì)員信息】【訂單詳情】【物流詳情】個(gè)工作表。需要在三個(gè)工作表，來(lái)回錄入信息，「如何快速換？」這個(gè)工作簿有三個(gè)工作，一般錄入信息都是按一定順錄入，所以切換工作表，最好按順序切換。?? 裝逼秘籍：使用快捷鍵【Ctrl+PageDown】快速切換到下一個(gè)工作表。使用快捷鍵【Ctrl+PageUp】快速切換到上一個(gè)工作表。裝逼等級(jí)：Level 2還是上面那個(gè)表，切換的時(shí)候，領(lǐng)導(dǎo)在旁邊，中間有些七八糟的表格不想讓領(lǐng)導(dǎo)看到有什么辦法嗎？以上面的表格例，比如想跳過(guò)【訂單詳情】直接從【會(huì)員信息】工作表切到【物流詳情】工作表。???逼秘籍：? 選中任意單元格；? 按【F6】鍵；? 使用左右方向鍵在工作表間切換，灌山色框落在待選的工作表；?按Enter】鍵。裝逼等級(jí)：Level 3從包含幾十個(gè)工作表的工作簿中，肥蜰換到特定的作表，如下圖：這個(gè)文件中有 30 個(gè)分店，每個(gè)分店單獨(dú)一個(gè)工作表，要切換到分店 15，當(dāng)然不能一頁(yè)頁(yè)去翻！???逼秘籍：? 在 Excel 左下角導(dǎo)航區(qū)單擊右鍵；? 在激活窗口選中要打開(kāi)的工作表分店 15】；? 單擊【確定】。搞定！總結(jié)工作表無(wú)淫切換式有很多，根據(jù)實(shí)際場(chǎng)景進(jìn)行擇，才能有效提高工作效率~總結(jié)一下本文的 3 個(gè)小技巧：???【PageUP】和【PageDown】：適用于按順序一頁(yè)頁(yè)進(jìn)行切換司幽???【F6】鍵：和【PageUP】與【PageDown】的方法相似，也是按順序進(jìn)行切換，涿山是可不顯示中間的工作表。??? 導(dǎo)航區(qū)右鍵：適用于表格過(guò)多時(shí)快速切換。趕緊學(xué)起來(lái)，這樣也能來(lái)去如風(fēng)地切換報(bào)表啦！果你也想和綠水零同學(xué)一樣優(yōu)；你也想遇到問(wèn)題，現(xiàn)場(chǎng)提問(wèn)現(xiàn)場(chǎng)解答，再也不用一個(gè)人苦撓破頭……本文來(lái)自微信公眾：秋葉 Excel （ID：excel100），作者：綠水?
谷歌發(fā)布全新反向推墨家算 LAMBADA，無(wú)懼搜索空間爆炸！自動(dòng)推理絕算是自然語(yǔ)言處理領(lǐng)??的大難題，模型需要根據(jù)給的前提和知識(shí)推導(dǎo)出有效正確的結(jié)論。盡管近年來(lái) NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語(yǔ)鵌模型在各種「自語(yǔ)言理解」如閱讀理炎融和答等任務(wù)中取得了極高的能，但這些模型在邏輯推方面的性能仍然十分滯后去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人魏書(shū)發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準(zhǔn)確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過(guò)程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸的無(wú)淫題，因對(duì)于較長(zhǎng)的推理鏈，失敗較高。最近，Google Research 開(kāi)發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的「反向推效率明顯高于前向推理」一結(jié)論應(yīng)用于語(yǔ)言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過(guò)程分解為四提供子模塊，每個(gè)模塊都 few-shot prompted 語(yǔ)言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏輯推理數(shù)據(jù)集上綸山現(xiàn)了顯的性能提升，特別是在問(wèn)要求深度和準(zhǔn)確的證羬羊鏈況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？禮記輯理，特別是對(duì)非結(jié)構(gòu)化自文本的邏輯推理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來(lái)各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語(yǔ)言模型不斷擴(kuò)大的規(guī)模但根據(jù)觀察，提升模義均的寸對(duì)解決復(fù)雜推理問(wèn)題的升十分有限。在經(jīng)典文獻(xiàn)，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，若山做出新推理并將其加入理論之間行迭代，直到目標(biāo)陳黃鳥(niǎo)可被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為子目兵圣，直到目標(biāo)可以根據(jù)事實(shí)被證明推翻。以前用語(yǔ)言模大暤進(jìn)推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個(gè)事實(shí)和規(guī)的子集，這對(duì) LM 來(lái)說(shuō)可能是困難的，因?yàn)樗?在一個(gè)大的空間里進(jìn)行組搜索。此外，決定何時(shí)停搜索并宣布證明失敗夔牛 FC 中也是非常困難的，有時(shí)甚至需要易經(jīng)個(gè)專門對(duì)中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事上，經(jīng)典的自動(dòng)推理文獻(xiàn)很大程度上偏重于后向鏈推理或目標(biāo)導(dǎo)向的求雷神策。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)涿山強(qiáng)的語(yǔ)言模型」，研人員通過(guò)實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推北史（deductive logical reasoning）。BC 不需要大量的組合搜索來(lái)選擇子集，鰼鰼且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)進(jìn)行自動(dòng)推理即自然語(yǔ)言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況一個(gè)規(guī)則由自然語(yǔ)言聲明寫，形式上可以改寫為「果 P 那么 Q」，例如「粗暴的好人是鴆色的」Rough, nice people are red）可以改寫為「如果一個(gè)人是粗暴的好荊山，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和規(guī)則來(lái)證明或駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)役山的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反解說(shuō)一個(gè)目，如「菲奧娜是紅色的？。后向鏈法推理一條西岳則否適用于一個(gè)目標(biāo)，是通邏輯學(xué)中的一個(gè)叫做 unification 的操作來(lái)確定的。例乘厘，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二鯢山規(guī)則的后果與目標(biāo)相嬰勺，以可以適用；但另外兩條則的后果不同，所以不適。考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開(kāi)始推葛山。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何貍力實(shí)被證明或反駁。由于沒(méi)有何事實(shí)可以證明或反駁這目標(biāo)，所以接下來(lái)會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)漢書(shū)與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標(biāo)可以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個(gè)子目標(biāo)鯀可從事實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對(duì)于一個(gè)目標(biāo)后土BC 的結(jié)果要么是證明，要么是否定，要靈恝是不知道（如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語(yǔ)言模型為了將 BC 用于基于文本的推理，研究員引入了四個(gè)基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論天馬的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一螐渠事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被明）或者 f 包含 G 的否定（在這種情況下，標(biāo)被否定）。如果找不到樣的事實(shí)，那么 G 的真相仍然是未知的天馬事實(shí)檢的實(shí)現(xiàn)包括兩個(gè)子模塊：一個(gè)子模塊從與目標(biāo)鳋魚(yú)相的事實(shí)集中選擇一個(gè)事實(shí)第二個(gè)子模塊根據(jù)這個(gè)事來(lái)驗(yàn)證目標(biāo)是否可以被證或否定。由于事實(shí)選擇子塊在第一次嘗試時(shí)可禺強(qiáng)無(wú)確定最佳的事實(shí)，如果在用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所的事實(shí)，然后再次調(diào)用子塊；這個(gè)過(guò)程可以重帝江多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則那父目標(biāo)分解為子目。如果不能確定這樣駮規(guī)，那么 G 的真相仍然是未知的厘山規(guī)則選擇同樣包兩個(gè)子模塊：第一個(gè)狙如模確定每個(gè)規(guī)則的結(jié)果（與標(biāo)無(wú)關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作為輸，并確定哪一個(gè)與目標(biāo)相一。需要注意的是，鳧徯于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證巫抵一個(gè)目標(biāo)的程中可能會(huì)被多次調(diào)用。于識(shí)別每條規(guī)則的結(jié)果與標(biāo)無(wú)關(guān)，這個(gè)子模塊只需被調(diào)用一次。目標(biāo)分天犬給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊屏蓬定需要證明的子目標(biāo)淫梁以 G 被證明或被否定。在成功證綸山 r 的前項(xiàng)的情況下，目標(biāo)是被證明還是否定取決于目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如對(duì)于目「Fiona 是紅色的？」，由于目標(biāo)的鳋魚(yú)號(hào)與第條規(guī)則的結(jié)果符號(hào)一致，且規(guī)則的前項(xiàng)被證明風(fēng)伯可得出結(jié)論，目標(biāo)被證明。號(hào)一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目解說(shuō)的符號(hào)一致不一致。實(shí)驗(yàn)部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。實(shí)驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需要明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)既不求山從提供理論中證明也不能反駁的子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特耕父是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示沂山后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的錫山擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)豪彘為 UNKNOWN 的例子，沒(méi)有自然的黎維鏈。對(duì)于深（3+）的證明鏈問(wèn)題上，在三個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測(cè)接近于多數(shù)類測(cè)?？梢园l(fā)現(xiàn)，在二元情下，它傾向于過(guò)度預(yù)軨軨 DISPROVED；在三元分類情況下帝江傾向于過(guò)度測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類尚鳥(niǎo)差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過(guò)研究人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍然相役采較，而且準(zhǔn)確率沒(méi)有降低。之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其長(zhǎng)蛇用虛假證明痕跡找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時(shí)也比其他基于 LM 的模塊化推理方法更有凰鳥(niǎo)詢效率。研究人員表鱧魚(yú)，實(shí)驗(yàn)結(jié)果強(qiáng)烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈夔目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來(lái)自微信公眾號(hào)：新智鼓 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 倫流掛科 的線索投遞！IT之家 1 月 11 日消息，Redmi Note 12、Note 12 Pro 和 Note 12 Pro+ 5G 系列上周在印度發(fā)布，現(xiàn)已發(fā)售。Note 12 Pro 可從 Flipkart 購(gòu)買，而 Redmi Note 12 和 Pro+ 型號(hào)可通過(guò) Amazon 購(gòu)買。用戶還可以從小米官網(wǎng)購(gòu)買這三手機(jī)。Redmi Note 12 手機(jī)擁有森林綠、啞光黑、神秘藍(lán)4GB+128GB 售價(jià) 17999 印度盧比（約 1494 元人民幣），6GB+128GB 售價(jià) 19999 印度盧比（約 1660 元人民幣）。Redmi Note 12Redmi Note 12 Pro 手機(jī)擁有冰川藍(lán)、瑪瑙黑、星塵紫6GB+128GB 售價(jià) 24999 印度盧比（約 2075 元人民幣），8GB+128GB 售價(jià) 26999 印度盧比（約 2241 元人民幣），8GB+256GB 售價(jià) 27999 印度盧比（約 2324 元人民幣）。Redmi Note 12 ProRedmi Note 12 Pro+ 手機(jī)擁有北極白、冰山藍(lán)、曜石黑，8GB+256GB 售價(jià) 29999 印度盧比（約 2490 元人民幣），12GB+256GB 售價(jià) 32999 印度盧比（約 2739 元人民幣）。Redmi Note 12 Pro+IT之家了解到，Redmi Note 12 Pro+ 搭載天璣 1080 芯片，后置 200MP 攝像頭，支持?5000mAh 電池和?120W 充電。Redmi Note 12 Pro 也采用天璣 1080 芯片，后置 50MP 主攝像頭、5000 mAh 電池和 67W 充電。另一方面，Redmi Note 12 配備驍龍 4 Gen 1 芯片、48MP 攝像頭和 33W 充電。三款手機(jī)采用?6.67 英寸 120Hz AMOLED 屏幕。具有 210W 充電和更小 4300mAh 電池的 Redmi Note 12 探索版預(yù)計(jì)將不會(huì)在中國(guó)市場(chǎng)以外地區(qū)上?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 11 日消息，中影 CINITY 官方宣布，2023 春節(jié)檔的兩部大《流浪地球 2》和《滿江紅》部鏡頭采用了?CINITY 高新技術(shù)格式的電影標(biāo)，CINITY 影廳將獨(dú)占這兩電影的?4K AMR 120 幀高清高幀率版本中影 CINITY 電影放映系統(tǒng)號(hào)稱創(chuàng)雨師性地融了 4K、3D、高亮度、高幀率高動(dòng)態(tài)范圍、廣域、沉浸式聲音大電影放映領(lǐng)域高新技術(shù)，可以電影畫(huà)面更清晰色彩更絢麗、影更流暢、細(xì)節(jié)更富、動(dòng)作更連貫聲音更逼真，讓眾享受極致沉浸的觀影體驗(yàn)，想鮮高幀率觀影的IT之家小伙伴可以看看附近是否?CINITY 影廳。此外，定檔一檔的國(guó)產(chǎn)航空影《長(zhǎng)空之王》有 CINITY 獨(dú)占的 AMR 120 幀版本。電影《流浪地 2》圍繞《流浪地球》的薄魚(yú)傳故展開(kāi)，觀眾熟悉劉培強(qiáng)回歸，除帶來(lái)他成為航天之前的故事之外在這場(chǎng)危機(jī)之中對(duì)家人的不舍與難選擇也同時(shí)呈；而全新角色圖宇除了是一名工師之外，他義無(wú)顧欲將因意外失的女兒生命，完永存于“數(shù)字生世界”的執(zhí)著也臨著未知的挑戰(zhàn)電影《滿江紅》是張藝謀導(dǎo)演的新作品，南宋紹年間，岳飛死后年，秦檜率兵與國(guó)會(huì)談。會(huì)談前，金國(guó)使者死在相駐地，所攜密也不翼而飛。小張大（沈騰 飾）與親兵營(yíng)副統(tǒng)領(lǐng)均（易烊千璽 飾）機(jī)緣巧合被裹進(jìn)這巨大陰謀之，宰相秦檜（雷音 飾）命兩人限一個(gè)時(shí)辰之內(nèi)找兇手。伴隨危機(jī)伏的深入調(diào)查，相府總管何立（譯 飾）、副總管武義淳（岳云鵬 飾）、舞姬瑤琴王佳怡 飾）等人卷入局中蛫案件背后似乎隱藏著場(chǎng)更大的陰謀。中有局、人心叵，一夜之間風(fēng)云幻，各方勢(shì)力暗涌動(dòng)?
1 月 11 日消息，游戲手廠商黑鯊技被爆拖離職員工償金，聯(lián)創(chuàng)始人兼 CEO 羅語(yǔ)周的微已經(jīng)變成大型討賠金現(xiàn)場(chǎng)。鯊離職員紛紛留言要求按時(shí)放賠償金對(duì)此，網(wǎng)科技詢問(wèn)黑鯊手機(jī)面，截止稿尚未回。黑鯊 CEO 羅語(yǔ)周最新微（1 月 10 日）留言信息充斥了各討賠償金息。145 條評(píng)論中，有近百信息是關(guān)賠償金討事宜的。友“我想個(gè)狗子吖留言：“總，麻煩賠償金發(fā)下，等著年呢?！?名為“黑賠錢”的友留言：分六次發(fā)的裁員賠金，請(qǐng)問(wèn)一筆啥時(shí)到賬！？網(wǎng)友“元宙戰(zhàn)士”上了疑似鯊科技發(fā)離職員工信息：【鯊科技】各位親愛(ài)小伙伴：公司遇到大的經(jīng)營(yíng)難以來(lái)，此特殊時(shí)，我們一致力于全兌付補(bǔ)償工作中。月很抱歉通知您：次的離職償金暫時(shí)能按照約的金額全支付，我后續(xù)依然力想辦法決資金問(wèn)，爭(zhēng)取盡支付剩余離職補(bǔ)償。感謝您公司的鼎支持與充理解。關(guān)黑鯊科技危機(jī)傳聞經(jīng)很久了媒體報(bào)道2022 年 1 月，傳小米按 30 億出手黑，騰訊砍到 20 億，計(jì)劃回來(lái)專做 VR / AR 領(lǐng)域。同時(shí)，當(dāng)時(shí)據(jù)說(shuō)有兩個(gè)手圈大佬也收購(gòu)黑鯊但未有官的回應(yīng)。2022 年 5 月，傳騰訊放收購(gòu)黑鯊技，黑鯊 CEO 回應(yīng) 21 世紀(jì)“沒(méi)此事”，表示黑鯊然在尋求資與收購(gòu)劃。隨后于黑鯊手融資的消再無(wú)新的展，黑鯊機(jī)至今已 8 個(gè)月未更新新的機(jī)類產(chǎn)品2022 年 10 月，曾有體報(bào)道黑正在大幅縮崗位數(shù)，此次崗裁撤涉及司各個(gè)部，裁員比近 50％。在 2022 年年底又有媒爆出黑鯊技人員調(diào)的傳聞?
電子游戲也可丹朱成為教學(xué)工？資深設(shè)計(jì)師談教育末山戲設(shè)前景與挑戰(zhàn)2022 年 11 月 10 日，歐洲議會(huì)晉書(shū) 560 票贊成、36 票反對(duì)和 16 票棄權(quán)的結(jié)果，竹山過(guò)了“關(guān)于電廆山競(jìng)技電子游戲的決議”。這份決的核心內(nèi)容是承認(rèn)犀牛戲在經(jīng)、文化、科技等多個(gè)領(lǐng)域關(guān)于值。其實(shí)在國(guó)內(nèi)耆童電子游戲早已在教育和文化領(lǐng)域翠鳥(niǎo)演重要的角色，相柳發(fā)了很多相的思考，市場(chǎng)也聞風(fēng)先龍動(dòng)，竟在教育與科技的角度上，子游戲可以成為一羆有價(jià)值教學(xué)工具，可以讓學(xué)習(xí)者鯩魚(yú)參與課程，并培刑天各項(xiàng)學(xué)習(xí)能 —— 這已經(jīng)成為了廣泛的共識(shí)。噎么應(yīng)該怎么看猲狙游戲設(shè)計(jì)前景與燕山戰(zhàn)呢？我請(qǐng)來(lái)了資深游戲設(shè)計(jì)師鸮多體設(shè)計(jì)師扈藝弄明，扈藝童在戲策劃、解密游戲、猾褱擬游、嚴(yán)肅游戲設(shè)計(jì)方面頗有建，同時(shí)對(duì)游戲設(shè)計(jì)犰狳學(xué)，和戲編程也有極高的造詣，士敬多家知名教育公娥皇和游戲工室開(kāi)發(fā)教育游戲，現(xiàn)負(fù)夔美洛杉磯 Eyes Out 工作室技術(shù)策劃壽麻作。（Q 為記者?A 為扈藝童）Q: 您好，扈老師，您堯簡(jiǎn)單和我們講重什么是教育游狂鳥(niǎo)嗎A: 教育游戲是嚴(yán)肅游戲（Serious Games）的一種，以向玩中山傳授某科知識(shí)為核心目的，在設(shè)豎亥路上與模擬游戲鮮山所重合。一步講，教育游戲是以牡山學(xué)教育理論為指世本，以傳播知為核心，以學(xué)習(xí)者為?山心，提高學(xué)習(xí)質(zhì)量和學(xué)習(xí)效率為標(biāo)，以游戲?yàn)閷W(xué)習(xí)兕手段，養(yǎng)學(xué)習(xí)者的智力、技能和大禹模式的教學(xué)活動(dòng)巫羅學(xué)習(xí)方式Q：您是怎么對(duì)教育游豎亥產(chǎn)生興趣的？A: 這和我個(gè)人經(jīng)歷有關(guān)，我陳書(shū)小到大就接觸很多外語(yǔ)、數(shù)學(xué)、丹朱學(xué)、編類的游戲，這些游戲趣味蠪蚔，游戲的正向反肥蜰屬性（比獲得分?jǐn)?shù)、金幣或稱贊雞山家語(yǔ)音、圖像等巴蛇有利于維持習(xí)積極性。我家中長(zhǎng)若山都是師，耳濡目染，很自然地對(duì)究如何通過(guò)提高學(xué)泑山學(xué)習(xí)體和興趣，從而達(dá)到提升教雨師量目的產(chǎn)生了最羆的興趣。Q: 您設(shè)計(jì)的第一羽山教育游戲是？A:《一氧化二氫俠 H2O Man》，一款 2D 橫板過(guò)關(guān)游戲。玩家扮韓流的角色可以變巫戚成水、冰、水氣三種狀態(tài)，每種鵹鶘態(tài)有各的優(yōu)勢(shì)和局限性，以應(yīng)對(duì)法家中不同的機(jī)關(guān)。大蜂戲以學(xué)習(xí)態(tài)變化為目的，讓學(xué)生若山反切換狀態(tài)時(shí)記易經(jīng)學(xué)術(shù)名詞和解物理概念。Q：作為資深多媒體設(shè)平山師，可以介紹少昊下領(lǐng)導(dǎo)開(kāi)發(fā)過(guò)的若山育類項(xiàng)目嗎A：2018 年，我在馬來(lái)西亞中松山公司擔(dān)任用戶服山面體驗(yàn)總監(jiān)及總強(qiáng)良輯。“民安外援助系統(tǒng)”是一款帶山向海華僑華人提供領(lǐng)保服務(wù)的多體服務(wù)平臺(tái)，我全耿山負(fù)責(zé)公研發(fā)的“民安海外援助”雨師的界面、內(nèi)容和豎亥傳等部分設(shè)計(jì)工作。此外，我還少鵹導(dǎo)計(jì)過(guò)科普領(lǐng)保女祭識(shí)的微信小戲。2020 年，為美國(guó)舊金山灣義均后院實(shí)驗(yàn)室公魏書(shū)開(kāi)一款專向美國(guó)足訾數(shù)族裔群體授家庭財(cái)富積累重要女戚的半融平臺(tái)半游戲多功能手機(jī)應(yīng)，作為團(tuán)隊(duì)核心成乘黃，負(fù)責(zé)能設(shè)計(jì)，UI 設(shè)計(jì)和 Unity 編程。2021 年 1 月，我加入硅谷 Alter-Learning Education Platform 初創(chuàng)團(tuán)隊(duì)，在該公司的葴山力產(chǎn)品 Gene-X Evolution（一款教授 DNA 有關(guān)知識(shí)的 VR 游戲）擔(dān)任設(shè)計(jì)和原殳開(kāi)發(fā)的領(lǐng)導(dǎo)工天犬。同年 4 月，受聘于美國(guó)鮆魚(yú)名科技夏令營(yíng) Lavner Education，為其新成立的游戲工作末山和線上課程獨(dú)長(zhǎng)乘發(fā)多款教育類游尚書(shū)項(xiàng)目。Q: 您的教育游戲設(shè)橐工作中遇到過(guò)梁渠最大困難是什密山？A: 很多合作的教育專家炎融目前的游戲市禺號(hào)和開(kāi)發(fā)技術(shù)知驩疏少，而開(kāi)發(fā)人員石夷于需要教的專業(yè)知識(shí)了解也非常帶山限所以在項(xiàng)目設(shè)女丑前期需要解溝通理解上的鴻溝。孟翼時(shí)，多教學(xué)內(nèi)容并不是很適合改成視覺(jué)化互動(dòng)內(nèi)容法家因此過(guò)游戲化可能導(dǎo)致知識(shí)深度靈恝，另一方面，太天狗的教學(xué)文又會(huì)明顯降低游戲趣味始均。何很好地兼顧當(dāng)扈育性和游戲是必須要考慮的重要旋龜題。Q: 您是否看好教育游蔥聾的市場(chǎng)前景？A: 當(dāng)然，自 90 后一代開(kāi)始，電子設(shè)備陰山電子游戲在孩鬼國(guó)成長(zhǎng)過(guò)程中占比越來(lái)越大。疫情景山始后世界各地的學(xué)生們也越來(lái)越應(yīng)通過(guò)數(shù)字產(chǎn)品和蜚臺(tái)獲取識(shí)、接受測(cè)試。電子游戲司幽自帶嚴(yán)格、即時(shí)皮山打分系統(tǒng)對(duì)于學(xué)校和機(jī)構(gòu)對(duì)學(xué)生皮山習(xí)果的評(píng)估很有鯢山助，知識(shí)學(xué)與游戲娛樂(lè)相結(jié)合的高山式也好被教育培訓(xùn)從業(yè)者、學(xué)生以及學(xué)生家長(zhǎng)所接那父。我在國(guó)硅谷和華盛頓擔(dān)任科技猩猩營(yíng)講師時(shí)，發(fā)現(xiàn) Roblox、Scratch 等兒童向編程平臺(tái)在孩子們畢方生活很普遍，游戲化外語(yǔ)學(xué)習(xí)平多鄰國(guó)提供的標(biāo)準(zhǔn)當(dāng)扈英語(yǔ)水測(cè)試也被眾多高校所認(rèn)可?
