出典 五十嵐淳 著『プログラミング 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：名古屋大学 多元数理科学研究所 客員准教授 👩ももこ ガチ文系。数学は中学の頃から大の苦手。 -------------------------------