587 個「 Lambda Calculus 」的搜尋結果

依關聯性

VoiceTube 廣告

08 大金字塔--眾目睽睽之下的祕密。 (08 The Great Pyramid - Secrets in Plain Sight)

12:09

08 大金字塔--眾目睽睽之下的祕密。 (08 The Great Pyramid - Secrets in Plain Sight)

287

青少年對壞女孩的反應(10週年) (TEENS REACT TO MEAN GIRLS (10th Anniversary))

07:40

青少年對壞女孩的反應(10週年) (TEENS REACT TO MEAN GIRLS (10th Anniversary))

306

一架飛機在4.1萬英尺高空燃料耗盡。以下是接下來發生的事情 (An Airplane Ran Out of Fuel at 41,000 Feet. Here's What Happened Next)

08:49

一架飛機在4.1萬英尺高空燃料耗盡。以下是接下來發生的事情 (An Airplane Ran Out of Fuel at 41,000 Feet. Here's What Happened Next)

14

中文 B1 中級

巨蟹座♋2020年3月：簡化星象打印？ (Cancer♋ Mars 2020 : tirage astrologique simplifié ?)

15:36

巨蟹座♋2020年3月：簡化星象打印？ (Cancer♋ Mars 2020 : tirage astrologique simplifié ?)

2

這個簡單的竅門將激勵你一生一世。 (This Simple Trick Will Motivate You For Life)

10:36

這個簡單的竅門將激勵你一生一世。 (This Simple Trick Will Motivate You For Life)

91

高中物理真題--60個符號》。 (Problems with High School Physics - Sixty Symbols)

08:44

高中物理真題--60個符號》。 (Problems with High School Physics - Sixty Symbols)

2

Amazing Graphs II (包括星球大戰) - Numberphile (數字愛好者) (Amazing Graphs II (including Star Wars) - Numberphile)

10:49

Amazing Graphs II (包括星球大戰) - Numberphile (數字愛好者) (Amazing Graphs II (including Star Wars) - Numberphile)

5

為什麼冠狀病毒的衰退與其他任何一次都不同？ (Why The Coronavirus Recession Is Unlike Any Other)

10:03

為什麼冠狀病毒的衰退與其他任何一次都不同？ (Why The Coronavirus Recession Is Unlike Any Other)

229

電腦科學 vs 軟體工程 - 哪一項主修更好?

10:15

電腦科學 vs 軟體工程 - 哪一項主修更好?

146

10萬直播黨!自編代碼。SHMUP (100K Live Party! Code-It-Yourself: SHMUP)

138:40

10萬直播黨!自編代碼。SHMUP (100K Live Party! Code-It-Yourself: SHMUP)

10

2D中的視線或影子投射技術 (Line Of Sight or Shadow Casting in 2D)

50:23

2D中的視線或影子投射技術 (Line Of Sight or Shadow Casting in 2D)

22

我作為計算機科學學生的最後一個學期。 (My LAST Semester as a Computer Science Student)

18:59

我作為計算機科學學生的最後一個學期。 (My LAST Semester as a Computer Science Student)

4

用JS重現復古電腦藝術！由謝敏忠主持｜JSConf EU 2019 (Recreating Retro Computer Art with JS! by Sher Minn Chong | JSConf EU 2019)

26:51

用JS重現復古電腦藝術！由謝敏忠主持｜JSConf EU 2019 (Recreating Retro Computer Art with JS! by Sher Minn Chong | JSConf EU 2019)

2

Kotlin介紹（Google I/O'17 (Introduction to Kotlin (Google I/O '17))

38:39

Kotlin介紹（Google I/O'17 (Introduction to Kotlin (Google I/O '17))

157

第4A講：模式匹配和基於規則的替代。 (Lecture 4A: Pattern Matching and Rule-based Substitution)

63:10

第4A講：模式匹配和基於規則的替代。 (Lecture 4A: Pattern Matching and Rule-based Substitution)

1

黑暗宇宙的奧祕 (Mysteries of a Dark Universe)

25:01

黑暗宇宙的奧祕 (Mysteries of a Dark Universe)

254

創作音樂與組成函數，由亞當-吉塞｜布達佩斯2019年JSConf會議。 (Composing music with composed functions by Adam Giese | JSConf Budapest 2019)

21:34

創作音樂與組成函數，由亞當-吉塞｜布達佩斯2019年JSConf會議。 (Composing music with composed functions by Adam Giese | JSConf Budapest 2019)

4

字幕已審核

公正-該如何做是好(第二集) - 給生命一個價格標籤如何衡量快樂 How to evaluate happiness.

55:10

公正-該如何做是好(第二集) - 給生命一個價格標籤如何衡量快樂 How to evaluate happiness.

1809

中文 B1 中級

【哈佛名課─正義】生命值多少錢？Justice: What's The Right Thing To Do? Episode 02: "PUTTING A PRICE TAG ON LIFE"

55:10

【哈佛名課─正義】生命值多少錢？Justice: What's The Right Thing To Do? Episode 02: "PUTTING A PRICE TAG ON LIFE"

1247

哈佛開放課程：正義：一場思辨之旅 Michael Sandel Justice：What's The Right Thing To Do 第二集 (哈佛開放課程：正義：一場思辨之旅 Michael Sandel Justice：What's The Right Thing To Do 第二集)

55:10

哈佛開放課程：正義：一場思辨之旅 Michael Sandel Justice：What's The Right Thing To Do 第二集 (哈佛開放課程：正義：一場思辨之旅 Michael Sandel Justice：What's The Right Thing To Do 第二集)

1207

化學203.有機光譜學。第07講。NMR光譜學介紹，第1部分。 (Chem 203. Organic Spectroscopy. Lecture 07. Introduction to NMR Spectroscopy, Part 1)

52:26

化學203.有機光譜學。第07講。NMR光譜學介紹，第1部分。 (Chem 203. Organic Spectroscopy. Lecture 07. Introduction to NMR Spectroscopy, Part 1)

65

Why Tipping Is So Out Of Control In The U.S.

12:16

Why Tipping Is So Out Of Control In The U.S.

10

額外學分。技術口述 (Extra Credits: Technobabble)

07:58

額外學分。技術口述 (Extra Credits: Technobabble)

147

11個簡短的英語會話PHRASES--說一口流利的英語--英語中的常用表達方式。 (11 Short English Conversation PHRASES - Speak Fluent English - Common Expressions in English)

11:13

11個簡短的英語會話PHRASES--說一口流利的英語--英語中的常用表達方式。 (11 Short English Conversation PHRASES - Speak Fluent English - Common Expressions in English)

18

3個習慣將改變你的生活 (3 Habits That Will Change Your Life)

08:46

3個習慣將改變你的生活 (3 Habits That Will Change Your Life)

205

Penn & Teller:愚弄我們 // Jimmy Ichihana 驚豔Alyson Hannigan。 (Penn & Teller: Fool Us // Jimmy Ichihana Astonishes Alyson Hannigan)

08:42

Penn & Teller:愚弄我們 // Jimmy Ichihana 驚豔Alyson Hannigan。 (Penn & Teller: Fool Us // Jimmy Ichihana Astonishes Alyson Hannigan)

52

ORI 和 WISPS 的意志 ➤ 演練 #1 ➤ 新時間表 (ORI and the WILL OF THE WISPS ➤ Прохождение #1 ➤ НОВЫЙ ШЕДЕВР)

43:54

ORI 和 WISPS 的意志 ➤ 演練 #1 ➤ 新時間表 (ORI and the WILL OF THE WISPS ➤ Прохождение #1 ➤ НОВЫЙ ШЕДЕВР)

2

西爾莎-羅南知道你為什麼喜歡《瓢蟲》。 (Saoirse Ronan Knows Why You Love 'Lady Bird')

10:32

西爾莎-羅南知道你為什麼喜歡《瓢蟲》。 (Saoirse Ronan Knows Why You Love 'Lady Bird')

88

巴塞羅那VS皇家社會I塞蒂恩新聞發佈會I AS報。 (Barcelona vs. Real Sociedad I Rueda de prensa de Setién I Diario AS)

15:46

巴塞羅那VS皇家社會I塞蒂恩新聞發佈會I AS報。 (Barcelona vs. Real Sociedad I Rueda de prensa de Setién I Diario AS)

3

什麼是時間？ (What is Time?)

10:30

什麼是時間？ (What is Time?)

5

歐洲的未爆彈問題 (Europe's Unexploded Bomb Problem)

11:18

歐洲的未爆彈問題 (Europe's Unexploded Bomb Problem)

8

中文 B1 中級

為什麼4、13、17、39和666是世界上最詭異的數字？ (Why 4, 13, 17, 39 & 666 Are the World's Spookiest Numbers)

11:06

為什麼4、13、17、39和666是世界上最詭異的數字？ (Why 4, 13, 17, 39 & 666 Are the World's Spookiest Numbers)

9

中文 B1 中級

为什么巴塔哥尼亚对这个星球有既得的兴趣（Why Patagonia Has a Vested Interest In the Planet）

13:45

为什么巴塔哥尼亚对这个星球有既得的兴趣（Why Patagonia Has a Vested Interest In the Planet）

4

大學裡的學習與醫學院的學習 (Learning in College vs Medical School)

09:53

大學裡的學習與醫學院的學習 (Learning in College vs Medical School)

19

中文 B1 中級

Why All Millionaires Use Debt To Make Money

11:39

Why All Millionaires Use Debt To Make Money

2

世界上最有价值的领空（The Most Valuable Airspace in the World）

10:48

世界上最有价值的领空（The Most Valuable Airspace in the World）

12

太快、太慢、太慢｜Single by 30｜Ep 1 (Too Fast, Too Thirteous | Single by 30 | Ep 1)

25:02

太快、太慢、太慢｜Single by 30｜Ep 1 (Too Fast, Too Thirteous | Single by 30 | Ep 1)

860

中文 B1 中級

S1E1：核電與邁克爾-肖特教授的個人交流。 (S1E1: Nuclear Gets Personal with Prof. Michael Short)

24:38

S1E1：核電與邁克爾-肖特教授的個人交流。 (S1E1: Nuclear Gets Personal with Prof. Michael Short)

1

太陽系介紹。天文學速成班#9 (Introduction to the Solar System: Crash Course Astronomy #9)

10:17

太陽系介紹。天文學速成班#9 (Introduction to the Solar System: Crash Course Astronomy #9)

244

計算平均速度或速度｜一維運動｜物理｜可汗學院 (Calculating average velocity or speed | One-dimensional motion | Physics | Khan Academy)

11:46

計算平均速度或速度｜一維運動｜物理｜可汗學院 (Calculating average velocity or speed | One-dimensional motion | Physics | Khan Academy)

36

如何學習~04~學習系統4/4~日記(幫助你的長期記憶) (How to Study ~ 04 ~ Study System 4/4 ~ Diary (Helping Your Long Term Memory))

12:21

如何學習~04~學習系統4/4~日記(幫助你的長期記憶) (How to Study ~ 04 ~ Study System 4/4 ~ Diary (Helping Your Long Term Memory))

292

成長時沒電視可看 (Growing up Without Cable)

10:38

成長時沒電視可看 (Growing up Without Cable)

1069

中文 B1 中級

阿斯頓維拉 1 RSC Anderlecht 0 歐洲盃半決賽第一場 1982年4月7日 (Aston Villa 1 RSC Anderlecht 0 European Cup Semi Final 1st Leg 7th April 1982)

20:56

阿斯頓維拉 1 RSC Anderlecht 0 歐洲盃半決賽第一場 1982年4月7日 (Aston Villa 1 RSC Anderlecht 0 European Cup Semi Final 1st Leg 7th April 1982)

3

計算機與圖靈。科學史速成班#36 (The Computer and Turing: Crash Course History of Science #36)

11:54

計算機與圖靈。科學史速成班#36 (The Computer and Turing: Crash Course History of Science #36)

5

我們在火星上追蹤時間的怪異方式 (The Bizarre Way We'll Keep Track of Time on Mars)

10:46

我們在火星上追蹤時間的怪異方式 (The Bizarre Way We'll Keep Track of Time on Mars)

15

中文 B1 中級

醫生VS工程師VS商人 - 職業選擇 (Doctor vs Engineer vs Business | Deciding on a Career)

12:02

醫生VS工程師VS商人 - 職業選擇 (Doctor vs Engineer vs Business | Deciding on a Career)

9