yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

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

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