yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers

Your Groups

2019

06/26

（Wed）

19:00〜

Attending

blockchain.tokyo#20 Public

blockchain.tokyo

blockchain.tokyo#20

ikutyy ikutyy 他

東京都港区港南2-16-3(品川グランドセントラルタワー31F)

94/92人

2019

06/23

（Sun）

14:00〜

Organizing

Attending

Coq勉強会 - #3 Ended

readcoqart

Coq勉強会 - #3

tmiya_ tmiya_ 他

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

10人

2019

06/19

（Wed）

19:30〜

Attending

ビットコインとか勉強会#31 Ended

日本暗号通貨ユーザ会

ビットコインとか勉強会#31

びりある びりある 他

東京都渋谷区桜丘町26番1号(セルリアンタワー11階)

42/110人

2019

06/15

（Sat）

13:00〜

Attending

Tezosハンズオン Ended

HashHub

Tezosハンズオン

YorikoBeal YorikoBeal 他

東京都文京区本郷3-38-1 本郷信徳ビル7F

13人

2019

05/27

（Mon）

19:30〜

Attending

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

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

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

sugiyamak sugiyamak 他

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

66/78人

2019

05/11

（Sat）

14:00〜

Attending

[日本初！]Tezosハンズオン Ended

singularityhive

[日本初！]Tezosハンズオン

SingularityHive SingularityHive 他

大阪府大阪市中央区南船場3-11-8 郵政福祉心斎橋ビル 2F

14/15人

2019

04/29

（Mon）

14:00〜

Organizing

Attending

Coq勉強会 - #1 Ended

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_ 他

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

23人

2019

04/25

（Thu）

19:30〜

Attending

【暗号通貨読書会#29】Miniscript Ended

日本暗号通貨ユーザ会

【暗号通貨読書会#29】Miniscript

びりある びりある 他

東京都世田谷区用賀四丁目10番1号 (世田谷ビジネススクエア タワー　24階)

12/60人

2019

04/04

（Thu）

20:00〜

Attending

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

Coq読書会

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

7shi 7shi

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

14/25人

2019

04/02

（Tue）

19:30〜

Attending

4/2(火)開催！Scala勉強会第241回 in 西新宿 Ended

Scala勉強会 in 東京

4/2(火)開催！Scala勉強会第241回 in 西新宿

タマニチェンコ・タマニコフ タマニチェンコ・タマニコフ 他

東京都新宿区西新宿8-17-1(住友不動産新宿グランドタワー11F)

14/15人