hatsugai
(hatsugai)

Usage start date: 09/13/2014

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

2020

07/30

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #88 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #88

Shibuya.lisp Shibuya.lisp

お家のインターネット

16/55

2020

07/26

(Sun)

15:00〜

Attending

2020

07/19

(Sun)

13:00〜

Attending

2020

06/28

(Sun)

13:00〜

Attending

2020

05/17

(Sun)

13:00〜

Attending

2020

04/30

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #85 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #85

Shibuya.lisp Shibuya.lisp

お家のインターネット

23/55

2020

04/17

(Fri)

2020

03/26

(Thu)

19:30〜

Attending

Re: Shibuya.lisp lispmeetup #84 Ended

Shibuya.lisp

Re: Shibuya.lisp lispmeetup #84

Shibuya.lisp Shibuya.lisp

お家のインターネット

21/55

2020

03/12

(Thu)

2019

11/24

(Sun)

12:45〜

Cancel

Egison Workshop 2019 Ended

Egison Workshop 2019

Satoshi Egi Satoshi Egi

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

17/50