Torao Takami
2 SlideShares 43 Seguidores 45 Seguindos
Personal Information
Organização/Local de trabalho
Tokyo, Japan, Sumida Japan
Cargo
Web Application and Backend System Architect
Setor
Technology / Software / Internet
Site
hazm.at/mox
Detalhes do contato
Marcadores
pluscal tla+ formal verification multiprocess multithread asynchronous system distributed system concurrent system specification language formal mehod
Ver mais

Apresentações

(2)

TLA+ and PlusCal / An engineer's perspective

Há 3 anos • 282 Visualizações

エンジニア目線で見る TLA+ と PlusCal - TAKAMI Torao

Há 3 meses • 43 Visualizações

Gostaram

(9)
Ver tudo

「GraphDB徹底入門」〜構造や仕組み理解から使いどころ・種々のGraphDBの比較まで幅広く〜

Takahiro Inoue • Há 13 anos

Spark GraphX で始めるグラフ解析

Yosuke Mizutani • Há 7 anos

Newman アルゴリズムによるソーシャルグラフのクラスタリング

Atsushi KOMIYA • Há 13 anos

文字認識はCNNで終わるのか？

Seiichi Uchida • Há 7 anos

Java でつくる 低レイテンシ実装の技巧

Ryosuke Yamazaki • Há 7 anos

大規模分散システムの現在 -- Twitter

maruyama097 • Há 8 anos

Spark／MapReduceの 機械学習ライブラリ比較検証

Recruit Technologies • Há 8 anos

JAWS-UG クラウド専業SIer（CIer）になってみた結果

Serverworks Co.,Ltd. • Há 10 anos

大規模サイトを支えるビッグデータプラットフォーム技術

Yahoo!デベロッパーネットワーク • Há 10 anos
Personal Information
Organização/Local de trabalho
Tokyo, Japan, Sumida Japan
Cargo
Web Application and Backend System Architect
Setor
Technology / Software / Internet
Site
hazm.at/mox
Marcadores
pluscal tla+ formal verification multiprocess multithread asynchronous system distributed system concurrent system specification language formal mehod
Ver mais