shinQuawai1
8 SlideShares 1 Seguindo
Marcadores
logic 論理学 mathematics math technology it computation symposium 数理論理学 mathematicallogic ch対応 カリーハワード対応 計算機科学
Ver mais
  • Documentos
  • Infográficos
Mais recentes Mais populares

論計舎webシンポジウム「情報産業における数学・論理・計算」

Há 1 ano • 84 Visualizações

Opening regular202110

Há 2 anos • 102 Visualizações

Announce regular202110

Há 2 anos • 94 Visualizações

論理学友の会#16例会：論計舎からのお知らせ

Há 2 anos • 62 Visualizações

論理学友の会例会#16運営からの挨拶

Há 2 anos • 72 Visualizações

Introduction to Hypersequent Calculus

Há 3 anos • 107 Visualizações

論理学友の会の今後〜論計舎のサテライト事業としての論理学友の会〜

Há 3 anos • 123 Visualizações

カリー-ハワード対応から始める数理論理学第二回「論理式の帰納的定義」論理学友の会第四回例会(2020/9/27)

Há 3 anos • 71 Visualizações