Retour

Explorez tous les épisodes du podcast ワクワク数学トーク

Plongez dans la liste complète des épisodes de ワクワク数学トーク. Chaque épisode est catalogué accompagné de descriptions détaillées, ce qui facilite la recherche et l'exploration de sujets spécifiques. Suivez tous les épisodes de votre podcast préféré et ne manquez aucun contenu pertinent.

Rows per page:

1–50 of 62

TitreDateDurée
簡単ポンでつくれるオレオレ言語18 Nov 202400:40:19

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

絶対音感は存在しない!?【音楽と数学2】11 Nov 202400:26:56

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

幾何学でわかるドラクエの世界【のぞき見!ガチ数学】04 Apr 202400:18:38

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

平行線がまじわる!?【のぞき見ガチ数学】22 Mar 202400:12:21

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

宇宙人の数学【数学雑談会】14 Mar 202400:47:16



===========

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠https://podcasters.spotify.com/pod/show/wakuwaku-math-talk⁠⁠

Youtube: ⁠⁠https://www.youtube.com/@math-talk⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

よい録音とは?【雑談ゲスト会】by KEI FILMS 09 Mar 202400:22:59

50回目の投稿🎉 しかし今一歩、いや10歩くらい「よい録音」の仕方がわからず…音声のプロをゲストにお呼びし教えをこうてみました! ゲスト:KEI FILMSさん https://keifilms.com/


===========

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠https://podcasters.spotify.com/pod/show/wakuwaku-math-talk⁠

Youtube: ⁠https://www.youtube.com/@math-talk⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

【幼稚園児編】子供を数学キライにさせない3つの方法01 Mar 202400:25:47

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: ⁠⁠⁠https://twitter.com/waku2mathtalk⁠⁠⁠ Podcast: ⁠⁠⁠https://anchor.fm/wakuwaku-math-talk⁠⁠⁠ Youtube: ⁠⁠⁠https://www.youtube.com/@math-talk⁠  ⁠⁠ 👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------


子供を数学キライにさせない3つの方法21 Feb 202400:29:30

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: ⁠⁠https://twitter.com/waku2mathtalk⁠⁠ Podcast: ⁠⁠https://anchor.fm/wakuwaku-math-talk⁠⁠ Youtube: ⁠⁠https://www.youtube.com/@math-talk  ⁠⁠ 👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------


フィルムカメラに救われた話【ももこ雑談会】13 Feb 202400:21:29

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠https://podcasters.spotify.com/pod/show/wakuwaku-math-talk

Youtube: https://www.youtube.com/@math-talk


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

型を設計する【関数型で学ぶ始めてのプログラミング】 25 Jan 202400:34:25

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014) -------------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: ⁠https://twitter.com/waku2mathtalk⁠ Podcast: ⁠https://anchor.fm/wakuwaku-math-talk⁠ Youtube: ⁠   @math-talk  ⁠ 👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------


基礎と応用【のぞき見!ガチ数学】07 Jan 202400:15:15

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠

Podcast: ⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠

Youtube: ⁠⁠⁠www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

数学は3つの世界でできている【のぞき見!ガチ数学】29 Dec 202300:29:24

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠twitter.com/waku2mathtalk⁠⁠

Podcast: ⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠

Youtube: ⁠⁠www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

ドレミを作る方法【音楽と数学】05 Nov 202400:34:03

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

数学者が作る最強ギャラドス!【特別ゲスト: ハト先生】04 Dec 202300:24:13

ハト先生による数学を駆使したポケモン攻略第三弾! ▼第一弾 微分で勝つ!ポケモンバトル! https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/episodes/ep-e217d6b

▼第二弾 数学が叶える!効率的なポケモン育成!

https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/episodes/ep-e29of56

------------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: ⁠https://twitter.com/waku2mathtalk⁠ Podcast: ⁠https://anchor.fm/wakuwaku-math-talk⁠ Youtube: ⁠   @math-talk  ⁠ 👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------

免許持たないがち!?【数学科あるある】14 Nov 202300:10:19

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠twitter.com/waku2mathtalk⁠

Podcast: ⁠anchor.fm/wakuwaku-math-talk⁠

Youtube: ⁠www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)
2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム
2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任
2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授
2012 ~ :TopSE 客員講師
2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授
* ももこ
ガチ文系。数学は中学の頃から大の苦手。

先生と呼ぶのは失礼がち!?【数学科あるある】28 Oct 202300:20:06

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。
Twitter: twitter.com/waku2mathtalk
Podcast: anchor.fm/wakuwaku-math-talk
Youtube: www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA

生き抜くための数学入門【書籍紹介】17 Oct 202300:20:06

-------------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube:  https://www.youtube.com/@math-talk


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授

* ももこ

ガチ文系。数学は中学の頃から大の苦手。

-------------------------------

パターンマッチング再び!リストを分析する【関数型で学ぶ始めてのプログラミング#12】 25 Sep 202300:33:56

再びアイツがやってきた!! 出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014) -------------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube:    @math-talk   👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------


数学が叶える!効率的なポケモン育成! 25 Sep 202300:23:33

ハト先生による数学を駆使したポケモン攻略第二弾! ▼第一弾 微分で勝つ!ポケモンバトル!

https://open.spotify.com/episode/7psfYx3eQKTLjoRp3E8EqF ------------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube:    @math-talk   👨よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム 2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任 2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授 2012 ~ :TopSE 客員講師 2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 -------------------------------

リストはティッシュである!【関数型で学ぶ初めてのプログラミング】22 May 202300:27:47

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


8時間ツッコミの嵐!?数学科の実態【数学科あるある】20 Apr 202300:09:26

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

宇宙人は今ココにいる!?【雑談会】10 Apr 202300:25:00

もしかして…見えていないだけかもしれない…!?


-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


微分で勝つ!ポケモンバトル!【ゲスト回: ハト先生】27 Mar 202300:16:44

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

たかだか加算【声に出して読みたい数学用語】 24 Oct 202400:05:37

タカダカカサン タカダカカサン タカダカカサン…


数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

【番外編】OCamlのインストール方法!【関数型で学ぶ初めてのプログラミング】15 Mar 202300:17:25

opam 自体のインストールは次の一行でできます。

bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"


-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

【OCaml】多相性!なんでもいいですよ型の登場!【関数型で学ぶ初めてのプログラミング】07 Mar 202300:29:58

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

【ガチ文系が読んでみた】ガチ文系のための読む数学!27 Feb 202300:45:25

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

【OCaml】すべてのものは関数である(再帰 Level 2)【関数型で学ぶ初めてのプログラミング】12 Feb 202300:32:57

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


レッツゴー!数学的思考:コロナ禍で手袋が足りない!?03 Feb 202300:15:22

出典 マーチン・ガードナー著 島田一男訳『aha!Insightひらめき思考』(日経BPマーケティング、2009)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


【OCaml】再帰を理解する!!【関数型で学ぶ初めてのプログラミング】28 Jan 202300:58:26

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

ナイスガイ!?パターンマッチングの登場!【関数型で学ぶ初めてのプログラミング】21 Jan 202300:31:13

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

【OCaml】if式は型でがんじがらめがイイ!?【関数型で学ぶ初めてのプログラミング】14 Jan 202300:45:30

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


関数型言語のキモ【関数型で学ぶ初めてのプログラミング】09 Jan 202300:56:07

明けましておめでとうございます🎍✨今年も数学と親しくなるため頑張っていきます💪 まだ何が何だかわからぬまま進んでおりますが、今回はキモを学ぶようです。ここを押さえればもう完璧…!?  

練習サイトリンク↓ https://ocsigen.org/js_of_ocaml/lates... 

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

2023年やりたいこと!2022年おつかれさまでした!【数学雑談会】30 Dec 202200:28:47

数学の放送をはじめてみた今年を振り返ります。

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

民主主義はいいぞ【ワクワク数学トーク雑談】15 Jul 202400:50:29

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

家にテレビがない!?【数学科あるある】24 Dec 202200:17:33

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

カジノで騙されない!数学的思考【レッツゴー!数学的思考】17 Dec 202200:17:46

出典 マーチン・ガードナー著 島田一男訳『aha!Insightひらめき思考』(日経BPマーケティング、2009)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

OCamlは束縛が激しい!【関数型で学ぶ初めてのプログラミング】09 Dec 202200:34:21

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------

エピソードの分析

衝撃!intは整数じゃない!!?【関数型で学ぶ初めてのプログラミング】03 Dec 202200:47:49

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07...

-----------------------------


関数型プログラミングを書いてみよう【関数型で学ぶ初めてのプログラミング】24 Nov 202200:50:52

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』(技術評論社、2014)

プログラミング未経験者が関数型言語OCamlに挑みます19 Nov 202200:45:07

プログラミング未経験者が関数型言語OCamlに挑みます

数学的思考を高めるクイズ!トーナメントの試合数は?【レッツゴー!数学的思考】10 Nov 202200:11:36

どんなトーナメントの試合数も一瞬で分かる!?そんな魔法みたいなことも数学的思考ならできる!  

出典 マーチン・ガードナー著 島田一男訳『aha!Insightひらめき思考』(日経BPマーケティング、2009)


-----------------------------

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

 Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07... 

-----------------------------


【数学科あるある】1+1の答えは「どの体?」が数学的に正解!?04 Nov 202200:11:34

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA


【数学科あるある】隠れ数学科をみつける3つの裏技27 Oct 202200:14:33

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA


計算用紙がでかい!?【数学科あるある】21 Oct 202200:14:20

そもそも計算用紙って日常でそんなに使います!?(byももこ)
------------------------------- 

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 

Twitter: https://twitter.com/waku2mathtalk

Podcast: https://anchor.fm/wakuwaku-math-talk

Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA

-------------------------------


数学と宗教28 Jun 202400:47:56

数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。

Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠

Youtube: ⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠


* よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO)

2022.09 ~ :国立産業技術総合研究所 超分散トラスト研究チーム

2019.09 ~:株式会社proof ninja 設立、代表取締役 CEO 就任

2020 ~ 2022:名古屋大学 多元数理科学研究所 客員教授

2012 ~ :TopSE 客員講師

2016, 2017, 2019:名古屋大学 多元数理科学研究所 客員准教授


* ももこガチ文系。数学は中学の頃から大の苦手。

完結編!ゆるすぎる無限の世界。連続体仮説はあってるのかい、違うのかい? 【無限を完全に理解する#04】13 Oct 202200:31:22

Twitter: @waku2mathtalk

放送に関する感想や質問を匿名で受け付けています: https://peing.net/ja/waku2mathtalk

スーパー無限が「無限」よりも大きいことを証明してみせるっ!タイカクセンロンポー!!【無限を完全に理解する#03】08 Oct 202200:37:54

Twitter: @waku2mathtalk

放送に関する感想や質問を匿名で受け付けています: https://peing.net/ja/waku2mathtalk

【数学科あるある】数学者はまず否定から入る!?28 Sep 202200:19:04

Twitter: @waku2mathtalk

放送に関する感想や質問を匿名で受け付けています: https://peing.net/ja/waku2mathtalk

無限を超えたスーパー無限!?【無限を完全に理解する#02】23 Sep 202200:28:45

Twitter: @waku2mathtalk

Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA

© My Podcast Data