2018-01-02から1日間の記事一覧
数学カフェ圏論回参加記 松森至宏 縁あって、数学カフェの圏論回で講師を務めさせていただきました。大学の同期の杵渕くんと協力しての講演で、前半は私が圏論の基本的な事項を説明し、後半は彼がプログラミングへの応用を話すという役割分担でした。 圏論の…
数学カフェ圏論回参加記 松森至宏 縁あって、数学カフェの圏論回で講師を務めさせていただきました。大学の同期の杵渕くんと協力しての講演で、前半は私が圏論の基本的な事項を説明し、後半は彼がプログラミングへの応用を話すという役割分担でした。 圏論の…