設置 | 登錄 | 註冊

本次共搜索到帖子234篇,用時171ms。


(多個侃吧可使用空格隔開)
(多個用戶可使用空格隔開,IP中可以使用「*」符號表示IP段)

回覆:百度化学吧的前吧主神游寻周公就很喜欢骂化学水平不如他的人是“菜逼”

哎,科学上没有谁可以绝对地站在高处嘲笑别人,菜不菜也都是相对的

回覆:去健身房举过哑铃以后,才会知道某些冻鳗里普通人随便就能把人从悬崖下拉上来有多扯

嗯嗯,和抱着或者背着还是不一样的,悬崖上把人拉起来的情况下,接触面积太小,摩擦力有限,所以对人的力量要求很高

回覆:【水】我们健身房的一些照片

加油

大学生就业为什么这么难呢?(转自知乎李劼)

“制造业”这个词百分百被用错了,导致了百分百的误解。
真正该用的词是“机械文明”,相对于今天的“赛博文明
”。
机械文明时代,最大的就业红利其实不是叫大学生脱下长衫打螺丝(反正诸位长...
悄悄打开魔盒 6-16 叶子保护伞 (點擊/回復: 397/1) -- 作業多吧

回覆:lean4的简单程序

import Mathlib.Data.Real.Basic
-- 一个稍复杂一些的例子,使用intro策略给各个假设命名
theorem my_lemma : ∀ x y ε : ℝ,...

回覆:lean4的简单程序

两横线 -- 是注释, 井号后面一般是关键字,比如说#check,#eval

回覆:魔力赏集市是一个好东西,但是魔力赏不是

以前那些一元购,淘宝的淘必中,京东的夺宝,也是类似的方式,也是沉迷者太多,国家最后整治了

回覆:如果被父母知道,我是为了获得去鬼屋做NPC的资格才坚持去健身房锻炼的

加油
只要你确实能做好这个工作,父母最终还是会理解的

回覆:lean4的简单程序

-- 一部分换行丢了。。重新发
-- 两横线后面是注释
-- 计算#eval 12+12 -- 计算,结果是24
-- 类型检查
#check 3 -- 类型检查,结果是ℕ...

lean4的简单程序

-- 两横线后面是注释-- 计算#eval 12+12 -- 计算,结果是24
-- 类型检查
def f (x :ℕ) :=  x + 3
#check f -- 类型检...
悄悄打开魔盒 5-4 啊啊是谁都对 (點擊/回復: 397/6) -- lean4吧
©2010-2025 Purasbar Ver3.0 [手機版] [桌面版]
除非另有聲明,本站採用知識共享署名-相同方式共享 3.0 Unported許可協議進行許可。