五十嵐淳 著『プログラミング 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：名古屋大学 多元数理科学研究所 客員准教授

👩ももこ

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

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