TH-cam
US
Florian Rabe - MMT: A Foundation Independent Logical System
1:17:31
Jamie Vicary - Introducing homotopy.io: A proof assistant for geometrical higher category theory
1:27:56
Jon Sterling - redtt and the future of Cartesian cubical type theory
1:14:56
กัดฟันถอยเครื่องทำมาหากินใหม่ ! #4 | Storage Hunter
35:32
เมื่อ SPD พา ISHOWSPEED มาป่วนประเทศไทย (รวมวีรกรรมทั้งหมด!!)
42:17
📌LIVE #15 : ผียายสปีดปะทะผีราตรี | Night Drive คืนหลอนซ่อนทาง
2:43:21
Valery Isaev - Arend proof assistant
FMF Foundations seminar
ติดตาม
152
ดาวน์โหลด
โหลดลิงค์.....
มุมมอง 779
0
0
เพิ่มลงใน
เพลย์ลิสต์ของฉัน
ดูภายหลัง
แชร์
แชร์
ฝัง
ขนาดวิดีโอ:
1280 X 720
853 X 480
640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
เผยแพร่เมื่อ 16 ต.ค. 2024
ความคิดเห็น •
ต่อไป
เล่นอัตโนมัติ
1:17:31
Florian Rabe - MMT: A Foundation Independent Logical System
FMF Foundations seminar
มุมมอง 172
1:27:56
Jamie Vicary - Introducing homotopy.io: A proof assistant for geometrical higher category theory
FMF Foundations seminar
มุมมอง 802
1:14:56
Jon Sterling - redtt and the future of Cartesian cubical type theory
FMF Foundations seminar
มุมมอง 700
35:32
กัดฟันถอยเครื่องทำมาหากินใหม่ ! #4 | Storage Hunter
PRIMKUNG
มุมมอง 406K
42:17
เมื่อ SPD พา ISHOWSPEED มาป่วนประเทศไทย (รวมวีรกรรมทั้งหมด!!)
SpriteDer SPD
มุมมอง 2M
2:43:21
📌LIVE #15 : ผียายสปีดปะทะผีราตรี | Night Drive คืนหลอนซ่อนทาง
PANGCHOM
มุมมอง 306K
03:35
SEVENTEEN (세븐틴) 'LOVE, MONEY, FAME (feat. DJ Khaled)' Official MV
HYBE LABELS
มุมมอง 28M
1:42:15
Conor McBride - Epigram 2: Autopsy, Obituary, Apology
FMF Foundations seminar
มุมมอง 892
1:00:07
How To Think Like A Programmer
Coding Tech
มุมมอง 2M
59:34
There is No Algorithm for Truth - with Tom Scott
The Royal Institution
มุมมอง 2.6M
50:27
Hamming, "n-Dimensional Space" (April 14, 1995)
securitylectures
มุมมอง 10K
58:20
Think Fast, Talk Smart: Communication Techniques
Stanford Graduate School of Business
มุมมอง 41M
6:34
When Computers Write Proofs, What's the Point of Mathematicians?
Quanta Magazine
มุมมอง 403K
1:43:58
Autumn realizability
FMF Foundations seminar
มุมมอง 421
1:42:33
Andrej Bauer: Parameterized realizability
FMF Foundations seminar
มุมมอง 367
25:34
[PriSC'22] The Supervisionary proof-checking kernel, or: a work-in-progress toward proof-g
ACM SIGPLAN
มุมมอง 128
02:47
ILLSLICK - WINTER IS COMING [Official Video]
Illslick thelegandary
มุมมอง 14M
1:53:45
“ตัวละครลับ” เปิดโปงเส้นเงิน “บอสพอล” จ่ายส่วย “เทวดา” หมื่นล้าน คุ้มภัยกันผี ! #ถกไม่เถียง
terodigital
มุมมอง 546K
42:16
1 คืน ตำนานสวนน้ำโบราณ!! ตกดึกมีคนหอมแก้มกันแหละเธอ ฮาๆ!! (Part.2/2)
OAUJUN HI-END
มุมมอง 1.6M
2:28:42
🔴Live โหนกระแส ติดกับดัก...รักบอสตัวร้าย #5 "ตอนอาจารย์พ่อและอดีตเมีย"
โหนกระแส [Hone-Krasae] official
มุมมอง 3M
1:59:16
🔴 Live ถ่ายทอดสดหวย งวดประจำวันที่ 16 ตุลาคม 2567 สลากกินแบ่งรัฐบาล | ข่าวช่อง8
ข่าวช่อง8
มุมมอง 724K
07:30
ไฮไลท์การแข่งขัน ไทย 2-1 ซีเรีย | รอบชิงชนะเลิศ | ฟุตบอลชิงถ้วยพระราชทานคิงส์คัพ ครั้งที่ 50
Thairath Sport
มุมมอง 361K
00:16
Fake watermelon by Secret Vlog
Secret Vlog
มุมมอง 4.6M
19:27
วิเคราะห์ภาษากาย “บอสพอล” ร้องไห้-เผชิญหน้ากับผู้เสียหาย | ข่าวพร้อมบวก | 14 ต.ค. 67
MONO NEWS
มุมมอง 462K