再びアイツがやってきた！！ 出典 五十嵐淳 著『プログラミング 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 客員講師 ...

ハト先生による数学を駆使したポケモン攻略第二弾！ ▼第一弾 微分で勝つ！ポケモンバトル！ 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：名古屋大学 多元数理科学研究所 客員教授 ...

----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

もしかして…見えていないだけかもしれない…！？ ----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

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... ----------------------------- --- Send in a voice message:...

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://podcasters.spotify.com/pod/show/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 マーチン・ガードナー著　島田一男訳『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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

明けましておめでとうございます🎍✨今年も数学と親しくなるため頑張っていきます💪 まだ何が何だかわからぬまま進んでおりますが、今回はキモを学ぶようです。ここを押さえればもう完璧…！？   練習サイトリンク↓ 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:...

数学の放送をはじめてみた今年を振り返ります。 ----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

----------------------------- 「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 マーチン・ガードナー著　島田一男訳『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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- エピソードの分析 --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング 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... ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

出典 五十嵐淳 著『プログラミング in OCaml〜関数型プログラミングの基礎からGUI構築まで〜』（技術評論社、2014） --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

プログラミング未経験者が関数型言語OCamlに挑みます --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

どんなトーナメントの試合数も一瞬で分かる！？そんな魔法みたいなことも数学的思考ならできる！   出典 マーチン・ガードナー著　島田一男訳『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...  ----------------------------- --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message

「ワクワク数学トーク」は、数学大好きヨッシーと大の苦手なももこがお届けする、数学がちょっと楽しくなってしまう番組です。podcastとyoutubeで配信しています。 Twitter: https://twitter.com/waku2mathtalk Podcast: https://anchor.fm/wakuwaku-math-talk Youtube: https://www.youtube.com/channel/UCS07M8fvhzUcDRKYZCkWbGA --- Send in a voice message: https://anchor.fm/wakuwaku-math-talk/message