TakeshiHori
(TakeshiHori)

Usage start date: 10/11/2016

Your Groups

2021

11/29

（Mon）

15:00〜

Attending

第3回 AI/IoTシステム安全性シンポジウム Ended

AI/IoTシステムの安全性

第3回 AI/IoTシステム安全性シンポジウム

yt9751227 yt9751227 他

オンライン開催

444/500

2021

11/20

（Sat）

10:00〜

Attending

VS Code Conference Japan 2021 Ended

VS Code Meetup

VS Code Conference Japan 2021

Nori Suzuki Nori Suzuki 他

オンライン

887

2021

07/21

（Wed）

19:30〜

Attending

【北海道オンライン会場】XRミーティング 2021/7/21 #XRMTG 【zoom接続】 Ended

【北海道オンライン会場】XRミーティング 2021/7/21 #XRMTG 【zoom接続】

jojomonvr jojomonvr 他

オンライン

9/13

2021

07/15

（Thu）

19:00〜

Attending

Nature Bath vol.13 『基礎から学ぶ 組込みRust』出版記念！Rust会 Ended

Nature

Nature Bath vol.13 『基礎から学ぶ 組込みRust』出版記念！Rust会

Nature Nature 他

オンライン

163/160

2021

07/03

（Sat）

13:00〜

Attending

定理証明支援系 Coq チュートリアル Ended

PRINCIPIA

定理証明支援系 Coq チュートリアル

hatsugai hatsugai

オンライン

9/10

2021

06/28

（Mon）

13:00〜

Attending

eAIプロジェクトキックオフシンポジウム（オンライン） Ended

eAI-project

eAIプロジェクトキックオフシンポジウム（オンライン）

Fuyuki Ishikawa Fuyuki Ishikawa 他

オンライン

453/750

2021

06/26

（Sat）

10:00〜

Attending

6/26 Open Source Conference 2021 Online/Hokkaido Ended

OSPN(Open Source People Network)

6/26 Open Source Conference 2021 Online/Hokkaido

ながいし(OSC事務局) ながいし(OSC事務局) 他

オンライン

516

2021

06/15

（Tue）

20:30〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

6/10

2021

05/30

（Sun）

14:00〜

Attending

プロセス代数 CSP 構文と操作的意味論 Ended

PRINCIPIA

プロセス代数 CSP 構文と操作的意味論

hatsugai hatsugai

オンライン

3/10

2021

05/19

（Wed）

19:30〜

Attending

等式論理と関数7個で作る証明検査器 Ended

PRINCIPIA

等式論理と関数7個で作る証明検査器

hatsugai hatsugai

オンライン

3/10

TakeshiHori

TakeshiHori's followees 7

TakeshiHori's followers 7