カテゴリー別で見る

WEEKLY PICKUP!!

  • 週刊鎧球 | Weekly Football - アイシールド11 / OMI THE HOMIE

    プロアメフト選手のOmi The HomieとアメフトYouTuberのアメフトPicksによる番組。米国NFLから日本のカレッジフットボールまで、選手や監督など様々なゲストも交えながらアメフトのニュースを深掘り解説。

  • 雑談と創作 - ゆきこ・ちはる

    幼なじみの2人が日々とつくるを楽しむ雑談番組。たわいもないトークを交わしながら、番組内でアートワークやジングルを制作する手作り感が魅力的。まるであなたも一緒に番組をつくっているような感覚になれるはず。

  • 報談 【HOU-DAN】 - 朝日新聞ポッドキャスト

    朝日新聞ポッドキャストでおなじみの神田大介記者と、政治部次長の冨名腰隆記者が「報道で談話、談話による報道」をする番組。当今のニュースを縦横無尽に語りつくす、漫談のようながら深いニュース解説が楽しめる。

  • Sponsored

    リンダカラー∞の裸足 - Fm yokohama84.7(FMヨコハマ)

    話題沸騰中の人気芸人リンダカラー∞の初の冠ラジオがスタート!注目のコーナー「提唱者りなぴっぴ」では、りなぴっぴが日常の中の新たな視点で独自の理論を展開していく。リンダカラー∞の個性あふれるトークと独特の世界観をお楽しみください。

Informatique et sciences numériques (2024-2025) - Thierry Coquand - Collège de France

<p>Informatique et sciences numériques (2024-2025)</p><p>Thierry Coquand</p><p>Année 2024-2025</p><p>Chaire annuelle</p><p></p><p>Présentation de la chaire</p><p></p><p>Créée en partenariat avec Inria, la chaire annuelle Informatique et sciences numériques marque une volonté commune de faire valoir l'importance de cette discipline scientifique et la nécessité de lui octroyer une place pleine et entière.</p><p></p><p>Théorie des types dépendants et formalisation des mathématiques</p><p></p><p>La théorie des types a été introduite par Bertrand Russell pour éviter les paradoxes qui apparaissent en mathématique si l'on utilise de manière trop naïve la notion de collection d'objets. Cette notion de types a été raffinée par la notion de type dépendant, dans le but de représenter les preuves mathématiques sur ordinateur, et de pouvoir ainsi vérifier la correction de ces preuves. Cette idée d'utiliser ainsi l'ordinateur connaît depuis quelques années un grand développement (vérification de la preuve du théorème de l'ordre impair ou, plus récemment, d'un résultat non trivial de Peter Scholze). Indépendamment de ce rôle important pour la formalisation des preuves mathématiques, la notion de types dépendants présente aussi un intérêt conceptuel intrinsèque en logique et informatique, à travers la correspondance de Curry-Howard entre types et propositions. De plus, Voevodsky a pu donner à la notion de type dépendant une sémantique naturelle en théorie abstraite de l'homotopie, et ce rapprochement inattendu entre des questions de base de la logique et de la théorie de l'homotopie apparaît fondamental.</p><p></p><p>Le cours que nous proposons pour l'année 2024–2025 s'inscrit dans ce foisonnement d'idées autour des théories des types. Dans la première partie, on présentera en détail la théorie des types dépendants et ces propriétés métamathématiques qui justifient son utilisation pour la vérification des preuves sur ordinateur. La deuxième partie du cours sera consacrée à la synergie qui est en train de s'établir entre cette théorie et la théorie de l'homotopie.</p><p></p><p>Biographie</p><p></p><p>Après des études à l'École normale supérieure de Paris, Thierry Coquand passe sa thèse d'informatique théorique en 1985, introduisant la théorie des constructions, formalisme utilisé dans plusieurs systèmes d'assistants à la démonstration. Depuis 1996, il est professeur en informatique à l'université de Göteborg, en Suède. Ses recherches concernent les mathématiques constructives, la théorie des types et ses applications pour la représentation des preuves sur ordinateur, et la sémantique des langages de programmation. Il a été coorganisateur, avec Vladimir Voevodsky et Steve Awodey, de l'année spéciale 2012-2013 à l'Institute of Advanced Study, Princeton, sur les Univalent Foundations of Mathematics. Ses travaux récents ont pour but de donner un sens effectif à l'axiome d'univalence, introduit par Voevodsky, et aux modèles de faisceaux (topos d'ordre supérieur). Pour ses travaux en logique, il a eu le Kurt Godel Centenary Research Prize 2008, et pour ses travaux sur les assistants de preuve, il a reçu, en collaboration, le ACM SIGPLAN Programming Languages Software Award, 2013.</p>

1週間以内に200位以内にランクインしたチャートのみが掲載されます。
ランキング200位未満の場合は201位として表示されます

配信者さんに聞く!
この番組の気になるあれこれ

「あのポッドキャスターはどんなマイクを使っている?」「ポッドキャストを始めたきっかけは?」「オススメのエピソードは?」など、
ポッドキャスターオススメのエピソードや愛用機材などご紹介!