型を設計する【関数型で学ぶ始めてのプログラミング】
Listen now
Description
出典 五十嵐淳 著『プログラミング 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:名古屋大学 多元数理科学研究所 客員准教授 👩ももこ  ガチ文系。数学は中学の頃から大の苦手。 ------------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message
More Episodes
数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。 Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Youtube: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠⁠⁠ * よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~...
Published 11/18/24
数学が苦手な人も楽しめる数学の話です。podcastとyoutubeで配信しています。 Twitter: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠twitter.com/waku2mathtalk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Podcast: ⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠anchor.fm/wakuwaku-math-talk⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠⁠ Youtube: ⁠⁠⁠⁠⁠⁠⁠⁠https://www.youtube.com/@math-talk⁠⁠⁠⁠⁠⁠⁠⁠ * よっしー (今井宜洋: 株式会社proof ninja代表取締役CEO) 2022.09 ~...
Published 11/11/24
Published 11/11/24