[The Great Trap] I wasted 7 hours studying the semantics of programming languages - ゆるコンピュータ科学ラジオ - World Latest Movie, Series, Videos and Trailers | fetery.com

[The Great Trap] I wasted 7 hours studying the semantics of programming languages

92,062 views

ゆるコンピュータ科学ラジオ

Published on Jun 2, 2024

About :

I wasted 7 hours studying the semantics of programming languages. I talked about the results of my study of semantics, such as "I long to make my own programming language," "Semantics, but it wasn't semantics," and "Are natural languages really poorly written?" [Table of Contents] 0:00 Continuing from the hot spring inn 4:05 Longing for a homemade programming language 10:00 The truth behind 7 hours and 40 minutes wasted 14:43 Climbing a mountain and seeing the view of semantics 26:28 To what extent does linguistics define meaning? 34:56 Are natural languages really poorly written? 47:33 College students should study [References] ◯ Formal Semantics of Programming Languages https://amzn.to/3R4TIiQ ◯ Type Theory https://amzn.to/3KugmNT ◯ New Edition Basic Theory of Programming Languages https://amzn.to/3wYdhTj ◯ Creating Logic https://amzn.to/4bHFlJB ◯ Reading Turing Enjoy the monumental work of computer science https://amzn.to/4bx0arf ◯ Introduction to Formal Semantics https://amzn.to/4c129E8 [Click here to join the supporter community! ] https://yurugengo.com/support [Parent Channel: Yuru Linguistics Radio] / @yurugengo [Real Store Project: Yuru Student Cafe] / @yurugakuto [Letter Form] https://forms.gle/BLEZpLcdEPmoZTH4A *We look forward to receiving your fun letters! [Click here to request work! ] [email protected] [Profile of Horimoto Ken] Graduated from the Faculty of Science and Technology, Keio University. Specializes in information engineering. Earn a living by creating and littering the web with content. Current main source of income is "paid note magazine, which writes bad things about people in an academic way." Twitter→ / kenhori2 Note Magazine → https://note.com/kenhori2/m/m125fc452... Personal YouTube → / @kenhorimoto [Profile of Mizuno Taiki] Graduated from the Faculty of Letters, Nagoya University. Specializes in linguistics. Works as an editor at a certain major publishing company. You might think that his knowledge of linguistics is useful in his main job, but that's not the case. Twitter→ / yuru_mizuno 【Sister channels】 ◯Yuru Musicology Radio ( / @yuruongaku ) ◯Yuru Folklore Radio ( / @yuruminzoku ) ◯Yuru Astronomy Radio ( / @yurutenmon ) ◯Yuru Calligraphy Radio ( / @yurushodo ) ◯Yuru Ecology Radio ( / @yuruseitai ) ◯Yuru Philosophy Radio ( / @yurutetsugaku ) #Semantics #YuruComputerScienceRadio_SemanticsPresentation

vidoe Comments

Trend Videos

24:12

Nogari at Queen Gabi Senior's house (with Seungheon)

찰스엔터

791,774 views 3 days ago

15:39

I wonder where he is and what he is doing.. Suddenly a sewing machine

원지의하루

378,441 views 4 days ago

14:35

Lilka becomes a T1 teacher

릴카

691,377 views 5 days ago

7:02

2NE1 - Come Back Home+Fire+I Don't Care+UGLY+I'm the Best♬

SBS Entertainment

2,941,815 views 1 day ago

29:21

[VLOG] I experienced giving my nephew a bath (it wasn't easy because it was my first time💦) The long-awaited brother-in-law's tteokbokki! Maybe I'm a home cooking expert?😳

지유롭게

234,243 views 3 days ago

22:42

A friendship trip of 30-year friends leaving after 10 years💗 (ft. Song Eun-i, Choi Kang-hee)

김숙티비kimsookTV

657,036 views 3 days ago

22:02

A date with Mami in Seongsu-dong without Minsu (+ Mom's bag, revealing her dark history)

깡주은

525,270 views 1 day ago

34:11

Birthday party on a deserted island the size of a booger 【Philippines 2】

빠니보틀 Pani Bottle

848,427 views 7 days ago

6:53

G-DRAGON - POWER+Crooked♬

SBS Entertainment

3,110,044 views 1 day ago

16:35

[Eating Vlog #107] The reason why there aren't many videos these days is... My current situation where I'm in a state of eating disorder☠️ The reason why I keep messing up the more I try to do well🤯 Jjajangmyeon + tangsuyuk, kalguksu + kimchi, tacos, buldak rose jjimdak

살빼조DietJo

330,121 views 8 days ago

23:04

[Christmas Special] Title Academy Grand Prix is back

유병재

608,867 views 2 days ago

3:19

Tell Me - Jinusean (With Jang Wonyoung) [2024 KBS Song Festival Global Festival] KBS 241220 Broadcast

KBS Kpop

2,011,614 views 6 days ago

4:17

Baby VOX Baby VOX X KISS OF LIFE K.O.P - Killer [2024 KBS Song Festival] KBS WORLD TV 241220

KBS WORLD TV

1,016,668 views 6 days ago

22:42

A friendship trip of 30-year friends leaving after 10 years💗 (ft. Song Eun-i, Choi Kang-hee)

김숙티비kimsookTV

657,036 views 3 days ago

29:03

Eat Tokyo slum food for 24 hours

유우키의 일본이야기 YUUKI

638,635 views 2 days ago

5:54

21 years since debut, skills are not going anywhere👏 'Lover' that touches everyone's heartstrings♬ TV CHOSUN 241219 broadcast [Mr. Trot 3 - Episode 1] TV Chosun

TVCHOSUN - TV조선

946,865 views 7 days ago

23:38

The ultimate skyblock survival game

우융

463,744 views 8 days ago

34:40

Manila Garbage Hill Slum Tour with a Little Guide 【Philippines 1】

빠니보틀 Pani Bottle

1,276,894 views 10 days ago

2:40

Karina x Ahn Yu-jin (aespa x IVE) - Killer (Original: Valerie Broussard)♬

SBS Entertainment

2,108,164 views 1 day ago

12:17

A day when my heart ached as if it were torn apart

삐루빼로

1,532,245 views 7 days ago

24:12

Nogari at Queen Gabi Senior's house (with Seungheon)

찰스엔터

791,774 views 3 days ago

15:39

I wonder where he is and what he is doing.. Suddenly a sewing machine

원지의하루

378,441 views 4 days ago

29:03

Eat Tokyo slum food for 24 hours

유우키의 일본이야기 YUUKI

638,635 views 2 days ago

5:54

21 years since debut, skills are not going anywhere👏 'Lover' that touches everyone's heartstrings♬ TV CHOSUN 241219 broadcast [Mr. Trot 3 - Episode 1] TV Chosun

TVCHOSUN - TV조선

946,865 views 7 days ago

22:02

A date with Mami in Seongsu-dong without Minsu (+ Mom's bag, revealing her dark history)

깡주은

525,270 views 1 day ago

23:38

The ultimate skyblock survival game

우융

463,744 views 8 days ago

3:34

This is how to eat winter cabbage and apples🥬I've been eating it every day instead of breakfast these days, and my belly fat has gone down (ft. cabbage and apple salad, homemade tofu mayonnaise)

쿠킹 프린세스 cooking

680,994 views 12 days ago

5:55

Are you hot, cold, hungry, full, tired, or sleeping?

너덜트

1,236,855 views 7 days ago

32:10

“Next year, it’ll really! Totally! Be different~!” The reason Ryu-Yoon-Kim are paying attention to Hanwha Eagles Cyber Yoon Seok-min Ep. Ryu Hyun-jin + Kim Kwang-hyun-2 (There’s an event~★)

사이버 윤석민

566,775 views 5 days ago

26:03

Kang Joo-eun PICK Must-buy items from Costco (+storage method, recipes)

깡주은

1,411,627 views 8 days ago

21:37

Why do men do that?

곰민영

297,483 views 4 days ago

17:33

Lee Young-ja and Park Se-ri drinking ginseng wine and talking drunk

이영자 TV

1,682,131 views 7 days ago

Google AdSense
336 x 280

Up Next

14:38

Government: A listener's fed up with the lack of novelty

RMC

45,927 views
20 hours ago

1:30:42

Government, debt, Mayotte… The full interview with François Bayrou

BFMTV

164,938 views
3 days ago

54:16

The mutation - Stations face the challenge of climate change

Journal La Montagne

71 views
1 hour ago

22:03

François Bayrou, appointment of the government... The full interview with Olivier Faure

BFMTV

81,275 views
3 days ago

52:29

The Auschwitz Trial: The End of Silence - Full Documentary

Un Max de documentaires Histoire

39,578 views
2 months ago

1:24:32

Algeria 1962, the summer my family disappeared - Full documentary

Un Max de documentaires Histoire

43,792 views
2 weeks ago

51:12

Investigation into the missing persons of Algeria, history of a state silence - Full documentary

Un Max de documentaires Histoire

12,670 views
2 months ago

1:30:02

Eugène Delacroix, from East and West - Portrait - Full Documentary

Un Max de documentaires Histoire

12,016 views
3 weeks ago

25:11

The Gallo-Roman traveler - In our footsteps in Roman Gaul - Full documentary - S02E09

Un Max de documentaires Histoire

14,740 views
9 months ago

1:30:44

Reagan VS Gorbachev: Duel at the Summit - Full Documentary

Un Max de documentaires Histoire

14,082 views
1 month ago

25:33

The Believer - In our footsteps in Roman Gaul - Full Documentary - S02E10

Un Max de documentaires Histoire

2,612 views
9 months ago

55:21

Peasants in revolt: a dive into 60 years of agricultural revolution in France - Episode 3 - Documentary

Un Max de documentaires Histoire

16,281 views
1 month ago

54:48

These young people who liberated France - Full documentary

Un Max de documentaires Histoire

3,265 views
4 weeks ago

54:20

Peasants in revolt: a dive into 60 years of agricultural revolution in France - Episode 2 - Documentary

Un Max de documentaires Histoire

9,706 views
1 month ago

25:08

The Lord - In Our Footsteps, The Time of the Lords - Full Documentary - S02E11

Un Max de documentaires Histoire

2,300 views
8 months ago

14:10

Bayrou has appointed a government of zombies!

Antoine Léaument

123,418 views
3 days ago

53:40

Peasants in revolt: a dive into 60 years of agricultural revolution in France - Episode 1 - Documentary

Un Max de documentaires Histoire

47,928 views
1 month ago

4:53

Advertisement: Fernand Turani the cheerleader

Patric La Vau

8,275 views
2 months ago

25:09

The Merchant - In Our Footsteps, the Time of the Lords - Full Documentary - S02E14

Un Max de documentaires Histoire

2,424 views
6 months ago

27:36

FIRST OUTING ON A MAD ANT WITHOUT A BODY// RIDE// Part 2

Саня_PiT_BiKeR

2,149 views
11 days ago

10:30

February 18, 2024

Андрей Власов

16,760 views
10 months ago

32:03

🇺🇦Free firewood! If you prepare your own firewood, you can heat up twice!

Вовка Брус

112,093 views
3 days ago

33:48

🇺🇦The recipe I've been looking for for a long time! Juicy white sausages for the grill.

Вовка Брус

36,375 views
21 hours ago

2:16

review of modifications of the KUZNETS karting

Гараж 51-56

4,503 views
7 months ago

5:13

stove for the garage..from gas cylinders..

Андрей Столяров

23,315 views
2 years ago

25:33

First bull measurement, Holsteins are amazing!!! Goal Zero Yeti 6000 X charging station

Домашнє господарство на Поліссі!

76,173 views
1 day ago

27:03

The Magic Christmas Train departs from Lviv to Hogwarts Magic express Lviv-Hogwarts December 25, 2024.

Львів Депо

77,730 views
1 day ago

3:53

Error during assembly of the centrifugal clutch reducer!

TUNUK_KG

35,396 views
3 years ago

17:50

Yamaha a-2000 (№01348) repair and maintenance! Part 2. Final

𝐏𝐨𝐦𝐞𝐫𝐚𝐧𝐳𝐞𝐟𝐟

290 views
2 hours ago

3:47

Loncin G500 Engine Review - New Products 2024

НАПАРНИК ЭКСПЕРТ

2,513 views
7 months ago

43:22

The BOSS'S DAUGHTER has arrived. I work on a farm in Switzerland. Christmas

Agrar Hunter

85,228 views
1 day ago

1:43

Do-it-yourself smoke generator for cold and hot smoking

Иван Сычёв 48

2,501 views
7 months ago

31:31

Everything will be Ukraine! Heating the house, there was a garbage trailer, and now - good fuel. The burner works on sawdust!

Леонід Бобошко

98,763 views
3 days ago

8:16

13 review of MTZ 82 until 1990. To participate in the draw from MTZ OK.

МТЗ ОК Запчасти для МТЗ - МТЗОК

44,719 views
2 days ago

16:58

Cop in the forest

Троє з лопатами

342 views
4 hours ago

29:02

Winter Spinning in December

Serginio Fishing TV - рибальський канал

7,833 views
22 hours ago

3:55

rework of Chinese dry clutch, for karting KUZNETS

Гараж 51-56

4,021 views
1 year ago

4:06

The Habert HBB25-F sweeper in action

НАПАРНИК ЭКСПЕРТ

75 views
2 weeks ago

Google AdSense
336 x 280