hatsugai
(hatsugai)

利用開始日: 2014/09/13

SyncStitchというツールを開発しています。マルチスレッド,組込み,ネットワーク系等,並行・並列システムの動作を対話的にモデル化し検査する設計支援ツールです。CSP理論を基礎にしており、状態遷移図や関数型言語でモデルを記述します。モデルのシミュレーションと,デッドロック、ライブロック、正当性の検査ができます。

2018

09/16

(日)

13:00〜

申込済

ML Day#2 開催前

ML勉強会

ML Day#2

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

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

77/102

2018

09/02

(日)

11:00〜

申込済

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

93/100

2018

08/24

(金)

13:00〜

申込済

AXE AIセミナ2018 開催前

AXE

AXE AIセミナ2018

takeoka takeoka

東京都千代田区外神田4-14-1

10/60

2018

05/17

(木)

18:00〜

キャンセル

2018

05/17

(木)

14:00〜

キャンセル

機械学習工学研究会 キックオフシンポジウム 終了

機械学習工学研究会(MLSE)

機械学習工学研究会 キックオフシンポジウム

bonotake bonotake

東京都千代田区一ツ橋 2-1-2 学術総合センター内

661/625

2018

05/12

(土)

12:45〜

主催

申込済

#静的コード解析の会 第7回 終了

Metasepi

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

masterq masterq

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

8/18

2018

03/31

(土)

13:00〜

申込済

ML Day #1 終了

ML勉強会

ML Day #1

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

東京都中央区築地1丁目13−1 ADK松竹スクエア

57/102

2018

01/20

(土)

12:45〜

主催

申込済

#静的コード解析の会 第6回 終了

Metasepi

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

masterq masterq

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

12/18

2017

09/23

(土)

12:45〜

主催

申込済

#静的コード解析の会 第5回 終了

Metasepi

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

masterq masterq

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

16/18

2017

07/23

(日)

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

64/108

hatsugai

hatsugaiさんのフォロー 0

フォローはいません。

hatsugaiさんのフォロワー 0

フォロワーはいません。