マスログ

“ロマ数トレラン”の関連記事

  • ロマ数トレラン

    2020/06/17

    論理と圏論のオイシイ話

    ※本記事はロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」の講師である檜山正幸先生によるカリー・ハワード対応の入 …

  • ロマ数トレラン

    2020/06/16

    楕円曲線の有理点

    ※本記事はロマ数トレラン「楕円曲線論入門オンラインセミナー」の講師である木内敬先生による楕円曲線入門の記事になります。ご興味を持った方は是非ゼミにご参 …