このエントリーをはてなブックマークに追加
論理学友の会例会 #11

終了 2021/04/25（日） 14:00〜

論理学友の会例会 #11

論理学友の会 論理学友の会 他

オンライン

グループ情報

論理学友の会

メンバー数 119人
イベント数 21回

イベント資料一覧

スライド

論理学友の会 論理学友の会

代表講演「論理学友の会の今後〜論計舎のサテライト事業としての論理学友の会〜」

投稿者:論理学友の会

投稿日:2021年4月25日 10時36分

(未設定)(未設定)

Imamurさん発表「Introduction to Hyperseqeunt Calculus」

投稿者:論理学友の会

投稿日:2021年4月27日 17時51分

動画

(未設定)(未設定)

Introduction to Hypersequent Calculus

投稿者:論理学友の会

投稿日:2021年4月28日 21時24分

ブログなど

ブログはありません。