哎,科学上没有谁可以绝对地站在高处嘲笑别人,菜不菜也都是相对的
回覆:百度化学吧的前吧主神游寻周公就很喜欢骂化学水平不如他的人是“菜逼”哎,科学上没有谁可以绝对地站在高处嘲笑别人,菜不菜也都是相对的
|
回覆:去健身房举过哑铃以后,才会知道某些冻鳗里普通人随便就能把人从悬崖下拉上来有多扯嗯嗯,和抱着或者背着还是不一样的,悬崖上把人拉起来的情况下,接触面积太小,摩擦力有限,所以对人的力量要求很高
|
回覆:【水】我们健身房的一些照片加油
|
大学生就业为什么这么难呢?(转自知乎李劼)“制造业”这个词百分百被用错了,导致了百分百的误解。
真正该用的词是“机械文明”,相对于今天的“赛博文明 ”。 机械文明时代,最大的就业红利其实不是叫大学生脱下长衫打螺丝(反正诸位长... |
回覆: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 -- 类型检... |