このエントリーをはてなブックマークに追加
論計祭#1

Ended 2023/02/04(Sat) 14:00〜

論計祭#1

講師発表川井「Curry-Howard対応から始める数理論理学#7「ラムダ計算」」

論計舎 論計舎

オンライン

Media List

スライド

動画

動画はありません。

ブログなど

ブログはありません。