Shin Sahara
(shinsahara)

Usage start date: 01/19/2019

NCC,SRA,CSK,SCSKでソフトウェア開発、コンサルティングを行い、法政大学情報科学研究科でVDMを教えている。

Your Groups

2020

07/24

（Fri）

13:00〜

Attending

プログラム検証器を作って学ぶ Hoare 論理 Ended

PRINCIPIA

プログラム検証器を作って学ぶ Hoare 論理

hatsugai hatsugai

オンライン

5/10

2019

07/02

（Tue）

18:00〜

Cancel

スマートエスイーセミナー: ソフトウェアの解析と保守・進化 Ended

スマートエスイー : スマートシステム＆サービス技術の産学連携イノベーティブ人材育成

スマートエスイーセミナー: ソフトウェアの解析と保守・進化

HironoriWashizaki HironoriWashizaki

東京都新宿区大久保3-4-1

14/30

2019

06/29

（Sat）

10:00〜

Cancel

Smalltalk Day Japan 2019 Ended

Smalltalk-users.jp

Smalltalk Day Japan 2019

newapplesho newapplesho 他

東京都中央区日本橋茅場町1-5-8 東京証券会館1階

14/20

2019

05/11

（Sat）

15:30〜

Attending

篠田陽一教授 特別講演会 「ハッカーであり続けるということ（仮）」 Ended

篠田陽一教授 特別講演会 「ハッカーであり続けるということ（仮）」

きよはら きよはら 他

石川県金沢市香林坊2-1-1

126/172

Shin Sahara

Shin Sahara's followees 0

No followers.

Shin Sahara's followers 0

No followers