Log for
#ysitd
[Title] 喵助影像 - 首頁 | Facebook
<mmis1000>: (licson: 請使用 Q...) \merge sort/
<s3131212>: (licson: 而且也不是...) Timsort 表示
<TsundereChen>: Now Launcher 介面怎麼改的跟 iOS 一樣了((
<james58899>: (TsundereChen: Now L...) 我靠盃過了
<TsundereChen>: (coin3x: 推 Ｍr....) 欸？Season 3 完結了嗎？
<coin3x>: (TsundereChen: 欸？Sea...) 對
<TsundereChen>: 從香港被寄去日本再寄臺灣，真的很麻煩（？
<S_ean>: 我想到他不能幫我開關電燈，就不想花一千元買了
<TsundereChen>: (S_ean: 我想到他不...) 可以啊？那是我未來添購目標(？
<TsundereChen>: (S_ean: 比手機 O...) 我覺得他聽啟動關鍵字更快更準，手機還要等 Assistant 反應，可是 Home Mini 在室內喊一下就有反應了
<S_ean>: 感覺好噁心，雖然夠方便我就不在意隱私 (?
<TsundereChen>: (S_ean: 感覺好噁心...) 至少現在應該不會偷錄音(？，好像這幾天有發修正韌體
<mmis1000>: humblebumdle vegas pro 14 特價600耶
<S_ean>: (byStarTW_TW: 你都能把訊...) 我覺得整個移除可能會造成雞同鴨講
<byStarTW_TW>: (S_ean: 我覺得整個...) 可以自己選擇要刪誰的訊息呀
<byStarTW_TW>: [BOT] My owner defined "新手討論群" is in here, Should I change default group url and notify my owner to leave the group?
<TsundereChen>: (coin3x: 對) 好奇問一下，你怎麼追這部的？
<coin3x>: (TsundereChen: 好奇問一下...) 載
<TsundereChen>: (coin3x: 載BT) 海盜灣找的？
<coin3x>: (TsundereChen: 海盜灣找的...) 都有 隨便找
<coin3x>: (TsundereChen: 好奇問一下...) 那你第一季怎麽看ㄉ
<TsundereChen>: (coin3x: 那你第一季...) 之前好像是用 Popcorn Time 吧
<TsundereChen>: 我比較懶的一集一集抓，我比較喜歡一次抓一個 Season
<TsundereChen>: (james58899: \課金/) 你知道有些劇想課金也不方便嗎(？
<TsundereChen>: 是說今天的智力測驗結果什麼時候會出爐啊？
<koru1130>: (TsundereChen: 是說今天的...) 晚上ㄅ
<licson>: (Zeinok: https...) 這很聰明啊
<licson>: 把 Java 變 Python（
<koru1130>: (Zeinok: https...) --其實我覺得滿漂亮的
<james58899>: (licson: 把 Jav...) 我只是在想幹嘛不直接跳kotlin
<james58899>: 語法結構沒有差很多，然後也不用分號
<james58899>: 而且多了不少方便的小東西
<TsundereChen>: 同意票四萬一，不同意一萬八，門檻六萬三，好恐怖QQ
<james58899>: async await之類的(#
<koru1130>: (TsundereChen: 同意票四萬...) 現在還不要放棄qqqqq
<koru1130>: 到最後一刻才知道qqqqqqq
<james58899>: (TsundereChen: 同意票四萬...) 什麼東西
<koru1130>: (james58899: 什麼東西) 智力測驗
<TsundereChen>: (james58899: 什麼東西) 智商測驗啊
<koru1130>: 剛剛施測 現在正在公布結果
<TsundereChen>: (james58899: 求細節) 看新聞
<koru1130>: (james58899: 沒看出什麼...) 在截圖內有
<TsundereChen>: (koru1130: 有夠不關心...) 你不能這樣說，同溫層活久了看到外面世界會很難適應(？
<koru1130>: (TsundereChen: 你不能這樣...) 4ㄉ
<koru1130>: (TsundereChen: 你不能這樣...) 然後我的一票跟他們的一票等值
<koru1130>: (james58899: 沒看出什麼...) 所以你找到了嗎
<rextw>: (TsundereChen: 同意票四萬...) 沒吧 不是同意票的門檻六萬三ㄇ
<TsundereChen>: (rextw: 沒吧 不是...) 對啊？
<rextw>: (TsundereChen: 對啊？) 那應該是不會過ㄌ辣
<james58899>: (koru1130: 在截圖內有) 罷免喔
<koru1130>: (james58899: 罷免喔) Y
<koru1130>: (rextw: 幹其實黃國...) ?
<james58899>: (koru1130: 然後我的一...) 不然勒
<rextw>: (koru1130: 是動員人數...) 一堆大佬出來站台
<koru1130>: (james58899: 不然勒) 我個人認為這有點不合理啦
<rextw>: (rextw: 一堆大佬出...) Kmt ㄉ
<koru1130>: (rextw: 邪教 KM...) 話說DPP到底是要拉下來還是保住他
<rextw>: (koru1130: 話說DPP...) 拉下來啊
<james58899>: (koru1130: 我個人認為...) 很平等啊
<james58899>: 沒道理誰的票比較有價值
<koru1130>: (james58899: 沒道理誰的...) 我個人認為一個完全不了解時事的人的票 不應該跟了解時事的人等值
<rextw>: (koru1130: 我個人認為...) 民主ㄉ概念就是所有人都要參與
<james58899>: (koru1130: 我個人認為...) 會去投票代表多少有了解啊
<rextw>: 要參與的人要想辦法說服那些還是空白的人支持自己的論點
<rextw>: (rextw: 要參與的人...) 透過這個步驟完成公民參與
<koru1130>: (rextw: 要參與的人...) 實際上來說就是很困難啊
<koru1130>: 不說別的 只要一提起就會被罵說政治很髒不要碰ㄅ
<alian03>: (koru1130: 不說別的 ...) Yo 安定力量敢對其他立委下手嗎？
<rextw>: (koru1130: 不說別的 ...) 那那些人會去投票ㄇ
<koru1130>: (rextw: 那那些人會...) 有時候就是\會
<rextw>: (koru1130: 有時候就是...) 那代表他們心裡自己有一套想法
<koru1130>: (rextw: 那代表他們...) 好ㄅ
<koru1130>: (alian03: Yo 安定...) 你說洪慈庸ㄇ
<alian03>: (koru1130: 你說洪慈庸...) 不，是國、民兩黨的
<rextw>: (rextw: 雖然看到智...) 但是想想 對方說不定也這樣看我們ㄅ 大家都覺得自己想的才是對的ㄅ4ㄇ
<koru1130>: (rextw: 但是想想 ...) 好
<koru1130>: (alian03: 不，是國、...) 人家命名就叫安定力量ㄌ
<rextw>: 中天開始在報哪家餐廳好吃了XDDD
<TsundereChen>: (rextw: 拉下來啊) DPP 是保吧？
<koru1130>: (rextw: 中天開始在...) 那就是不會過了
<rextw>: (rextw: 中天開始在...) 剛剛勢頭剛起 還在高潮
<alian03>: (koru1130: 人家命名就...) 那他們敢要求立委修法，讓不分區的立委也能被罷免嗎？
<rextw>: (TsundereChen: DPP 是...) 黃國昌一直在搞政府
<TsundereChen>: (rextw: 黃國昌一直...) 可是 DPP 沒有跳出來支持罷免啊，再說黃國昌電的主力是過去八年而不是現任政府吧？
<TsundereChen>: 雖然我覺得他沒被罷免的話下一個就是電現任政府了(？
<rextw>: (koru1130: 中天播廣告...) 票數對比變成天氣跑馬燈ㄌ
<rextw>: (TsundereChen: 可是 DP...) 金管會
<koru1130>: (rextw: 票數對比變...) 恢復了
<rextw>: (koru1130: 恢復了) 是喔OAO
<toppy368>: (koru1130: 不說別的 ...) 嗯，不過不碰只會越來越髒
<alian03>: (TsundereChen: 雖然我覺得...) 說藉由罷昌給兩黨下馬威的我也笑了
<TsundereChen>: (rextw: 金管會) 金管會非主力吧，黃國昌感覺主力在電一銀
<rextw>: (TsundereChen: 金管會非主...) 一銀dpp也有份啦
<toppy368>: 為了反同居然投票落差比那麼大我也是醉了
<TsundereChen>: (alian03: 說藉由罷昌...) 我反倒覺得這句話有他的道理，畢竟台灣還是保守力居多，如果黃國昌真的被罷免那其他立委可能會更緊張
<alian03>: (koru1130: 中天播廣告...) 國昌掀出了慶富案，卻也因為慶富案（+私人恩怨）被拉下去
<alian03>: (TsundereChen: 我反倒覺得...) 不會啦～兩黨還會一起笑他
<TsundereChen>: 可是我還是搞不懂為什麼一個立委要勤跑基層，都叫立法委員了，人不在立法院該在哪裡
<toppy368>: DPP現在已經算既得利益者了
<toppy368>: 不過確實很多人把議員當里長
<koru1130>: (TsundereChen: …什麼鳥啊...) 超無言啊
<koru1130>: 中天現在在報世界最大淡水魚ㄌ
<TsundereChen>: (toppy368: 至少要連線...) 這好像不是中選會的管理範圍，這好像是地方選委會
<koru1130>: (TsundereChen: 這好像不是...) 地方選委會屬於中選會啊(?
<TsundereChen>: (koru1130: 地方選委會...) 呃…好吧我記錯了，好險還沒考試(X
<toppy368>: 其實我一直覺得這些保守派的言論才是🙈
<Shigurefox>: (TsundereChen: 可是 DP...) 行政院各大部會都被他電過一輪了
[Title] 【LIVE】罷免立委黃國昌案 今投票結果揭曉 - YouTube
<koru1130>: 幹 為什麼我上次看也都這些新聞
<koru1130>: 小一男童撿到16萬交給警察
<koru1130>: 幹 電視媒體真的有夠沒營養欸
<TsundereChen>: (koru1130: 幹 電視媒...) 因為媒體想把你洗成只看政治跟八卦新聞？
<koru1130>: (TsundereChen: 因為媒體想...) 政治新聞?
<TsundereChen>: (koru1130: 政治新聞?) 對啊，每天都會有選舉相關新聞啊，例如現在就在吵明年縣市首長選舉，莫名其妙
<koru1130>: (TsundereChen: 對啊，每天...) wwwww
<koru1130>: 講一堆政治然後社會議題完全沒關心
<TsundereChen>: 被你這麼一說我反而好奇，聽了幾天的西方新聞的 @S_ean 有什麼感想（？
<toppy368>: (koru1130: 講一堆政治...) 沒有喔！還是有社會議題 可是都只有車禍、性侵
<koru1130>: (toppy368: 沒有喔！還...) 那哪算社會議題啦
<S_ean>: (TsundereChen: 被你這麼一...) 沒感想，聽不代表懂🌚
<koru1130>: (S_ean: 沒感想，聽...) 那你到底聽了什麼wwwwwww
<TsundereChen>: (S_ean: 沒感想，聽...) 幫QQ
<S_ean>: 我只知道大家都知道的 Net Neutrality
<toppy368>: (koru1130: 那哪算社會...) 社會議題(X 恐慌議題(O
<koru1130>: (toppy368: 社會議題(...) 那只能算時事ㄅ
<koru1130>: (S_ean: 沒感想，聽...) 就跟我在數學課的感受一樣
<TsundereChen>: 國內好像沒幾家媒體有報網路中立相關新聞
<TsundereChen>: 川普要遷大使館好像也沒報？
<toppy368>: (TsundereChen: 國內好像沒...) 因為怕影射媒體圈吧！
<S_ean>: (TsundereChen: 聽 NPR...) 不錯呀，像是 Fox 的開場就很吵
<toppy368>: 我記得有線電視網路也有部分的老闆是媒體業者
<TsundereChen>: (koru1130: 你不考慮看...) 就跟聽廣播一樣啊？有什麼好可怕的
<koru1130>: (TsundereChen: 就跟聽廣播...) 聽不懂啊
<toppy368>: (S_ean: 不錯呀，像...) 最近被迪士尼買的集團，我猜可能會影響到節目內容？
<TsundereChen>: (koru1130: 我看英文文...) 看 Last Week Tonight with John Oliver(?
<TsundereChen>: (toppy368: 最近被迪士...) 對欸...被你這麼一說才想起來這樣好像會有問題
[Title] Category theory - Wikiwand
<TsundereChen>: (koru1130: @Tsun...) ...沒很有興趣
<toppy368>: (TsundereChen: 對欸......) 因為Fox+
<koru1130>: (TsundereChen: ...沒很...) qq
<toppy368>: 我才被買下的21世紀福斯集團，好像很耳熟
<TsundereChen>: (koru1130: qq) 怎麼突然問這個
<koru1130>: (TsundereChen: 怎麼突然問...) 因為正在看跟那相關的wiki
<TsundereChen>: (koru1130: 我正在試圖...) Functional Programming ?
<koru1130>: (TsundereChen: Funct...) 摁
<james58899>: (koru1130: 小一男童撿...) 這都報幾年了www
<TsundereChen>: (koru1130: 摁) 好歐你成功引起我興趣了，我決定晚上來看
<rextw>: 區域網路電腦間的通訊會受到網關的影響ㄇ
<koru1130>: (rextw: 區域網路電...) 網關?
<rextw>: 例如 Switch (Gigabit 級) 下有 A,B 電腦(Gigabit級) 和 C 路由器(100M級) B 的 gateway 為 C 那B要存取A的服務會不會受到 100M 的限制
<james58899>: (rextw: 例如 Sw...) 當然是不會啊
<roytam1>: (rextw: 例如 Sw...) 不會
<rextw>: (james58899: 當然是不會...) 嗚嗚 可是我現在跑是 100M 速度QQ
<james58899>: 那就代表你根本不是跑區域網啊
<james58899>: 繞到gateway再回來了
<rextw>: (james58899: 那就代表你...) 如果我是用域名解析到區域網呢
<rextw>: 因為 Windows 的 WebDAV 強制 SSL 連線 所以我用一個指向私人IP的域名來存取
<james58899>: (rextw: 如果我是用...) 你用public ip連就是會繞出去
<rextw>: (james58899: 你用pub...) 我的域名指向 private ip
<seadog007>: (james58899: 那就代表你...) router也是gateway啊(O
<seadog007>: 你為什麼不要給個mtr來看看就知道了
<koru1130>: （((P→Q)→P)→P） 這個
<toppy368>: 假設某個東西是自己買的，被家人用壞，而且還屢次
<toppy368>: 這樣要開帳單要怎麼開(我想開罰了)
<koru1130>: (koru1130: （((P→...) @Cute_Panda 我知道你學過邏輯
<TsundereChen>: (toppy368: 我想硬體應...) 好奇一問，壞了什麼啊
<toppy368>: 機殼、主機板含CPU與顯卡、硬碟
<koru1130>: (toppy368: 機殼、主機...) 到底怎麼用壞的
<toppy368>: 發脾氣遷怒老媽，然後破壞我的設備
<james58899>: (mmis1000: test) 存活確認
<toppy368>: 機器送檢，不過可以問問毀損狀況
<danny8376>: 就 照開啊 砸壞本來就是要賠 無關家人
<james58899>: 我很想收顯卡，如果還能用的話(#
<toppy368>: 資料的話，應該送修前必須再做一次複製
<toppy368>: 現在只有2017一月的資料
<licson>: (danny8376: 就 照開啊...) 如果我家人砸壞我的設備的話
<byStarTW_TW>: (toppy368: 發脾氣遷怒...) 幫 QQ
<byStarTW_TW>: 話說是什麼破壞法，強制拔除電腦電源？<del>還是用球棍把電腦砸爛？</del>
<toppy368>: (byStarTW_TW: 話說是什麼...) 用摔的
<TsundereChen>: 如果常用的電腦之類的可以上雲端就可以避免這種悲劇了…不過這看來只是夢
<james58899>: (TsundereChen: 如果常用的...) 台灣網路
<koru1130>: --幸好我都有備份到Google--
<seadog007>: (koru1130: --幸好我...) 沒錢這樣搞
<TsundereChen>: (james58899: 台灣網路) 你機器放 GCP 不會(？
<seadog007>: 上個月開了一台類似的主機
<koru1130>: (seadog007: 沒錢這樣搞) Google Work不就可以ㄌ
<seadog007>: (koru1130: Googl...) 機器啦
<TsundereChen>: (seadog007: 噴了數千 ...) 你的 Credit 勒
<seadog007>: (TsundereChen: 你的 Cr...) 2015就過期了
<windasd>: (seadog007: 噴了數千 ...) 會讓你你這樣講是不是美金
<seadog007>: (windasd: 會讓你你這...) 怎麼可能
<koru1130>: (seadog007: 怎麼可能) 一定是BTC
<windasd>: (koru1130: 一定是BT...) Wwwww
<seadog007>: (koru1130: 一定是BT...) 是的話我就請你吃飯
<danny8376>: (seadog007: 2015就...) QQ
<danny8376>: 我連試用credit都沒領過TAT
<TsundereChen>: (danny8376: 我連試用c...) 總覺得不可信(？
<TsundereChen>: 那東西給那麼大方，跟 Azure 有得比(？
<james58899>: (seadog007: 看你要吃什...) 人家最愛吃土
<danny8376>: (TsundereChen: 總覺得不可...) Cloud剛推我就搶玩啦w
<windasd>: (james58899: 人家最愛吃...) 其實是橡皮擦🙈
<danny8376>: 因為不是credit制所以沒credit (O
<TsundereChen>: (james58899: e04) 砍掉啊，用網頁版
<licson>: (seadog007: 噴了數千 ...) 臺幣咿咿呀呀
<TsundereChen>: 反正 FB 這吃容量又沒屁用的東西砍了沒差(？
<koru1130>: (seadog007: 是的話我就...) 那時候你早就被信用卡公司追殺了吧
<licson>: 又不像我上次用 AWS 噴了 US$509
<danny8376>: (koru1130: 那時候你早...) www
<TsundereChen>: 這裡最常炫帳單的應該是 @cras4202tw 吧，雖然不是他個人的(
<as2174>: (windasd: 拔拔分我1...) 我0.00056就好(#
<byStarTW_TW>: (toppy368: 用摔的) laptop ?
<licson>: (seadog007: 風超大) 伺服器散熱
<TsundereChen>: (licson: 可是我房間...) 歡迎來台灣東部吹海風(#
[Title] 【噁豚】你真的是他媽幹話王耶 - YouTube
<windasd>: (licson: 可是我房間...) 弄個抽風散 直接把廢熱送進你房間
<Zeinok>: (windasd: 弄個抽風散...) 真環保
<windasd>: (Zeinok: 真環保) 救救地球？
<licson>: (windasd: 弄個抽風散...) 不 我的伺服器都是天然冷凍的
<licson>: (TsundereChen: 歡迎來台灣...) 我現在已經在吹了
<toppy368>: (byStarTW_TW: lapto...) 桌機，筆電沒有傷害到
<toppy368>: 但老爸的有，不過自己砸了自己的電器所以…活該
<licson>: Facebook 也是這樣幹的（
<cras4202tw>: 我 server 也是天然冷凍
<koru1130>: 電子貨幣真的有必要到每個人都有每一份帳本嗎
<TsundereChen>: (koru1130: 電子貨幣真...) 這意思跟問銀行有需要每個人一個戶頭有什麼不一樣？
<koru1130>: (TsundereChen: 這意思跟問...) 不一樣啦qq
<koru1130>: 現在不是每一份交易都會紀錄在每個人的電腦裡嗎
<TsundereChen>: (koru1130: 現在不是每...) 啊，原來是指 Blockchain，是不必要啊，可是如果有是在幫助整個 Blockchain 更安全
<koru1130>: (TsundereChen: 啊，原來是...) 我的意思是 有沒有辦法把帳本平均分散給每個人 可能每個人只保存部分那樣
<excfergodst>: 有人玩過 dcos.io ㄇ
<koru1130>: 不然交易越來越多到時候不就會爆炸ㄇ
<TsundereChen>: (koru1130: 我的意思是...) 可是如果一個人消失了怎麽辦？
<licson>: (excfergodst: 有人玩過 ...) Hi
<koru1130>: (TsundereChen: 可是如果一...) 沒有說只有一個人保存啊www
<excfergodst>: (licson: 但是不好用) 為啥 看起來美美ㄉ 我喜歡
<TsundereChen>: (koru1130: 沒有說只有...) 分散式保存不會降低完整性嗎？
<TsundereChen>: 而且要怎麽分散之類的
<koru1130>: 例如現在每個人保存全部帳本量X 那改成X/2的量啊
<koru1130>: (TsundereChen: 而且要怎麽...) 我就在想這個
<koru1130>: (TsundereChen: 分散式保存...) 會啊 但是也沒有必要到現在這麼完整吧
<TsundereChen>: 我決定召喚 @danny8376 來討論（？
<koru1130>: 交易會越來越多ㄅ 特別是有人拿去買貓貓
<TsundereChen>: (koru1130: 會啊 但是...) 我想到你想講什麼了，等我一下
<koru1130>: (TsundereChen: @koru...) 不清楚
<koru1130>: 這比較偏Verification的部分吧
<koru1130>: 我講的是Storage(?
<windasd>: 你的意思是種共就一份完整的 然後分割之後給每個人存放嗎？
<rextw>: (koru1130: 有人會皮爾...) 乾那麼久了wwww
<koru1130>: (rextw: 乾那麼久了...) 啥
<rextw>: (koru1130: 啥) 你看皮爾士看很久ㄌ
<koru1130>: (rextw: 你看皮爾士...) 所以你要解釋給我聽ㄇ
<koru1130>: (windasd: 你的意思是...) 也不太算是
<as2174>: (koru1130: 會啊 但是...) 你可以丟到電子貨幣交流群問看看(?
<koru1130>: 或許可以存在X/2的電腦裏就好啊
<TsundereChen>: (as2174: 你可以丟到...) 那裡感覺很像投資群而不是技術群
<windasd>: (TsundereChen: 那裡感覺很...) 真的
<rextw>: (koru1130: 所以你要解...) 你要不要先去看一下排中律
<as2174>: (TsundereChen: 那裡感覺很...) ummm也是(
<TsundereChen>: (koru1130: @Tsun...) 我認真看了一下，這個雖然好像跟 Functional Programming 有關，可是直接這樣看完全搞不懂能被怎樣應用
<as2174>: (koru1130: 或許可以存...) 這個問題我以前好像看過🤔
<koru1130>: (TsundereChen: 我認真看了...) 這算是FP的理論ㄅ
<koru1130>: (rextw: 你要不要先...) 看了
<TsundereChen>: (koru1130: 這算是FP...) 可是通常理論不是會配一點範例嗎？實際應用什麼的，總覺得直接啃理論好難想通想表達什麼
<rextw>: (koru1130: 看了) 那你知道 ((A→B)→B) 跟 A∨B 一樣 ¬(A→¬B) 跟 A∧B 一樣ㄇ
<windasd>: 欸 不是阿 帳本不是只有在節點上面嗎？
<koru1130>: (rextw: 那你知道 ...) 不知道
<rextw>: (koru1130: 不知道) 那尼最好知道一下
<koru1130>: (TsundereChen: 可是通常理...) 還是你要從Haskell去看
<koru1130>: (windasd: 欸 不是阿...) 那為什麼我之前下載錢包的時候同步超級九
<TsundereChen>: (koru1130: 還是你要從...) 那好像就有點超過現在我能力所及了，你明年二月再問我看看（？
<koru1130>: (TsundereChen: 那好像就有...) qq好吧
<rextw>: (koru1130: 為什麼 (...) 真假值表對一下就知道了
<koru1130>: 話說 P -> Q 的真假值到底是啥
<rextw>: (koru1130: 話說 P ...) P則Qㄚ
<rextw>: (koru1130: 好 我大概...) 讚
<koru1130>: 除了真假值之外有其他推導方式ㄇ
<Cute_Panda>: (koru1130: @Cute...) 沒有，我只是者找資料，然後放著。
<rextw>: (koru1130: 除了真假值...) 他比較像約定
<rextw>: 就是 我們知道他是對的 等價的 所以我們拿來用這樣
<koru1130>: 不過我還是不太能理解 (p->q) 本身有真假值的概念
<koru1130>: x -> (p->q) 我能理解
<koru1130>: 但是 (p->q) -> x 我不能理解
<rextw>: (koru1130: 不過我還是...) 真假值就是成立與否
<rextw>: 除非 p!->q 否則 p->q
<koru1130>: (rextw: 真假值就是...) 為什麼 p=0 q=0 可以推出 p->q
<koru1130>: (rextw: 除非 p!...) 靠杯喔
<rextw>: (koru1130: 邏輯好抽象...) 這個 if then 跟我們日常生活的不一樣啦
<koru1130>: (rextw: 這個 if...) 我也覺得
<koru1130>: (rextw: 這個 if...) 話說這你在哪學ㄉ
<rextw>: (koru1130: 話說這你在...) 我沒學ㄚ
<koru1130>: 我還以為高中數學有邏輯(?
<rextw>: (koru1130: 我還以為高...) 有 p->q 的真假值你一定會碰到
<koru1130>: (rextw: 有 p->...) 那個概念到底哪來的
<rextw>: (koru1130: 那個概念到...) 你是說 p=0 q=0 p->q=1 的情況嗎
<koru1130>: (rextw: 你是說 p...) 摁
<rextw>: 我跟你說 要是我中樂透 我就請你吃飯
<rextw>: 那 唯一違背承諾的情況就是 我中了樂透沒請你吃飯
<rextw>: 我沒中樂透 沒請你吃飯 我還是有遵守承諾
<rextw>: ㄚ災 我還沒想過 我以為那個是拿來當定理用ㄉ
<rextw>: (koru1130: (p->q...) 啥
<koru1130>: (rextw: 啥) 怎麼解釋
<rextw>: (koru1130: 為什麼他是...) 真假值ㄚOAO
<koru1130>: (rextw: 真假值ㄚO...) 真的沒有直觀一點的理解方法嗎qq
<rextw>: (koru1130: 真的沒有直...) 好像沒有 不過可以用解釋的
<koru1130>: (rextw: 好像沒有 ...) 怎麼解釋
