その1-2：数理論理学と計算機科学 – 情報論理学2023

(23:5)

数学の基礎と型の理論と計算機科学

(15:1econd)

論計舎 川井おすすめの数理論理学入門書

(4:48)

【ダイジェスト】市民講座 - 理論計算機科学入門 有限と無限のあいだ - 蓮尾 一郎

(4:4)

数理論理学について教えてください！　ゲスト：川井さん（論計舎代表）

(1:25:12)

「理論計算機科学入門 有限と無限のあいだ 〜数学的理論から、AI・自動運転〜」 蓮尾 一郎 - 国立情報学研究所 2019年度 市民講座 第3回

(1:13:42)

【E=mc2】世界で一番有名な式を3段階のレベルに分けて解説【エネルギーと質量の等価性】

(29:12)

2018年度 数値計算 5. 方程式の根 曲線の推定 (1)

(58:39)

蓮尾 一郎．高信頼自動運転システム実現にむけて： ソフトウェア科学・形式手法・数理的基盤の視点からの技術俯瞰

(1:37)

「型の理論」入門 (6) -- Curry-Howard対応

(25:46)

平均値の非劣性検定 エクセル計算機 使い方解説

(5:)

形式主義 (数学)

(5:36)

計算機数学 I 2023 (1-3) コンピュータのメモリ

(6:28)

[情報論理] 真理値表による推論の妥当性判定

(5:12)

【広島大学】光り輝き入試　地方創生に資する高度な情報人材を広島から

(8:13)

論理学友の会例会#14よりyak_exさん発表「Coqのふんいき」

(38:23)

理論計算機科学入門 有限と無限のあいだ－数学的理論から、AI・自動運転 - 蓮尾 一郎 - 国立情報学研究所 市民講座

(36)

「型推論」特別講義 第7回 (プログラミング言語の基礎理論シリーズ）

(50:45)

マイケル.シプサ　アメリカの計算機科学者　マサチューセッツ工科大学の教授　著書　計算理論の基礎

(4)

[ 計算機科学向け 圏論の基礎 ] 命題論理とその解釈のための代数系の基礎知識

(2:43:44)

論理学友の会第二回よりカワイ発表「カリーハワード対応から始める数理論理学（初回）」

(20:10)

【OC2022】「「正しい」プログラムの作り方～バグがないことを数学的に保証する～」

(46:1econd)

その1-1：イントロダクション – 情報論理学2023

(14:12)

論計舎 おすすめ教科書：数理論理学編

(3:52)

第1回論計祭より論計舎代表・講師かわい発表「カリーハワード対応から始める数理論理学（第7回）: 単純型付ラムダ計算」

(31:43)

「型推論」特別講義 第１回 (プログラミング言語の基礎理論シリーズ）

(53:7)

計算機数学 I 2018 (1-1) コンピュータの基本構成

(11:17)