プディングの証明は食べる人への演習問題 — TechBrunch 数学回

TechBrunch 数学回は、ホテルメトロポリタンエドモント東京のレストラン「ベルテンポ」で開催される、純粋数学の厳密さとコンピューターサイエンスとのつながりを楽しむ人のための少人数のブランチ会です。参加者はお気に入りの定理・証明・概念を持ち寄り、プログラミングを支える数学的構造について語り合います。 フォーマットはあくまでリラックスした雰囲気で、料理よりもアイデアの「メタファーとしてのメニュー」を味わう場として設計されており、グループは少人数に保たれます。meetup.com で RSVP し参加者リストに確認された初参加者は、TechBrunch コミュニティへの歓迎として食事が無料になります。 今回は、純粋数学とプログラミングの接点を探る数学者、数学的厳密さを持って仕事に取り組むコンピューター科学者、そして自身の仕事の数学的基盤に関心のある開発者を対象としています。