くま
@kumatsubalgc
M1 様相論理とか哲学とか算術とか証明論とか集合論とか美学とか
Aangemeld in april 2024
くま heeft deze post opnieuw geplaatst
\\詳細情報解禁// ロン・ミュエク展 2026.4.29(水)~ 9.23(水) 主な展示作品を公開しました! mori.art.museum/jp/exhibitions… 主催:森美術館、カルティエ現代美術財団 Ron Mueck 2026.4.29 [Wed] - 9.23 [Wed] We’ve just announced the futured key works of the exhibition!…
1
1K
5K
1K
259K
「論理規則が同じなら論理記号の意味は同じ」がどの程度ホントなのかわからなくて、証明論的意味論をやりたい気持ちがある ド・モルガン則を推論規則として入れる必要がある論理とかだと、単純に導入規則と除去規則を比較して、とはいかない気もして
0
0
1
1
79
今月末のconnexive Logics の集会に日帰りで行くつもりだったけど、よくよく考えたら1日で4〜5万飛ぶわけで、さすがにやめとこかな……😢
0
0
1
0
109
くま heeft deze post opnieuw geplaatst
今年もゆるてつは早稲田祭で会誌頒布と展示を行います。 11月1日(土)の一日のみの出展です。早稲田キャンパス16号館403教室でお待ちしております!
1
16
35
3
7K
United States Trends
- 1. Nuss 4,591 posts
- 2. #AEWCollision 7,564 posts
- 3. Lagway 2,599 posts
- 4. Cam Coleman 3,709 posts
- 5. Hawks 15.1K posts
- 6. Ty Simpson 2,440 posts
- 7. Vandy 5,633 posts
- 8. Iowa 30.9K posts
- 9. Jeremiyah Love 1,259 posts
- 10. Watford 1,885 posts
- 11. Auburn 15.4K posts
- 12. #UFCVegas111 12.9K posts
- 13. DEANDRE HUNTER N/A
- 14. Bama 10.5K posts
- 15. #Isles 1,906 posts
- 16. Heisman 14K posts
- 17. Stoops 1,014 posts
- 18. Wisconsin 18.4K posts
- 19. Ace Austin 1,454 posts
- 20. Rangers 12K posts
Loading...
Something went wrong.
Something went wrong.