てぴか✨
(suridaisuki)

Usage start date: 10/31/2018

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

Your Groups

2046

07/19

（Thu）

18:00〜

Attending

無限に花火を見る会 Public

無限に花火を見る会

Vane11ope Vane11ope

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

46/101

2021

07/20

（Tue）

19:00〜

Attending

coqtokyo 第1回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第1回Ssreflect勉強会

yoshihiro503 yoshihiro503

オンライン

19

2021

06/24

（Thu）

19:00〜

Attending

AWS&Google Cloudを使ったシステム開発/技術選定のはなし/iret tech labo Ended

アイレット株式会社

AWS&Google Cloudを使ったシステム開発/技術選定のはなし/iret tech labo

ayami_k ayami_k 他

オンライン

68

2021

06/02

（Wed）

20:00〜

Attending

Coq ユーザのための Isabelle ガイド Ended

PRINCIPIA

Coq ユーザのための Isabelle ガイド

hatsugai hatsugai

オンライン

5/6

2021

01/29

（Fri）

17:30〜

Attending

【GCP講座】GCPの基本＆Cloud Run/iret tech labo #6 Ended

アイレット株式会社

【GCP講座】GCPの基本＆Cloud Run/iret tech labo #6

ayami_k ayami_k 他

オンライン

105

2020

10/06

（Tue）

20:00〜

Attending

【オンライン】30分夜活！途中入退室OK Ended

CroWish

【オンライン】30分夜活！途中入退室OK

みそスープ みそスープ 他

オンライン

4

2020

09/12

（Sat）

13:00〜

Attending

Isabelle チュートリアル 第4回 集合の帰納的定義 Ended

PRINCIPIA

Isabelle チュートリアル 第4回 集合の帰納的定義

hatsugai hatsugai

オンライン

4/10

2020

09/05

（Sat）

13:00〜

Attending

Isabelleチュートリアル 第3回 集合・関数・関係 Ended

PRINCIPIA

Isabelleチュートリアル 第3回 集合・関数・関係

hatsugai hatsugai

オンライン

5/10

2020

08/28

（Fri）

20:30〜

Attending

【表参道】はじめてのNuxt.js Ended

CroWish

【表参道】はじめてのNuxt.js

みそスープ みそスープ 他

〒107-0062 東京都港区南青山３丁目１５−９ MINOWA表参道 3階

8/10

2020

08/22

（Sat）

13:00〜

Attending

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法 Ended

PRINCIPIA

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai hatsugai

オンライン

4/10