Yusuke Kataoka
(totechite)

Usage start date: 05/01/2020

Your Groups

2021

11/13

（Sat）

10:00〜

Attending

AWSの基礎を学ぼう クラウドお遍路特別編 最新サービスをみんなで触ってみる Amplify Ended

AWS エバンジェリストシリーズ　AWSの基礎を学ぼう

AWSの基礎を学ぼう クラウドお遍路特別編 最新サービスをみんなで触ってみる Amplify

HarunobuKameda HarunobuKameda

Zoom

328

2021

08/24

（Tue）

19:30〜

Attending

Infra Study 2nd #4「セキュリティエンジニアリングの世界」 Ended

Forkwell

Infra Study 2nd #4「セキュリティエンジニアリングの世界」

Forkwell Forkwell 他

オンライン

817

2021

06/15

（Tue）

20:30〜

Attending

ヒープソート siftup の正当性証明 Ended

PRINCIPIA

ヒープソート siftup の正当性証明

hatsugai hatsugai

オンライン

6/10

2020

08/01

（Sat）

13:00〜

Attending

代数的データ型のひみつを暴いて関数型プログラムを攻略する Ended

PRINCIPIA

代数的データ型のひみつを暴いて関数型プログラムを攻略する

hatsugai hatsugai

オンライン

17/30

2020

05/31

（Sun）

14:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

17/20

2020

05/29

（Fri）

19:30〜

Attending

形式手法の紹介 Ended

PRINCIPIA

形式手法の紹介

hatsugai hatsugai

オンライン

31/35

2020

05/24

（Sun）

14:00〜

Attending

Isabelleチュートリアル 第1回 論理 Ended

PRINCIPIA

Isabelleチュートリアル 第1回 論理

hatsugai hatsugai

オンライン

8/10

2020

05/16

（Sat）

14:00〜

Cancel

Isabelleチュートリアル 第1回 論理 Ended

PRINCIPIA

Isabelleチュートリアル 第1回 論理

hatsugai hatsugai

オンライン

9/15

Yusuke Kataoka

Yusuke Kataoka's followees 1

Yusuke Kataoka's followers 1