uskz

uskz

(uskz)
利用開始日: 2012/07/17

オオ、ニンゲンタチヨ

所属グループ

広告

2023

/

11/19

（日）10:00〜

申込済

#35 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#35 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

4人

2023

/

11/12

（日）10:00〜

申込済

#34 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#34 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

3人

2023

/

10/29

（日）10:00〜

申込済

#32 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#32 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

4人

2023

/

10/15

（日）10:00〜

申込済

#31 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#31 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

3人

2023

/

10/01

（日）10:00〜

申込済

#30 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#30 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

3人

2023

/

09/10

（日）10:00〜

申込済

#29 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#29 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

4人

2023

/

09/03

（日）10:00〜

申込済

#28 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#28 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

4人

2023

/

08/27

（日）10:00〜

申込済

#27 公理的集合論入門勉強会 終了

数学ラボ公理的集合論勉強会

#27 公理的集合論入門勉強会

SOU_Math_Labo SOU_Math_Labo 他

大阪市浪速区難波中3丁目4番41号

4人

2023

/

08/23

（水）19:30〜

申込済

TAPL.ts #10: λ計算の構文と操作的意味論の詳細 終了

TAPL.ts

TAPL.ts #10: λ計算の構文と操作的意味論の詳細

canalun canalun

(場所未定)

6人

2023

/

08/16

（水）19:30〜

申込済

TAPL.ts #9: λ計算での再帰、数とChurch数の対応 終了

TAPL.ts

TAPL.ts #9: λ計算での再帰、数とChurch数の対応

canalun canalun

(場所未定)

9人

uskz

広告

uskzさんのフォロー 0

フォローはいません。

uskzさんのフォロワー 0

フォロワーはいません。

広告

広告

広告