TakeshiHoriさんのプロフィール（申し込みイベント一覧） - connpass

TakeshiHori

(TakeshiHori)

X(Twitter)と連携していません

GitHubと連携していません

利用開始日: 2016/10/11

所属グループ

2021

/

03/05

（金）10:00〜

申込済

終了

OSPN(Open Source People Network)

3/5-6 Open Source Conference 2021 Online/Spring

ながいし(OSC事務局) 他

オンライン

573人

2020

/

11/10

（火）09:30〜

申込済

終了

AI/IoTシステム安全性

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

オンライン開催（1・2日目）集合（3日目）

626/700人

2020

/

11/07

（土）14:00〜

申込済

終了

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

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

オンライン

29人

2020

/

10/23

（金）10:00〜

申込済

終了

OSPN(Open Source People Network)

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

ながいし(OSC事務局) 他

オンライン

500人

2020

/

09/01

（火）20:30〜

申込済

終了

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

オンライン

29/30人

2020

/

08/19

（水）20:30〜

申込済

終了

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

オンライン

5/15人

2020

/

08/04

（火）21:00〜

申込済

終了

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

オンライン

6/10人

2020

/

08/01

（土）15:00〜

申込済

終了

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

オンライン

20/30人

2020

/

07/29

（水）21:00〜

申込済

終了

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

オンライン

4/10人

2020

/

07/21

（火）21:00〜

申込済

終了

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

オンライン

10/15人

<<前へ
1
2
3
4
5
6
7
8
9
次へ>>

TakeshiHoriさんのフォロー 0

フォローはいません。

TakeshiHoriさんのフォロワー 0

フォロワーはいません。