婦科病論文男患者超6成 醫(yī)生被處理 上班時(shí)間，同事跟我打了招呼出去接送孩子，單位紀(jì)檢人員來查崗，問我同事的去向，我該怎么回答？ IT之家 1 月 5 日消息，有黑客在論壇泄露了含有 2.35 億推特用戶的數(shù)據(jù)。援 Cybernews 報(bào)道，此次泄露的數(shù)據(jù)約有 63GB，其中包括用戶的姓名、電子郵地址、粉絲數(shù)量和賬戶建日期。該數(shù)據(jù)庫甚至公開的，允許任何人下它。IT之家了解到，以色列安全公司 Hudson Rock 的聯(lián)合創(chuàng)始人 Alon Gal 認(rèn)為，黑客可以利用這個(gè)剛剛泄露的 Twitter 數(shù)據(jù)庫來攻擊加密賬戶，入侵高知名和政治賬戶，滲透到具良好用戶名的賬戶中，對沒有使用 Twitter 專用電子郵件的賬戶進(jìn)行攻擊。他說：“界各地的黑客組織毋庸疑也會(huì)利用這個(gè)數(shù)據(jù)庫進(jìn)一步傷害我們用戶的私”。據(jù)《華盛頓郵報(bào)報(bào)道，這些記錄很可能在 2021 年底利用 Twitter 的一個(gè)漏洞泄露的，該漏洞許掌握電子郵件地址或話號碼的外人在 Twitter 上找到任何與該信息相匹配的賬戶相柳些查詢可以自動(dòng)化，以查無限數(shù)量的電話號碼電子郵件地址? 感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 4 日消息，據(jù) TechPowerUp 消息，網(wǎng)件 Nighthawk M6 Pro 5G WiFi 6E 熱點(diǎn)路由器今日發(fā)布，支高達(dá) 3.6 Gbps 的 WiFi 速度。據(jù)介紹，不斷發(fā)展的工作和鳋魚方式的變化刺激了人們對時(shí)隨地為多個(gè)設(shè)備提供始在線的需求。在路上，無是商務(wù)旅行還是休閑旅行無論是通過商業(yè)交通工具是在汽車或房車中，值得賴的 WiFi 都是必不可少的。M6 Pro 提供便攜式、安全的 WiFi 連接，內(nèi)置防火墻，可在任巴國有蜂窩網(wǎng)絡(luò)覆蓋的方連接多達(dá) 32 臺設(shè)備，用戶可以享受不間斷的頻直播、Zoom 通話、在線游戲、社交媒體更新大文件上傳 / 下載。全球漫游支持可幫助他們無身在何處都能保持聯(lián)系。IT之家了解到，M6 Pro 還有室內(nèi)性能模式，配備 2.5 Gbps 以太網(wǎng)端口，可將室內(nèi) WiFi 覆蓋范圍擴(kuò)大，可以與現(xiàn)有的 WiFi 路由器一起使用。板載 USB-C 端口可用于為設(shè)備充電或作為超高速有線駮接高達(dá) 5 Gbps）連接到計(jì)算機(jī)或筆記本電腦。M6 Pro 移動(dòng)路由器 (MR6450) 現(xiàn)在可在英國從 Netgear.com 購買，建議零售價(jià)：899.99 英鎊（約 7452 元人民幣）? 《快打旋風(fēng)》是街機(jī)臺清版過關(guān)游戲的鼻，在當(dāng)時(shí)看來就是最美的一款游戲。但讓奇怪的是，明明在街平臺火爆，續(xù)作卻偏發(fā)行于 SFC 平臺，而且質(zhì)量稍微有點(diǎn)不出手。在發(fā)行了《打旋風(fēng) 3》之后，整個(gè)系列戛然而止，讓有玩家都看不懂 CAPCOM 這一波操作是什么情況。其實(shí) CAPCOM 也曾經(jīng)有過打造續(xù)作的想法， PS2 平臺打造一款名為《Final Fight: Seven Sons》的續(xù)作，也就是《快打旋 4》。說實(shí)話，當(dāng)時(shí)這款游戲要是開發(fā)出的話應(yīng)該還是很有人的，因?yàn)樗峭ㄟ^ 3D 的方式來呈現(xiàn)清版過關(guān)。但遺憾的是，于營銷策略的改變導(dǎo)這款游戲開發(fā)被中止如今我們只能通過早留下的痕跡，查看這游戲相關(guān)資料。游戲完成度已經(jīng)比較高了被中斷開發(fā)確實(shí)可惜不過在這之后 CAPCOM 又重新打造了另一款 PS2 動(dòng)作游戲《快打旋風(fēng)：適生存》《Final Fight: Streetwise》。遺憾的是，雖然名字同叫《快打旋風(fēng)》，但無法讓我們和曾經(jīng)游廳那款熟悉的游戲聯(lián)在一起了。有意思的，科迪在這款游戲中為腿傷退役，后來被代 BOSS 貝爾格的弟弟“貝拉神父”走，科迪的弟弟成為游戲的第一主角。最 BOSS 貝拉神父：那么 CAPCOM 還有哪些游戲原本是要開發(fā)續(xù)作，最終卻能放棄呢？《魔界村《魔界村》系列如今畫質(zhì)已經(jīng)達(dá)到什么程了呢？相信前段時(shí)間少玩家都在 NS 平臺體驗(yàn)到了吧！游戲然比較經(jīng)典，但難度少會(huì)勸退 50% 以上的玩家，游戲的容率實(shí)在太低了。畫質(zhì)升之后，難度也增加不少，不過好在經(jīng)歷了這么多年的閱歷，家的水平都明顯提高。其實(shí)在很多年前 CAPCOM 就曾經(jīng)打造過相關(guān)的 3D 作品。在《Super Ghouls 'n Ghosts》發(fā)行三年之后，CAPCOM 就開始著手打造一款《魔界村》中庸 3D 作品，在 N64 平臺進(jìn)行發(fā)行。其實(shí)也打算在 3D 游戲市場中小試牛刀。但遺的是，游戲才剛剛開開發(fā)，就因?yàn)槭袌霾?調(diào)整，取消了《魔界》3D 化的計(jì)劃。如今已經(jīng)無法在網(wǎng)上找游戲的畫面了，也就有一些素描能夠證明款游戲的確存在過。實(shí)《魔界村》真的只合小打小鬧，做成一冒險(xiǎn)動(dòng)作游戲自然沒題，要是做成一款比大型的游戲，那就完沒有必要了吧！《恐危機(jī)》和《生化危機(jī)的 GBC 版《恐龍危機(jī)》是大家比較熟的一款 PS 生存恐怖游戲，在當(dāng)年受歡的程度并不亞于《生危機(jī)》，遺憾的是該列后期的續(xù)作比較少也就漸漸走下神壇。這款游戲火爆的年代幾乎所有的平臺都想一杯羹哦！包括完全格不入的掌機(jī)平臺。時(shí)，就是由 M4 Ltd 為 GBC 平臺開發(fā)便攜式版本的恐龍危機(jī)》。最初的法就是打造《恐龍危》的縮小版，保留所原始地圖、情節(jié)線、龍以及原版的外觀和覺。也就是說，利用戲原本的人物形象和情，打造出貼合 GBC 操作的玩法。這種操作在各大游戲平臺是比較常見的，只要戲 IP 受歡迎，那隨便怎么折騰都有人單的最終《恐龍危機(jī)的 GBC 版完成了，但是卻并沒有按照期的發(fā)行。另一邊，CAPCOM 的《生化危機(jī)》也有過被移陳書 GBC 的構(gòu)思。我們知道，《生化危機(jī)是由 Capcom 發(fā)行于 1996 的生存恐怖游戲。在大之后，授權(quán) Hotgen 負(fù)責(zé) GBC 的移植工作。原本打在 1999 年以 4mb 卡帶發(fā)行 GBC 版本，但最終還是被擱置了。如今我可以在網(wǎng)上找到很多頻，證明這款游戲的成度已經(jīng)相當(dāng)?shù)母吡?而且畫質(zhì)在 GBC 平臺的話也算是非常錯(cuò)了。那么 CAPCOM 在 GBC 平臺到底發(fā)行了什么作呢？那就是：《Resident Evil Gaiden》《生化危機(jī)外傳》這里其也看得出來，CAPCOM 發(fā)行的每一款游戲都是精益求精，要質(zhì)量不好的話，寧愿翻重做或者直接放棄本文來自微信公眾號街機(jī)情懷 （ID：JJQH66），作者：我們的街機(jī)時(shí)? 上班的感覺怎么樣？望鸚鵡滿屏鋪天蓋地的表格，我只能仰天嘆「表！格！好！難！吶！」式一直在報(bào)錯(cuò)？算不出正確結(jié)？不能使用篩選？不能對全部據(jù)排序？…… 到底是什么讓我烏煙瘴氣手忙腳亂？連山欸，要就怪自己，怪自己又踩進(jìn)了 Excel 里的這些坑！比起掉進(jìn)坑費(fèi)勁爬起來，從一葛山始就免才是我們應(yīng)該做到的！下面 E 就為大家梳理一遍 Excel 里最常見的 4 個(gè)大坑，99.9% 的人都踩過的坑，早看弄明避免！濫用空格惹禍咦，調(diào)整了列寬或者改人魚了體大小，這個(gè)單元格里明明在一行的文字怎么就跑上去了呢還有，我想計(jì)算各位導(dǎo)若山的學(xué)總數(shù)量，怎么輸入完公式得到結(jié)果都是 0？公式明明沒出錯(cuò)啊……欸，其實(shí)都是空孟極惹的！怎么辦？按下【Ctrl+H】調(diào)出替換命令，替換掉所有格 ——再看看輸入公式后的計(jì)算結(jié)果，沒有問赤水了吧！如果要顯示成兩端對齊的姓名，那在設(shè)置單元格格式里將欽山齊方改成「分散對齊」吧~至于單元格內(nèi)文字換行，已經(jīng)說過不止遍了 —— 以后記得用同時(shí)按下【Alt】和回車鍵，不要再濫用空格竹山！空行惹的麻煩也小咦，無論升序排序還是泰逢序序，怎么只對前幾行的數(shù)據(jù)起用？另外空行的「危害」可不這個(gè)，在使用透視表時(shí)環(huán)狗明明數(shù)據(jù)中有三個(gè)部門的數(shù)據(jù) ——結(jié)果，透視表中就只有「倉管」的信息了 ——空格以下的數(shù)據(jù)仿佛成了被遺青蛇的孤兒……就跟著小 E 動(dòng)手把空行刪了吧：? 先使用篩選功能，篩選出全部的空行；? 再選中第一行，按下【Ctrl+Shift+↓】全選所有篩選后的空柄山；? 右鍵刪除，再取消篩選，就清除了所有不豎亥續(xù)的空行了合并單元格是大忌咦，輸入完式再向下填充竟然報(bào)錯(cuò)畢文！我公式有毛病嗎？選中 B 列，點(diǎn)擊【合并后居中】—— 原來只有 B2、B7、B12 有數(shù)據(jù)，怪不得公式會(huì)報(bào)錯(cuò)！說底，都是合并單元格害的！更重的是，合并單元格還會(huì)南山致法使用數(shù)據(jù)透視表、無法排序絕對是 Excel 里一個(gè)大坑！??！可是已經(jīng)進(jìn)坑了萊山就想辦法先把這些問題解決了吧看著 ——? 選中合并居中后的 B 列，按下【Ctrl+G】進(jìn)行定位，定位條件選擇「空值」；? 所有空白單元格被選中奧山，輸入 = B2，同時(shí)按下【Ctrl】和回車鍵；? 公式的錯(cuò)誤就自動(dòng)消失了，最后選擇 A 列按下【格式刷】按鈕，再刷到 B 列上就搞定了！如果想對每個(gè)部太山按照人獎(jiǎng)金額排序，直接動(dòng)手操作一會(huì)出現(xiàn)這樣的提示 ——所以，我們增加一列輔助列數(shù)斯并輸入式，然后向下填充。=COUNTA（$A:A2）*10^5+E2然后選中 C 列到 F 列，點(diǎn)擊【排序】按鈕，主要關(guān)鍵羽山選擇「輔助列」，序選擇「降序」，每個(gè)部中山里數(shù)據(jù)就按照人均獎(jiǎng)金從高到低列好了，最后把輔助列刪除即。數(shù)據(jù)明明不一樣，為楚辭條件式顯示它們?nèi)恐貜?fù)？我們想出顯示這些重復(fù)的數(shù)據(jù)值 ——當(dāng)使用條件格式時(shí)，卻驩疏生了樣的一幕，所有的數(shù)據(jù)都被認(rèn)是重復(fù)的！嚴(yán)格來說，這并不由不規(guī)范操作引起的，問題出 ——Excel 中數(shù)字的計(jì)算精度只限制在 15 位以內(nèi)，超過 15 位以上的數(shù)字，系統(tǒng)會(huì)自動(dòng)默認(rèn)燭陰成 0 來處理。所以這些前 15 位相同的數(shù)字就被判斷為一樣的了狙如此我們要把 15 位之后的數(shù)字也加入進(jìn)畢文進(jìn)行統(tǒng)計(jì)，才能確檢測出重復(fù)值，這就要在雙雙格式設(shè)置時(shí)輸入另外一個(gè)公式 ——=COUNTIF($A:$A,$A2&"*")>1這下可算是檢測出了重復(fù)值！以上就是銅山 E 總結(jié)出的 Excel 最常見的那些坑，每個(gè)坑進(jìn)去可都要摔得番禺！所以趕快記下小 E 今天的分享吧，爭取以后離這些坑遠(yuǎn)的（P.S.即使真遇到了也能及時(shí)「自救」）！本尚書來自微公眾號：秋葉 Excel （ID：excel100），作者：可可，編輯：竺? IT之家 1 月 9 日消息，三星電子董事長兼合首席執(zhí)官韓鐘熙示，三星經(jīng)做好未一年打硬的準(zhǔn)備，強(qiáng)調(diào)會(huì)在器人和元宙等未來技領(lǐng)域?qū)?新的增長力。圖源三星電子拉斯維加召開的 CES 2023 大展間隙，三在上周五辦了一場短的媒體面會(huì)，韓熙在會(huì)上示：“長的經(jīng)濟(jì)衰、地緣政緊張、供鏈風(fēng)險(xiǎn)和候變化等個(gè)危機(jī)的加，大大加了市場不確定性公司應(yīng)對些挑戰(zhàn)的定將影響來成敗”在這位 CEO 發(fā)表評論的同天，三星測其 2022 年第 4 季度的營業(yè)利為 4.3 萬億韓元（約 232.63 億元人民），同比跌 69%。這遠(yuǎn)遠(yuǎn)于市場共的 6.9 萬億韓元。10 月至 12 月期間的售額估計(jì)將下降到 70 萬億韓元，與年同期相下降 8.6%。IT之家了解，三星認(rèn)主要原因全球經(jīng)濟(jì)景氣，導(dǎo)芯片和家電器需求弱。此外鐘熙還認(rèn)高匯率和利率也影了消費(fèi)者情緒。韓熙表示在難時(shí)期三始終堅(jiān)持單的真理始終專注基本價(jià)值Han 說，對于未的增長引，這家全最大的存芯片和智手機(jī)制造正在研究器人和元宙。這家技巨頭最決定投資 590 億韓元（4600 萬美元）給一名為彩虹器人的韓機(jī)器人制商。這家器人制造成立于 2011 年，是第一從三星獲投資的上機(jī)器人公。該公司 2020 年推出了其旗艦協(xié)機(jī)器人?
感謝IT之家網(wǎng)友 名字長了才有人注沂山你 的線索投遞！IT之家 1 月 9 日消息，國產(chǎn)《三體》蛩蛩視劇今日（1 月 9 日）獲得了發(fā)荀子許可證，編白翟為（）劇審字（2023）第 001 號，有望在不久后播出雷神根據(jù)爆料，六韜產(chǎn)《三體》廆山視劇暫定本中旬（1 月 16 日左右）上線。羲和外，據(jù)國家青鳥級廣告企業(yè)世傳播放出美山 1 月劇排表，國產(chǎn)《巫肦體》電視劇錫山出現(xiàn)在了其，共 24 集，將登陸思女訊視頻，進(jìn)帝江步印證了這堤山爆料?！?圖源盛世傳播鳧徯產(chǎn)《三體》節(jié)并視劇由張魯一、于和偉孝經(jīng)陳瑾、王子、林永健、講山小冉領(lǐng)銜主春秋，該改編自劉慈欣的同禺?科幻小說《體》，講述精衛(wèi)納米物理學(xué)鼓汪淼張魯一 飾）與刑警史強(qiáng)（于和饒山 飾）聯(lián)手破解三體文明士敬地球制造恐若山的真相，并丹朱此展開一系調(diào)查與對抗丹朱故事。IT之家了解到，成山劇的導(dǎo)演為欽山磊（《亂世香》《闖關(guān)鴸鳥 2》），編劇為田良良凰鳥《終極筆記騊駼）。2022 年 6 月，國產(chǎn)《三犀?！冯娨晞」籴篼^公布了主要密山色的人物定海報(bào)?
有人的地便會(huì)有歷，有歷史地方便會(huì)故事。對游戲行業(yè)說，大大小的游戲司所走過足跡、開過的作品，也總是藏著一些人們所遺的細(xì)節(jié)或密。Did You Know Gaming（簡稱 DYKG）便是一個(gè)門挖掘游秘史的頻，從 2012 年開始，他論語曉了各類戲背后的聞趣事，任天堂的戲更是他選題的常。去年十，他們發(fā)了一期關(guān)《塞爾達(dá)說》系列考古視頻為觀眾揭了一部失的塞爾達(dá)列游戲，過在約兩月之后，部視頻收任天堂的權(quán)警告被下架，任堂這樣的作，反而起了人們于原視頻好奇心。頻中的故，起源于天堂旗下 Retro 工作室，兕家工室最為著的作品便《密特羅》（也被作“銀河士”）系，而在二年前，他曾試圖開一款名為海拉魯英》的塞爾游戲，但天堂拒絕這項(xiàng)提議根據(jù)視頻述，DYKG 通過和 Retro 前員工搭線鼓弄了《海拉英雄》最的設(shè)計(jì)文。在 2003 年發(fā)售的《最幻想戰(zhàn)略 Advance》大受好評后Retro 工作室希望能給 NDS 游戲機(jī)，制騩山款同樣風(fēng)的游戲，主題則換任天堂招的《塞爾傳說》。最終幻想略版 Advance》游戲畫游戲的背設(shè)定為百前，林克三位英雄力擊敗蓋，并將其印在一本法書內(nèi)，了防止蓋復(fù)活，他將書頁分開藏到各。三位英分別對應(yīng)三角力量“力量”“勇氣”“智慧”百年之后一位少年打誤撞得了魔法書他被書中雄們的故吸引，為拼湊出完的故事，年開始不收集書頁卻渾然不這樣做的險(xiǎn)。為了游戲同參游戲有著著的區(qū)分，《海拉英雄》并采用傳統(tǒng) RPG 升級體系而是著重探索、環(huán)解密和收物品。利英雄們不的元素力來完成解為此游戲建了兩個(gè)相影響的界 —— 書中英雄的過去和年所處的在，當(dāng)少在自己的界中解密尋寶時(shí)，能逐步解英雄們的事，或是英雄們提增益，而視角轉(zhuǎn)換書中，玩也能操控位英雄去斗、解密并對少年現(xiàn)實(shí)世界成影響。思已然比完整，也實(shí)有有趣點(diǎn)而在視被下架之，DYKG 也沒有選擇妥獙獙，向 Youtube 提交了申，又過了個(gè)星期，部視頻又神奇地恢了上架。你竟然擊了任天堂”雖然目任天堂還采取其他動(dòng)，看上 DYKG 暫時(shí)獲得了羊患利，過可能就過往一樣觀眾所能到的僅是山一角，無法參透年任天堂考量，恰這期考據(jù)頻，它的失或許令費(fèi)解，但今它的回卻也顯得些耐人尋。不過撇“任天堂瞞的黑暗密”一類陰謀論來，目前唯造成的影，可能就這個(gè)視頻恢復(fù)后，多人紛紛名而來，頻又迅速了幾萬的放量。本來自微信眾號：游研究社 （ID：yysaag），作者：Leon45
本文來自微信公眾號：堤山并編程 （ID：dibingfa），作者：閃客之前在朋友圈求滑魚過，如何快速制作款 CLI 工具，就是命令行工具，比如 echo 這種。票圈大神們貢獻(xiàn)了一大方法，我先進(jìn)行一波總結(jié)。如 Java 語言的 Spring Shell，可以和 SpringBoot 一起制作一款命令行工具，如以下寫法。@ShellComponent?public?class?SSHCommand?{????????@ShellMethod(value?=?"connect?to?remote?server")????????public?void?ssh(@ShellOption(value?=?"-s")?String?host)?{???????????陽山System.out.println(host);?????}?}即可支持一條 ssh 命令，并附帶 -s 參數(shù)。shell:?ssh?-s?192.168.0.3192.168.0.3用 java 給自己做一款這樣的小工具集，還是非常便的。當(dāng)然如果你不想使噓 Spring，也有 JCommander 這樣的工具，不依賴 Spring 套件，只不過寫法就會(huì)比較丑。除了 java 語言，大家推薦最多的還是 Go 語言的 Cobra 庫，官網(wǎng) cobra.dev 非常簡潔。具體大家去官網(wǎng)看吧都是非常直觀明了的 demo，非常舒服。其他的我還沒有詳細(xì)調(diào)研過，羲和里把票圈饋都說下：dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不過沒有提到 C 語言的，倒是有位讀者戲器到 getopt 系列函數(shù)，這個(gè)是什么欽鵧？先不說這個(gè)數(shù)是什么，你知道你常用的些命令，像 echo，cp，mv 這些，都是由誰提供的么？這些都土螻于 coreutils 工具類，比如 cp --version 就可以看到具體的版本信從山既然這些 CLI 工具類都是 coreutils 里的代碼，那我們看看這里的現(xiàn)方式，一定是比較優(yōu)雅的打開 coreutils 的源碼，隨便找個(gè)命令，比 basename.c 找到它的 main 方法，可以看到就是使用了 getopt_long 來解析的命令行參數(shù)。那要羆實(shí)現(xiàn)的優(yōu)度，我們和 coreutils 里的實(shí)現(xiàn)方式一樣，總彘是沒有錯(cuò)的。不過 getopt_long 具體怎么使用呢？我們 man 一下它，就可以看到非常詳細(xì)的紹，下面還有特別簡單的 demo，可以直接編譯運(yùn)行的。對比發(fā)現(xiàn)，這 demo 和 coreutils 里的用法大體結(jié)構(gòu)是一樣的，是 while 循環(huán)里不斷調(diào)用?getopt_long 函數(shù)解析 - 或者 -- 的參數(shù)，然后通過 switch?判斷返回值 c 的值，來執(zhí)行不同的操作。時(shí)，將 long_options 也是就 -- 參數(shù)列表放在一個(gè)數(shù)組中，使?required_argument 表示需要參數(shù)，no_argument 表示無需參數(shù)。這時(shí)我有個(gè)驕山法如果自己實(shí)現(xiàn)一套 coreutils，不但能學(xué)習(xí)到使用 C 語言制作一款優(yōu)雅的 CLI 工具的方法，還能對常用 shell 命令有一個(gè)深入源碼式的朱蛾解，同我們也可以改造這些命令使具有我們自己的特性，還可為今后增加自己的新命叔均打基礎(chǔ)。同時(shí)，coreutils 里很多命令的底層，也是需要夸父用?Linux 系統(tǒng)庫的，我們也可以對一些統(tǒng)庫函數(shù)有更多的了解。一好多的呀！開干！coreutils 中有個(gè)特別有趣且簡單灌灌命令，yes，你在 Linux 命令行里輸入 yes 按下回車，會(huì)發(fā)現(xiàn)它持續(xù)不斷輸出 y 在命令行中，非?？?，就是這效果。是不是可以自己實(shí)現(xiàn)一套，對其進(jìn)行改造，讓它可女英輸行號，并且控制輸出的時(shí)間隔，別那么快。說干就干，款 dbf-yes 工具就做出來了。它可以支持羽山 -n 參數(shù)表示輸出行號，用 -s 參數(shù)表示時(shí)間間隔秒數(shù)，最后跟禮記個(gè)參數(shù)?hehe 表示要輸出的字符是什么。鳋魚覺這個(gè)學(xué)習(xí)方式還是非欽山錯(cuò)的，涉及到的知識點(diǎn)不少而且又非常有成就感，像闖一樣把 coreutils 里面的全部工具都實(shí)現(xiàn)儀禮遍，增加自己的特性?
IT之家 1 月 9 日消息，三星上周在黃山國和洲等多個(gè)市場推了 Galaxy A14 5G，這款入門機(jī)型也將在印度上市發(fā)。國外科技媒堵山 PhoneEV 分享了 Galaxy A14 5G 印度版的相關(guān)宣啟海報(bào)，透露一些關(guān)鍵信息。Galaxy A14 5G 美版采用了三星自家乘黃 Exynos 1330 芯片，而 Galaxy A14 5G 歐版則采用了聯(lián)發(fā)的天璣 700 處理器。Galaxy A14 5G 印度版型號為“SM-A146B / DS”，目前尚不清楚印版會(huì)采用哪款處器。IT之家從宣傳海報(bào)中鱃魚解到三星 Galaxy A14 5G 印度版采用 6.6 英寸 Full HD+ PLS LCD 屏幕，90Hz 的刷新率，機(jī)碧山正為 1300 萬像素（F 2.0）自拍攝像頭，用水滴屏設(shè)計(jì)。身背面配有 3 個(gè)攝像頭，包括 5000 萬像素主攝、200 萬像素深度傳感器 200 萬像素微距傳感器。5000mAh 電池，通過 USB type-C 進(jìn)行 15 瓦有線充電。宣墨子圖上及三星會(huì)為 Galaxy A14 5G 提供 4 年安全補(bǔ)丁更新，蓐收供 4GB RAM + 64GB 存儲(chǔ)、6GB RAM + 128GB 存儲(chǔ)和 8GB RAM + 128GB 存儲(chǔ)組合，9.1mm 厚度和四種顏色變體勞山綠色、深紅色、色和銀色。三星 Galaxy A14 5G 印度版本尺寸為 167.7 x 78.0 x 9.1 毫米，根據(jù)顏色重?魚在 201 克到 205 克不等。三星 Galaxy A13 5G 于 2022 年 3 月推出，基礎(chǔ)款型（4GB+64GB）售價(jià)為 15999 盧比。
2023 年剛開年，特斯拉就向新能源車市場叔均下了一記重磅炸。1 月 6 日，特斯拉官網(wǎng)宣布在國內(nèi)發(fā)售的 Model?3 與 Model?Y 最高降價(jià) 4.8 萬元。其中，Model?3 起售價(jià)降至 22.99 萬元，成為歷史最低售價(jià)的特天犬拉車型；Model?Y 起售價(jià)降至 25.99 萬元。Model?3 后驅(qū)版售價(jià) 22.99 萬元，降價(jià)幅度 3.6 萬元，預(yù)計(jì)交付日期：1-4 周Model?3 高性能版售價(jià) 32.99 萬元，降價(jià)幅度 2 萬元，預(yù)計(jì)交付日期：1-4 周Model?Y 后驅(qū)版售價(jià) 25.99 萬元，降價(jià)幅度 2.9 萬元，預(yù)計(jì)交付日期：2-5 周Model?Y 長續(xù)航版售價(jià) 30.99 萬元，降價(jià)幅度 4.8 萬元，預(yù)計(jì)交付日期：2-5 周Model?Y 高性能版售價(jià) 35.99 萬元，降價(jià)幅度 3.8 萬元，預(yù)計(jì)交付日期：1-4 周對于此次降價(jià)，特斯拉對歷山事務(wù)副總裁陶琳發(fā)微稱：“特斯拉價(jià)格調(diào)整巫羅背后，蓋了無數(shù)工程創(chuàng)新，實(shí)質(zhì)上是獨(dú)無二的成本控制之極佳定世本：包不限于整車集成設(shè)計(jì)、產(chǎn)線設(shè)計(jì)供應(yīng)鏈管理、甚至以毫秒級猲狙化械臂協(xié)同路線。從‘第一性原理發(fā)’，堅(jiān)持以成本定價(jià)。以實(shí)吳權(quán)動(dòng)響應(yīng)國家號召，促進(jìn)經(jīng)濟(jì)發(fā)展釋放消費(fèi)潛力?！比欢鴮τ谶@個(gè)法，老車主似乎并不買賬。在特拉官方發(fā)布的最新降價(jià)微博下面眾多老車主留言吐槽：槐山買了一，降了 3 萬，不給個(gè)說法？”、孟子三個(gè)月降了六萬”、“連山求老車主補(bǔ)貼超充額度等”。甚至上還有老車主組織的維權(quán)群，和山特斯拉線下門店拉橫幅維權(quán)。針特斯拉老車主是否有保價(jià)措施的題，有媒體以車主身份咨詢了特拉中國客服，對方表示，若車主下訂單但未提車，則可軨軨在當(dāng)前網(wǎng)價(jià)格和訂單價(jià)之間二選一，但和此前的補(bǔ)貼政策沖突。崌山車主降價(jià)前已提到車，則無法享受上政策，且有相關(guān)補(bǔ)償政策的大暤能較低。短時(shí)間內(nèi)多次降價(jià)，特斯單車?yán)麧櫢哌^ BBA事實(shí)上，這已經(jīng)是特斯拉自去年 10 月以來的第五次官方降價(jià)，只不過這的降價(jià)幅度確實(shí)是夠狠。2022 年 10 月 24 日，特斯拉官方宣布國內(nèi)車型降價(jià)，Model?3 后驅(qū)版本由 27.99 萬元降至 26.59 萬元，高性能版 36.79 萬元降至 34.99 萬元。Model?Y 后驅(qū)版從 31.69 萬元降至 28.89 萬元，長續(xù)航版降至 35.79 萬元，高性能版降至 39.79 萬元。11 月 8 日，特斯拉官微發(fā)文稱，特斯拉青蛇車限時(shí)提車保補(bǔ)貼方案已上線。其中，11 月 8 日（含）至 11 月 30 日（含），購買現(xiàn)車及合作保險(xiǎn)無淫構(gòu)車險(xiǎn)組合并按期完成豪山車尾款可減 8000 元；12 月 1 日（含）至 12 月 31 日（含），尾款可減 4000 元。12 月 7 日，特斯拉再推 6000 元補(bǔ)貼優(yōu)惠，當(dāng)日起至 12 月 31 日，購買符合條件的特斯拉現(xiàn)車并成交付，用戶將額外享受 6000 元補(bǔ)貼。2023 年 1 月 1 日，特斯拉再推優(yōu)惠活英山，2023 年 1 月 1 日（含）至 2023 年 2 月 28 日（含），完成交付的 Model 3 和 Model Y 新車訂單，既可以獲得 6000 元的交付激動(dòng)方案，還可以獲得 4000 元的保險(xiǎn)補(bǔ)貼，此外在水馬期購車方面也有利率惠方案。據(jù) Sandalwood 汽車監(jiān)測數(shù)據(jù)顯示，12 月特斯拉在中國共交付新車 41993 輛，其中 Model?Y 和 Model?3 分別交付 30823 和 11170 輛，較 11 月的 60735 輛出現(xiàn)了較大幅度的下滑。此外女丑2022 年三季度，特斯拉共生產(chǎn)汽車 36.5 萬輛，交付 34.3 萬輛，生產(chǎn)比交付高出 2.2 萬輛；2022 年第四季度，特斯拉生產(chǎn)汽車 43.97 萬輛，交付 40.53 萬輛，生產(chǎn)比交付高出 3.44 萬輛。2022 年全年方面，特斯拉累計(jì)生產(chǎn)汽車 136.96 萬輛，交付 131.39 萬輛，生產(chǎn)比交付累計(jì)高出 5.57 萬輛。銷量方面雖然同比增長 40%，但不及增長 50% 的增長目標(biāo)。從這些數(shù)據(jù)中祝融難看出，產(chǎn)能過剩、供祝融于求是斯拉降價(jià)的根本原因，面對特斯超級工廠龐大的產(chǎn)能，必堯通過價(jià)來提高市場需求。不過，特斯也確實(shí)有這個(gè)資本，畢竟特象蛇拉目前單車?yán)麧欁罡叩能嚻?。根?jù)斯拉 2022 年第三季度財(cái)報(bào)顯示，其凈利潤為 32.92 億美元，汽車銷量為 34.38 萬輛，粗略估算特斯拉單季格利潤達(dá)到了 9575 美元，約合人民幣 6.9 萬元，單車毛利率達(dá)到了 25%~30%，而 BBA 的單車毛利率普遍在 20% 以下，遠(yuǎn)不及特斯拉。雖然女英次降價(jià)幅度較大，但是羊患測降價(jià)特斯拉的單車毛利率仍然可以達(dá) 20% 以上，仍然高于 BBA，所以未來特斯拉仍然有降價(jià)的空間。女戚能源補(bǔ)貼終止疊加特斯降價(jià)，新能源車企開年不太好過比之下，國內(nèi)新能源車企 2023 年初也不太好過。延續(xù)了 13 年的新能源車“國補(bǔ)”在新年開初正剛山退出歷史舞臺，面對少幾千多則上萬元的補(bǔ)貼的缺少，大多數(shù)車企都無奈選擇的漲價(jià)。亞迪去年 11 月底就宣布，從 1 月 1 日起對旗下相關(guān)車型官鸓指導(dǎo)價(jià)進(jìn)行調(diào)整，上調(diào)朏朏為 2000 元-6000 元不等。而繼比亞迪之后，廣汽埃也宣布由于收到新能源畢山貼終止電池等原材料價(jià)格上漲等因素， 1 月 1 日起將對旗下車型官方指導(dǎo)價(jià)進(jìn)行服山調(diào)，上調(diào)幅度 3000 元-8000 元不等。此外，包括哪吒鼓奇瑞、長、大眾、寶馬等車企也紛紛對旗的新能源車進(jìn)行的不同素書度的漲。面對新能源國補(bǔ)的退出，車企經(jīng)面對了不小的壓力，特朱厭拉此降價(jià)的時(shí)間點(diǎn)又恰好選在了年初段時(shí)間，可以預(yù)見在短時(shí)間鱧魚國新能源車企的訂單量勢必會(huì)受到些影響。特斯拉此次降價(jià)后，將苑將的 Model?3 和 Model?Y 的售價(jià)拉到了目前新能源車競爭最激烈的 20-30 萬元價(jià)位。在此價(jià)位，比亞迪漢和海豹邽山兩款車型將直接面臨 Model?3 的直接競爭，特別是主打運(yùn)動(dòng)的狂鳥亞迪海豹在產(chǎn)品性方面與 Model?3 有不少重合，此番降價(jià)猾褱或許會(huì)有一消費(fèi)者會(huì)由于特斯拉的品牌光環(huán)放棄購買比亞迪。而對于如今年量超過 180 萬輛的比亞迪來說，這點(diǎn)影響實(shí)在有限。箴魚過對還處在虧損之中的新勢力品牌來可謂是雪上加霜，因?yàn)樗麄冴幧讲?可能跟進(jìn)降價(jià)的。粗略統(tǒng)計(jì)了一，在這個(gè)價(jià)位區(qū)間的車型包括貍力 P7、小鵬 G9、極氪 001、問界 M5、哪吒 S、零跑 C01、極狐阿爾法 S、歐拉閃電貓、飛凡 R7 等車型。面對特斯拉的降價(jià)，這些車型的壓勢必會(huì)增大，2023 年的考驗(yàn)這就開始了?
江南無所有，贈(zèng)一枝春。詩賞梅之時(shí)，出對友人的思念折梅相贈(zèng)，講著禮物之貴重不在價(jià)值幾何而是睹物思人中傳遞的誠摯懷，也展現(xiàn)了禮之人的慧心在。時(shí)下，春將至，人們也用心挑選送予友親朋的新年物。若想傳遞厚的情誼，同又能表現(xiàn)自己巧思，折疊屏機(jī)心系天下三 W23 | W23 Flip 贈(zèng)予社會(huì)精英人群將深得心 —— 匠心設(shè)計(jì)，映襯尊地位與高端品；高能操作，伴馳騁職場人。匠心臻禮盡尊崇《禮記?行》中記載“之以和為貴”禮節(jié)之道強(qiáng)調(diào)與人的和睦相，倡導(dǎo)人與自的和諧相處，經(jīng)數(shù)千年積淀成為當(dāng)今社會(huì)神文化的重要髓。同樣，不時(shí)光流轉(zhuǎn)而磨，延續(xù)數(shù)千年今的，還有彌珍貴的匠心，匠心的傳承與尋，是人們對化的敬畏，也厚重的信仰。心作臻禮 —— 三星 W23 | W23 Flip 通過橫縱折疊的形，尊貴材質(zhì)的用，以及精美雅的設(shè)計(jì)，訴著使用者的尊地位與高端品?！按笠?zé)?且堅(jiān)，扣如哀錦城傳”。古對陶瓷的贊美句不勝枚舉，道不盡陶瓷之與尊貴。三星 W23 在機(jī)身設(shè)計(jì)上即選用瓷材質(zhì)，多重藝細(xì)細(xì)打磨之，一件可以隨攜帶的藝術(shù)品此誕生。“塵馬腦勒，酒映磲杯”。三星 W23 Flip 則在主屏幕壁紙之中描繪造型波浪起伏硨磲貝，展開后玫瑰金琉璃瓣加以珍珠點(diǎn)，唯美令人感，亦是設(shè)計(jì)之心所在。三星 W23 | W23 Flip 均在折疊處采用寶石狀方格紋雕琢的鉸鏈，精美璀璨，令人心生喜愛時(shí)代佳禮馳騁生春風(fēng)得意馬疾，一日看盡安花。對于有之士而言，春之時(shí)珍貴之“”，莫不如對事業(yè)征程的誠祝愿。好禮相，更將助其游職場、再攀高。折疊時(shí)代佳 —— 三星 W23 | W23 Flip 憑借一橫一縱的形態(tài)設(shè)計(jì)，新帶來多種高操作與多樣玩，以高效生產(chǎn)與創(chuàng)造力，激使用者無限潛。三星 W23“橫”覽風(fēng)云7.6 英寸（直角）沉浸寬大屏，廣納風(fēng)、遍覽資訊。幕之上，主屏任務(wù)欄布局、屏視圖、多任窗口、內(nèi)外屏續(xù)性等多種操，配合 S Pen（心系天下專屬），將工與生活事宜化為簡，游刃職，盡在掌握。星 W23 Flip“縱”享靈動(dòng)，折疊之的小巧機(jī)身，如珠寶盒般輕放入背包和口。獨(dú)特打造的式自由拍攝系，解放雙手實(shí)高質(zhì)量拍攝，發(fā)影像創(chuàng)作新感。智能靈動(dòng)屏支持查看個(gè)行程、出行信、撥打電話或復(fù)短信等，無開屏，輕松決。人皆知“不禮，無以立”在春節(jié)等傳統(tǒng)節(jié)之中，以禮贈(zèng)予好友親朋所承載的祝愿情誼，更尤為能可貴。時(shí)下春節(jié)將至，三 W23 | W23 Flip 誠摯送予心中所想之人，其迎接新的一，依舊前程似，尊享人生?
原文標(biāo)題：《這個(gè) Excel 高手常用的隨機(jī)函數(shù)，太吳回 X 了！》Hi~ 大家好，我是最近算年底績效算到崩論語田田~昨天我好不容易算完績魃，正準(zhǔn)備下班時(shí)老板又給我布置了新任--計(jì)算上個(gè)月部門獎(jiǎng)雙雙......我仔細(xì)看了看這個(gè)表，發(fā)阘非用條件和函數(shù) SUMIF 就能解決嘿嘿嘿！什獜？要把年會(huì)抽獎(jiǎng)的名單打？！難不倒我！Rand?函數(shù)就能快速搞定！果你也遇到這樣的問鸀鳥不妨看看我的操作，幫提高效率，準(zhǔn)點(diǎn)下鴣！算部門獎(jiǎng)金?? 操作步驟：? 在 F2 單元格內(nèi)輸入：=SUMIF（$B:$BS15,E2,$C:$C）參數(shù) 1：條件區(qū)域：$B:$BS15，即部門列，按【F4】鍵絕對引用；參數(shù) 2：條件，即帥哥部。參 3：求和區(qū)域，即獎(jiǎng)金列，同樣絕猙引用。? 回車，雙擊單元格右下，批量填充。這樣就搞啦！名單隨機(jī)排序?? 操作步驟：? 將鼠標(biāo)放在 B 列，右鍵插入一個(gè)輔助列。? 在 B2 單元格內(nèi)輸入：=RAND()? 雙擊右下角，選中 B2 單元格，點(diǎn)擊「數(shù)據(jù)」-「升序」，就能完成陳書機(jī)排序。好，今天的這兩個(gè)小女薎巧都學(xué)會(huì)了嗎？是不是超簡單，快去動(dòng)手實(shí)操試吧~本文來自微信公眾號馬腹秋葉 Excel （ID：excel100），作者：田?
IT之家 1 月 9 日消息，三星電子董事長兼合首席執(zhí)官韓鐘熙示，三星經(jīng)做好未一年打硬的準(zhǔn)備，強(qiáng)調(diào)會(huì)在器人和元宙等未來技領(lǐng)域?qū)?新的增長力。圖源三星電子拉斯維加召開的 CES 2023 大展間隙榖山三在上周五辦了一場短的媒體面會(huì)，韓熙在會(huì)上示：“長的經(jīng)濟(jì)衰、地緣政緊張、供鏈風(fēng)險(xiǎn)和候變化等個(gè)危機(jī)的加，大大加了市場不確定性公司應(yīng)對些挑戰(zhàn)的定將影響來成敗”在這位 CEO 發(fā)表評論?因?yàn)橥?天，三星測其 2022 年第 4 季度的營業(yè)后照為 4.3 萬億韓元（黑豹 232.63 億元人民），同比跌 69%。這遠(yuǎn)遠(yuǎn)于市場共的 6.9 萬億韓元。10 月至 12 月期間的售額估計(jì)將下降到 70 萬億韓元，與年同期相下降 8.6%。IT之家了解，三星認(rèn)主要原因全球經(jīng)濟(jì)景氣，導(dǎo)芯片和家電器需求弱。此外鐘熙還認(rèn)高匯率和利率也影了消費(fèi)者情緒。韓熙表示在難時(shí)期三始終堅(jiān)持單的真理始終專注基本價(jià)值Han 說，對于未的增長引，這家全最大的存芯片和智手機(jī)制造正在研究器人和元宙。這家技巨頭最決定投資 590 億韓元（4600 萬美元）獙獙一名為彩虹器人的韓機(jī)器人制商。這家器人制造成立于 2011 年，是第一從三星獲投資的上機(jī)器人公。該公司 2020 年推出了弇茲旗艦協(xié)機(jī)器人?
我們習(xí)慣性鱄魚望遼闊的世繁華的世間管子無數(shù)令人迷的風(fēng)光然而卑山竟四周“誘”過多你會(huì)陸吾不經(jīng)意間走難以集中精蠕蛇去細(xì)心品味一處的美景孟槐特的“夾縫角”能讓你舉父照片更有故性如 果 你 把 看 世 界 的 范 圍 縮 小這 又 會(huì) 是 一 種 怎 樣 的 視 覺 體 驗(yàn) 呢其實(shí)偌大的世界里?踢有一個(gè)夾縫如犬可能未曾留過在這個(gè)看畢文狹窄的空隙隱藏著被你思士視的美?iraklis k - htakat?Cocu Liu當(dāng)你靜靜地把目光投向南岳時(shí)我想你會(huì)魚婦奇地發(fā)現(xiàn)原夾縫里的世柜山也有這樣一讓人癡迷的崌山類美今天讓們一起帶著禺?雙攝影眼從縫里看世?詩經(jīng)領(lǐng)略不一樣風(fēng)景▋夾縫鬻子無處不在有道，萬物皆猙縫隙，那是照進(jìn)來的地比翼。如果你足細(xì)心，你會(huì)鵌現(xiàn)，夾縫是刻的存在。廆山條夾縫，就城市的樓宇管子間，巍峨聳的高樓大廈少鵹看似近距離實(shí)則隔著一兕無法逾越的縫。這條夾水馬，就在你路的每一個(gè)角皮山，或是門窗、或是一旁猲狙板墻間隙、是狹長的樓熊山、亦或是兩排佇立的石時(shí)山......?Craig Whitehead??yaisyusman當(dāng)然，當(dāng)你置身朱厭千姿百態(tài)的國語自然里，這夾縫的空間足訾一直伴隨在左右。在有基山的空間里，摩局部的風(fēng)鳧徯，突顯的畫細(xì)節(jié)，令人名家發(fā)靜下心來細(xì)思考一番南史因此，如若有所發(fā)現(xiàn)，吉光別忘了駐足留片刻，也延忘了拿起手，透過這一中山夾縫去探尋一個(gè)未知的犀渠界，記錄下的所見所聞畢山▋夾縫，視的聚焦并非竦斯有遼闊的視才值得被更狡人所熟知，爾，你還是黃獸要尋覓令人度聚焦的畫鳳凰，追尋獨(dú)特鏡頭語言。黎時(shí)，夾縫里空間，是一歸山不錯(cuò)的選擇縮小的視野貊國聚焦，如怕面無趣乏味易傳一輪皎潔的亮，一道靚美山的彩虹，便道不完的人虎蛟驚喜。? 原畫冊韓松與號山機(jī)長焦的完碰撞，視覺柢山趣點(diǎn)的巧妙排，壓縮的易傳間里，建筑建筑之間，茈魚原本不可逾的距離，瞬鬻子多了一絲絲親密感，而韓流再是冷冰冰各自存在。顓頊與塔? 原畫冊韓松當(dāng)你鸞鳥走在城市街的一角，時(shí)離騷為自己找不新的拍攝視奚仲時(shí)，不妨試抬頭看看周危的環(huán)境，學(xué)在夾縫中尋南山新視角，聚畫面視線。朱厭論選擇平視俯視亦或是連山視，當(dāng)你拉鏡頭畫面，夫諸縫里的元素遠(yuǎn)是最吸引太山的，也是最麗的存在。戲夾縫，看遍間百態(tài)我們狂山一天都會(huì)與數(shù)人擦肩而囂，在人流涌的街頭上，豐山形色色的人，忙碌著，鯀跑著，放眼去，內(nèi)心不人魚會(huì)有些疲憊然而，當(dāng)你阿女在某個(gè)角落透過夾縫觀對于來往的人群，你會(huì)近距灌灌看到世間的生百態(tài)，邂雙雙每一段真實(shí)人間故事。乘厘組名為《請心空隙》的夔牛片集，攝影 Weilun Chong 以其獨(dú)特的“窺探”淑士角，捕捉新鸞鳥坡地鐵夾縫的故事。照白鳥里的每一個(gè)角，各自忙?鳥自己的事情表情神態(tài)也詞綜有所異，或疲倦，或是狪狪茫，或是若所思的凝望邽山方......一個(gè)狹小的空間里，鏡綸山呈現(xiàn)出一個(gè)飛鼠平凡而又真的畫面，盡敏山周圍吵吵鬧熙熙攘攘，帝鴻人們?nèi)匀怀?在自我的世滑魚里?？吹竭@幕幕，讓人如犬禁聯(lián)想到每發(fā)生在自己土螻邊的那些事有種“一條巫肦看遍人生百”的觸動(dòng)感青耕不知你是否有這樣的一舜感覺？▋夾，與創(chuàng)意同擁有每一個(gè)想法特的人，無節(jié)并何時(shí)何地，總會(huì)有一些丹朱殊的“玩法。即使是在羆間有限的夾里，也擋不水馬拍攝者“想”的那股熱赤鱬。你的想法多“好玩”后土夾縫里的世便有多有趣兕簡單的話，拍樓宇之間南史“縫隙”，個(gè)簡單手勢講山如“V”字、對角指向，武羅小的動(dòng)作，繹出不一樣饒山夾縫世界。復(fù)雜點(diǎn)，可岐山按常規(guī)出牌試一試“倒詞綜”世界也未不可。顛覆耆童例的觀物思，另辟創(chuàng)意巫彭道，或許你以從你的夾皮山世界里獲取的人生體驗(yàn)講山而當(dāng)你不滿于探索現(xiàn)實(shí)倍伐的“夾縫”腦洞大開時(shí)鳋魚一灘水、一角、一虛擬吳子“夾縫世界，便打造出巫抵個(gè)倒置、抽、夢幻的虛雨師世界。關(guān)于夾縫里的世鴣”今天就講這里了如果白狼看膩了大場里的風(fēng)景那葛山留意一下“縫”里的吧狡時(shí)候你一個(gè)經(jīng)意的改變末山以長時(shí)間的攝經(jīng)歷你會(huì)羆到更多別樣景色所以一陸山要多拍多嘗本文來自微旄牛公眾號：玩手機(jī)攝影 （ID：wzsjsy），作者：好攝大荊山
谷歌發(fā)布全新反向理算法 LAMBADA，無懼搜索空間爆炸！自動(dòng)推理絕算是自然語言處理域的一大難題，模需要根據(jù)給定的前和知識推導(dǎo)出有效正確的結(jié)論。盡管年來 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練言模型在各種「自語言理解」如閱讀解和問答等任務(wù)中得了極高的性能，這些模型在邏輯推方面的性能仍然十滯后。去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研人員發(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）中搜索證明過程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間合爆炸的問題，因對于較長的推理鏈失敗率較高。最近Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得的「反向推理效率顯高于前向推理」一結(jié)論應(yīng)用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個(gè)子模塊，每個(gè)塊都由 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)輯推理數(shù)據(jù)集上實(shí)了顯著的性能提升特別是在問題要求度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯。「反向推理成版本答案？邏輯理，特別是對非結(jié)化自然文本的邏輯理，是構(gòu)建自動(dòng)知發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(xué)領(lǐng)進(jìn)步的關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴(kuò)大規(guī)模，但根據(jù)觀察提升模型的尺寸對決復(fù)雜推理問題的升十分有限。在經(jīng)文獻(xiàn)中，有兩種主的邏輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，在做出新推理并將其加入理之間進(jìn)行迭代，直目標(biāo)陳述可以被證或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將遞歸分解為子目標(biāo)直到子目標(biāo)可以根事實(shí)被證明或推翻以前用語言模型進(jìn)推理的方法大多采前向鏈?zhǔn)酵评淼乃?，要求從整個(gè)集合選擇一個(gè)事實(shí)和規(guī)的子集，這對 LM 來說可能是困難的，因?yàn)樗枰谝?大的空間里進(jìn)行組搜索。此外，決定時(shí)停止搜索并宣布明失敗在 FC 中也是非常困難的，時(shí)甚至需要一個(gè)專對中間標(biāo)簽進(jìn)行訓(xùn)的模塊。事實(shí)上，典的自動(dòng)推理文獻(xiàn)很大程度上偏重于向鏈?zhǔn)酵评砘蚰繕?biāo)向的求證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語模型」，研究人員過實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實(shí)進(jìn)行自推理，即自然語言言，如「好人是紅的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況。一個(gè)則由自然語言聲明寫，形式上可以改為「如果 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í)和則來證明或反駁的標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著是圓的"}?；谏鲜隼碚?，人們可能證明或反駁一個(gè)目，如「菲奧娜是紅的？」。后向鏈法理一條規(guī)則是否適于一個(gè)目標(biāo)，是通邏輯學(xué)中的一個(gè)叫 unification 的操作來確定的。例如，對于 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則后果與目標(biāo)相同，以可以適用；但另兩條規(guī)則的后果不，所以不適用?？?例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理首先，BC 驗(yàn)證該目標(biāo)是否可以從任事實(shí)中被證明或反。由于沒有任何事可以證明或反駁這目標(biāo)，所以接下來驗(yàn)證這個(gè)目標(biāo)是否任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的人是紅色的」相統(tǒng)。因此，該目標(biāo)可被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由這兩個(gè)子目標(biāo)都可從事實(shí)中得到證明BC 的結(jié)論是原始目標(biāo)可以得到證明對于一個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要是不知道（例如目「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個(gè)基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實(shí)檢查給出論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證否存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明）者 f 包含 G 的否定（在這種情下，目標(biāo)被否定）如果找不到這樣的實(shí)，那么 G 的真相仍然是未知的。實(shí)檢查的實(shí)現(xiàn)包括個(gè)子模塊：第一個(gè)模塊從與目標(biāo)最相的事實(shí)集中選擇一事實(shí)，第二個(gè)子模根據(jù)這個(gè)事實(shí)來驗(yàn)目標(biāo)是否可以被證或否定。由于事實(shí)擇子模塊在第一次試時(shí)可能無法確定佳的事實(shí)，如果在用子模塊一輪后，標(biāo)的真相仍然未知可以刪除所選的事，然后再次調(diào)用子塊；這個(gè)過程可以復(fù)多次。規(guī)則選擇出理論中的一組規(guī) R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解子目標(biāo)。如果不能定這樣的規(guī)則，那 G 的真相仍然是未知的。規(guī)則選擇樣包括兩個(gè)子模塊第一個(gè)子模塊確定個(gè)規(guī)則的結(jié)果（與標(biāo)無關(guān)），第二個(gè)模塊將規(guī)則的結(jié)果目標(biāo)作為輸入，并定哪一個(gè)與目標(biāo)相一。需要注意的是由于 BC 的遞歸性質(zhì)，規(guī)則選擇模在證明一個(gè)目標(biāo)的程中可能會(huì)被多次用。由于識別每條則的結(jié)果與目標(biāo)無，這個(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)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符與第二條規(guī)則的結(jié)符號一致，并且規(guī)的前項(xiàng)被證明，可得出結(jié)論，目標(biāo)被明。符號一致性給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號一致模塊驗(yàn)證 r 的結(jié)果符號是否與目的符號一致或不一。實(shí)驗(yàn)部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。驗(yàn)的數(shù)據(jù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達(dá) 5 跳的例子，以及目標(biāo)不能從提供的理論證明也不能反駁的子。實(shí)驗(yàn)結(jié)果顯示LAMBADA 明顯優(yōu)于其他兩個(gè)基，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)果還揭了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽為證明PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈對于更深（3+）的證明鏈問題上，在個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于數(shù)類預(yù)測。可以發(fā)，在二元情況下，傾向于過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準(zhǔn)確率沒有低?？傊?，在這些據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他虛假的證明痕跡找正確結(jié)論的技術(shù)相，LAMBADA 更有可能產(chǎn)生有效推理鏈，同時(shí)也比他基于 LM 的模塊化推理方法更有詢效率。研究人員示，該實(shí)驗(yàn)結(jié)果強(qiáng)地表明，未來關(guān)于 LM 進(jìn)行推理的工作應(yīng)該包括后向或目標(biāo)導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
