hatsugai
(hatsugai)

利用開始日: 09/13/2014

並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CSP を基礎にしており,デッドロック・ライブロック・安全性・正当性(詳細化関係)・LTL・CTL(+公平性)の検査ができます.検査結果を視覚的かつ対話的に分析できます.

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Public

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

82/55

2019

07/06

(Sat)

13:00〜

Attending

Anil/Oleg先生と学ぶML Day Ended

ML勉強会

Anil/Oleg先生と学ぶML Day

κeen κeen

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

24/31

2019

03/30

(Sat)

14:00〜

Attending

Gordon Plotkin先生に学ぶAlgebraic Effect Ended

Gordon Plotkin先生に学ぶAlgebraic Effect

κeen κeen

東京都新宿区新宿4丁目1−6(JR新宿ミライナタワー13階)

37/42

2019

03/02

(Sat)

13:00〜

Organizing

Attending

(会場と日程を変更しました) #静的コード解析の会 第9回 Ended

Metasepi

(会場と日程を変更しました) #静的コード解析の会 第9回

masterq masterq

東京都中央区日本橋2-7-1 (東京日本橋タワー)

18/45

2018

12/14

(Fri)

18:00〜

Attending

第1回AI4SEセミナー Ended

AI4SE

第1回AI4SEセミナー

yoriyuki yoriyuki

東京都千代田区一ツ橋2-1-2

102/84

2018

11/23

(Fri)

13:00〜

Attending

Egison Workshop 2018 Ended

Egison Workshop 2018

Satoshi Egi Satoshi Egi

東京都文京区本郷7-3-1

23/45

2018

11/15

(Thu)

18:30〜

Attending

組込みコミュニティ交流会@ET/IoT2018 Ended

SESSAME

組込みコミュニティ交流会@ET/IoT2018

NoboruWatanabe NoboruWatanabe

神奈川県横浜市西区みなとみらい1-1-1

45

2018

11/10

(Sat)

13:00〜

Cancel

コンパイラ勉強会 Ended

コンパイラ勉強会

akmaru akmaru

東京都品川区大崎1-11-1 ゲートシティ大崎ウエストタワー18階

79/65

2018

10/13

(Sat)

12:45〜

Organizing

Attending

#静的コード解析の会 第8回 Ended

Metasepi

#静的コード解析の会 第8回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

9/18

2018

09/16

(Sun)

13:00〜

Attending

ML Day#2 Ended

ML勉強会

ML Day#2

インターネットの闇 インターネットの闇

東京都中央区銀座5-15-1 南海東京ビルディング3F

80/100