TakeshiHori
(TakeshiHori)

Usage start date: 10/11/2016

Your Groups

2020

11/10

（Tue）

09:30〜

Attending

第2回 AI/IoTシステム安全性シンポジウム（11/10～11/12） Ended

AI/IoTシステムの安全性

第2回 AI/IoTシステム安全性シンポジウム（11/10～11/12）

yt9751227 yt9751227 他

オンライン開催

626/700

2020

11/07

（Sat）

14:00〜

Attending

ビールおつまみ付！実機貸出【オンライン】IoTアダプタ「Cactusphere」超入門体験ハンズオン Ended

ALGYAN(あるじゃん)主催 公式イベント！

ビールおつまみ付！実機貸出【オンライン】IoTアダプタ「Cactusphere」超入門体験ハンズオン

A.kogure A.kogure 他

オンライン

29

2020

10/23

（Fri）

10:00〜

Attending

10/23-24 Open Source Conference 2020 Online/Fall Ended

OSPN(Open Source People Network)

10/23-24 Open Source Conference 2020 Online/Fall

nagaishi nagaishi 他

オンライン

500

2020

09/01

（Tue）

20:30〜

Attending

x86-TSO メモリモデルの分析 Ended

PRINCIPIA

x86-TSO メモリモデルの分析

hatsugai hatsugai

オンライン

29/30

2020

08/19

（Wed）

20:30〜

Attending

並行システムの設計検証 プロセスの正常終了と逐次合成 Ended

PRINCIPIA

並行システムの設計検証 プロセスの正常終了と逐次合成

hatsugai hatsugai

オンライン

5/15

2020

08/04

（Tue）

21:00〜

Attending

並行システムの設計検証 第6回 安定失敗集合による正当性検査 Ended

PRINCIPIA

並行システムの設計検証 第6回 安定失敗集合による正当性検査

hatsugai hatsugai

オンライン

6/10

2020

08/01

（Sat）

15:00〜

Attending

余帰納法で無限リストを攻略する Ended

PRINCIPIA

余帰納法で無限リストを攻略する

hatsugai hatsugai

オンライン

20/30

2020

07/29

（Wed）

21:00〜

Attending

並行システムの設計検証 第5回 正当性，トレース集合による安全性検査 Ended

PRINCIPIA

並行システムの設計検証 第5回 正当性，トレース集合による安全性検査

hatsugai hatsugai

オンライン

4/10

2020

07/21

（Tue）

21:00〜

Attending

並行システムの設計検証 第4回 内部遷移・隠蔽・非決定性・発散，振る舞いとは何か Ended

PRINCIPIA

並行システムの設計検証 第4回 内部遷移・隠蔽・非決定性・発散，振る舞いとは何か

hatsugai hatsugai

オンライン

10/15

2020

07/20

（Mon）

20:30〜

Attending

証明ドリル (1) プログラムの証明練習 in Isabelle Ended

PRINCIPIA

証明ドリル (1) プログラムの証明練習 in Isabelle

hatsugai hatsugai

オンライン

7/10

TakeshiHori

TakeshiHori's followees 7

TakeshiHori's followers 7