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