murakami_motokazu_1213

murakami_motokazu_1213

(murakami_motokazu_1213)
利用開始日: 2017/06/30

2020

/

08/25

(火)19:15〜

ブクマ済

2020

/

05/23

(土)12:10〜

ブクマ済

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

PRINCIPIA

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

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

3/16

2020

/

04/11

(土)12:10〜

ブクマ済

プログラムの正しさを数学的に証明する形式検証への招待 中止

PRINCIPIA

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/9

2020

/

03/28

(土)12:10〜

ブクマ済

並行システムの設計検証入門セミナー 中止

PRINCIPIA

並行システムの設計検証入門セミナー

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

6/6

2020

/

03/12

(木)14:00〜

ブクマ済

申込済

2019

/

10/26

(土)11:00〜

ブクマ済

束田大介のUnity入門講座 終了

ロクナナワークショップ

束田大介のUnity入門講座

ロクナナワークショップ ロクナナワークショップ

東京都渋谷区神宮前1-1-12(原宿ニュースカイハイツ 204)

0/5

2019

/

08/25

(日)12:30〜

ブクマ済

申込済

【日曜版eLV】ICTを支える「考え方」シリーズ:S08 論理学の考え方(根拠を説明する技術) 終了

eLV

【日曜版eLV】ICTを支える「考え方」シリーズ:S08 論理学の考え方(根拠を説明する技術)

eLV勉強会 eLV勉強会

102-0093  東京都千代田区平河町1-4-3 (平河町伏見ビル 2F)

5/10

2019

/

06/22

(土)17:00〜

ブクマ済

[Math & Coding] 集合・位相入門 #21 終了

Math & Coding | 数学と機械学習

[Math & Coding] 集合・位相入門 #21

TomokazuKitamura TomokazuKitamura

大阪府大阪市東淀川区東中島1-20-12

7/9

2019

/

06/16

(日)12:30〜

ブクマ済

キャンセル

【日曜版eLV】ICTを支える「考え方」シリーズ:S08 論理学の考え方(根拠を説明する技術) 終了

eLV

【日曜版eLV】ICTを支える「考え方」シリーズ:S08 論理学の考え方(根拠を説明する技術)

eLV勉強会 eLV勉強会

102-0093  東京都千代田区平河町1-4-3 (平河町伏見ビル 2F)

7/10

2019

/

02/15

(金)19:30〜

ブクマ済

「本当にアジャイル開発が必要かどうか?」どう見極める? 終了

アジャイルひよこクラブ

「本当にアジャイル開発が必要かどうか?」どう見極める?

otajisan otajisan

東京都渋谷区渋谷2丁目12-19 (東建インターナショナルビル5階)

34/44

murakami_motokazu_1213

murakami_motokazu_1213さんのフォロワー 0

フォロワーはいません。