suridaisuki
(suridaisuki)

Usage start date: 10/31/2018

ホームページの管理人ですが、更新が停滞していてすみません……学問(数学・物理・言語学)・天体観測が好きな名古屋大学生です。ついでにジャニーズとw-indsも好き。あと、何気にMUDCでdanceもしてた。

2046

07/19

(Thu)

18:00〜

Attending

無限に花火を見る会 Public

無限に花火を見る会

Vane11ope Vane11ope

まだまっっっったくわからん(๑•ૅㅁ•๑)

47/101

2020

06/14

(Sun)

13:00〜

Attending

無限に服で遊ぶ会 Public

無限に服で遊ぶ会

Vane11ope Vane11ope

どっかのアウトレットモール(みんなで決めよう♪(๑ᴖ◡ᴖ๑)♪)

26/300

2020

01/13

(Mon)

14:00〜

Attending

Coq勉強会 -  #9 Ended

readcoqart

Coq勉強会 - #9

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

9

2019

12/15

(Sun)

14:00〜

Attending

Coq勉強会 -  #8 Ended

readcoqart

Coq勉強会 - #8

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

10

2019

11/02

(Sat)

11:00〜

Attending

名古屋芋煮会2019 Ended

クッキングナゴヤ

名古屋芋煮会2019

keita44_f4 keita44_f4

大高緑地公園デイキャンプ場

38/40

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69

2019

09/23

(Mon)

13:00〜

Attending

『Coq/SSReflect/MathCompによる定理証明』読書会(12) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(12)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

7/12

2019

08/31

(Sat)

14:00〜

Attending

Coq勉強会 -  #5 Ended

readcoqart

Coq勉強会 - #5

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

11

2019

08/22

(Thu)

20:00〜

Attending

『Coq/SSReflect/MathCompによる定理証明』読書会(10) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(10)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

8/12

2019

08/08

(Thu)

20:00〜

Cancel

『Coq/SSReflect/MathCompによる定理証明』読書会(9) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(9)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

8/12