yoshihiro503
(yoshihiro503)

利用開始日: 09/26/2012

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

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

2019

03/21

(Thu)

14:00〜

Organizing

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20

2019

03/19

(Tue)

2019

03/05

(Tue)

19:30〜

Attending

3/5(火)開催!Scala勉強会第239回 in 西新宿 Ended

Scala勉強会 in 東京

3/5(火)開催!Scala勉強会第239回 in 西新宿

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

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

12/15

2019

01/12

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #54 Ended

readcoqart

Coq勉強会 - #54

tmiya_ tmiya_

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

12

2018

12/01

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #53 Ended

readcoqart

Coq勉強会 - #53

tmiya_ tmiya_

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

5

2018

11/18

(Sun)

10:00〜

Attending

東京芋煮会 Ended

東京芋煮

東京芋煮会

インターネットの闇 インターネットの闇

東京都江東区新木場2丁目

14/14

2018

11/17

(Sat)

13:30〜

Attending

言語処理系勉強会 Vol.1 Ended

言語処理系勉強会 Vol.1

kmizu kmizu

東京都中央区銀座5-15-1 南海東京ビルディング3階

51/70