「univalence axiom」に関連する検索結果が 73 つあります

関連度順
Anna Melzer - 植物のアルゴリズム美｜JSUnconf 2019 (Anna Melzer - The algorithmic beauty of plants | JSUnconf 2019)22:41

Anna Melzer - 植物のアルゴリズム美｜JSUnconf 2019 (Anna Melzer - The algorithmic beauty of plants | JSUnconf 2019)

4
A2 初級
Why Even Your Local Grocery Store Wants Your Digital Data（Why Even Your Local Grocery Store Wants Your Digital Data）18:37

Why Even Your Local Grocery Store Wants Your Digital Data（Why Even Your Local Grocery Store Wants Your Digital Data）

5
B1 中級
ベン・シャピロ & ジョーダン・ピーターソン (そして12ルールのアメリカ/カナダツアーの最新情報) (Ben Shapiro & Jordan Peterson (and a 12 Rules US/Canada Tour Update))63:36

ベン・シャピロ & ジョーダン・ピーターソン (そして12ルールのアメリカ/カナダツアーの最新情報) (Ben Shapiro & Jordan Peterson (and a 12 Rules US/Canada Tour Update))

6
B1 中級
ディズニーの陰謀説トップ30 (Top 30 Mind Blowing Disney Conspiracy Theories)30:46

ディズニーの陰謀説トップ30 (Top 30 Mind Blowing Disney Conspiracy Theories)

9
日本語B2 中上級
NRCプレゼンツスティーブン・クラッシェンが語る「読みたいから読む」（前編） (NRC Presents: Stephen Krashen on Reading Because You Want To (Part 1))30:04

NRCプレゼンツスティーブン・クラッシェンが語る「読みたいから読む」（前編） (NRC Presents: Stephen Krashen on Reading Because You Want To (Part 1))

24
日本語B1 中級
CRCはどのように機能するのでしょうか？ (How do CRCs work?)47:30

CRCはどのように機能するのでしょうか？ (How do CRCs work?)

32
B1 中級
Lec 3｜MIT 6.042J コンピュータサイエンスのための数学, 2010年秋学期 (Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010)82:00

Lec 3｜MIT 6.042J コンピュータサイエンスのための数学, 2010年秋学期 (Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010)

507
A2 初級
トレーディング心理学 - デビッド・ポール博士 (Trading Psychology - Dr David Paul)40:10

トレーディング心理学 - デビッド・ポール博士 (Trading Psychology - Dr David Paul)

11
日本語A2 初級
ポケモンソードでリッチになる！？ (Getting RICH in Pokemon Sword!)29:36

ポケモンソードでリッチになる！？ (Getting RICH in Pokemon Sword!)

13
B1 中級
カテゴリー論1.2：カテゴリーとは何か？ (Category Theory 1.2: What is a category?)48:18

カテゴリー論1.2：カテゴリーとは何か？ (Category Theory 1.2: What is a category?)

54
B1 中級
夢の秘密-FULLオーディオブック-by Yacki Raizizun (The Secret of Dreams - FULL Audio Book - by Yacki Raizizun)44:46

夢の秘密-FULLオーディオブック-by Yacki Raizizun (The Secret of Dreams - FULL Audio Book - by Yacki Raizizun)

244
B1 中級
Philosophy of science | Wikipedia audio article52:25

Philosophy of science | Wikipedia audio article

38
B2 中上級
聖書シリーズII: 創世記1: 混沌と秩序 (Biblical Series II: Genesis 1: Chaos & Order)152:33

聖書シリーズII: 創世記1: 混沌と秩序 (Biblical Series II: Genesis 1: Chaos & Order)

83
B1 中級
マーク・マッキンタイアとセレスト・バーバー教授との自由の問題 (FREEDOM MATTERS with Mark McIntire and Professor Celeste Barber)58:29

マーク・マッキンタイアとセレスト・バーバー教授との自由の問題 (FREEDOM MATTERS with Mark McIntire and Professor Celeste Barber)

3
B1 中級
セレステ・バーバー英語教授がFREEDOM MATTERS with Mark McIntireのインタビューに応じました。 (English professor Celeste Barber interviewed on FREEDOM MATTERS with Mark McIntire)58:35

セレステ・バーバー英語教授がFREEDOM MATTERS with Mark McIntireのインタビューに応じました。 (English professor Celeste Barber interviewed on FREEDOM MATTERS with Mark McIntire)

1
B1 中級
聖書シリーズXIV：ヤコブ神との闘い (Biblical Series XIV: Jacob: Wrestling with God)152:09

聖書シリーズXIV：ヤコブ神との闘い (Biblical Series XIV: Jacob: Wrestling with God)

B1 中級
キリストの死と復活五部構成の解説 (The Death and Resurrection of Christ: A Commentary in Five Parts)63:46

キリストの死と復活五部構成の解説 (The Death and Resurrection of Christ: A Commentary in Five Parts)

7
B2 中上級
講義6A：ストリーム、その1 (Lecture 6A: Streams, Part 1)66:57

講義6A：ストリーム、その1 (Lecture 6A: Streams, Part 1)

4
B1 中級
機械学習のこと。Googleのビジョン - Google I/O 2016 (Machine Learning: Google's Vision - Google I/O 2016)44:45

機械学習のこと。Googleのビジョン - Google I/O 2016 (Machine Learning: Google's Vision - Google I/O 2016)

410
A2 初級
カーマイン・ガロ：「ストーリーテラーの秘密」｜Googleで講演 (Carmine Gallo: "The Storytellers Secret" | Talks at Google)51:27

カーマイン・ガロ：「ストーリーテラーの秘密」｜Googleで講演 (Carmine Gallo: "The Storytellers Secret" | Talks at Google)

47
B1 中級
THE ART OF WAR - FULL Audio Book by Sun Tzu - Business & Strategy Audiobook | Audiobooks72:43

THE ART OF WAR - FULL Audio Book by Sun Tzu - Business & Strategy Audiobook | Audiobooks

204
B2 中上級
Lec 1｜MIT 6.00 コンピュータサイエンスとプログラミング入門 2008年秋学期 (Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008)53:30

Lec 1｜MIT 6.00 コンピュータサイエンスとプログラミング入門 2008年秋学期 (Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008)

220
B1 中級
孫子の兵法オーディオブック (The Art of War Audiobook by Sun Tzu)109:03

孫子の兵法オーディオブック (The Art of War Audiobook by Sun Tzu)

2105
日本語B2 中上級
個人主権の意味と現実 (The Meaning and Reality of Individual Sovereignty)85:59

個人主権の意味と現実 (The Meaning and Reality of Individual Sovereignty)

10
B1 中級
第2部 - シャーロック・ホームズの冒険 オーディオブック サー・アーサー・コナン・ドイル著 (Adventures 03-04) (Part 2 - The Adventures of Sherlock Holmes Audiobook by Sir Arthur Conan Doyle (Adventures 03-04))107:34

第2部 - シャーロック・ホームズの冒険 オーディオブック サー・アーサー・コナン・ドイル著 (Adventures 03-04) (Part 2 - The Adventures of Sherlock Holmes Audiobook by Sir Arthur Conan Doyle (Adventures 03-04))

320
日本語B1 中級
2017年パーソナリティ02/03：歴史的・神話的文脈 (2017 Personality 02/03: Historical & Mythological Context)138:33

2017年パーソナリティ02/03：歴史的・神話的文脈 (2017 Personality 02/03: Historical & Mythological Context)

6
B1 中級
思考振動または惹きつけの法則 - FULL AudioBook｜最高のオーディオブック｜シークレット (THOUGHT VIBRATION or THE LAW OF ATTRACTION - FULL AudioBook | Greatest Audio Books | Secret)135:40

思考振動または惹きつけの法則 - FULL AudioBook｜最高のオーディオブック｜シークレット (THOUGHT VIBRATION or THE LAW OF ATTRACTION - FULL AudioBook | Greatest Audio Books | Secret)

130
B1 中級