airazami

airazami

(airazami)
利用開始日: 2019/04/23

所属グループ

広告

2022

/

09/30

（金）18:30〜

申込済

第三回関数型プログラミング（仮）の会 終了

Opt Technologies/オプトテクノロジーズ

第三回関数型プログラミング（仮）の会

kmizu kmizu 他

オンライン

205/211人

2019

/

09/29

（日）11:00〜

申込済

Proof Summit 2019 終了

Proof Summit

Proof Summit 2019

tmiya_ tmiya_ 他

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69人

2019

/

07/29

（月）19:30〜

申込済

出席済み

Fun Fun Functional (2) 関数型言語Lightning Talks!! 終了

Opt Technologies/オプトテクノロジーズ

Fun Fun Functional (2) 関数型言語Lightning Talks!!

sugiyamak sugiyamak 他

東京都千代田区四番町6番 東急番町ビル

60/78人

2019

/

05/27

（月）19:30〜

申込済

出席済み

Fun Fun Functional (1) 関数型言語初心者向けLightning Talks!! 終了

Opt Technologies/オプトテクノロジーズ

Fun Fun Functional (1) 関数型言語初心者向けLightning Talks!!

sugiyamak sugiyamak 他

東京都千代田区四番町6番 東急番町ビル

66/78人

2019

/

05/26

（日）13:00〜

ブクマ済

キャンセル

effect system勉強会 終了

effect system勉強会

びしょ〜じょ びしょ〜じょ 他

東京都中央区日本橋2-7-1 東京日本橋タワー ２７階

67/70人

2019

/

05/16

（木）20:00〜

申込済

『Coq/SSReflect/MathCompによる定理証明』読書会(3) 終了

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(3)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

13/25人

airazami

広告

airazamiさんのフォロー 0

フォローはいません。

airazamiさんのフォロワー 0

フォロワーはいません。

広告

広告

広告