yoshihiro503

yoshihiro503

(yoshihiro503)
Usage start date: 09/26/2012

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

2024

/

01/26

(Fri)19:00〜

Attending

Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会 Ended

nextbeat

Nextbeat Tech Bar:第五回関数型プログラミング(仮)の会

nextbeat nextbeat

オンライン(Google Meet) or 株式会社ネクストビート本社オフィス

134/158

2023

/

03/24

(Fri)18:30〜

2021

/

10/01

(Fri)18:30〜

2019

/

11/25

(Mon)19:30〜

Attending

出席済み

2019

/

07/29

(Mon)19:30〜

Attending

出席済み

2017

/

12/02

(Sat)14:00〜

Attending

NGK2017B 昼の部(LT大会) Ended

NGK2017B

NGK2017B 昼の部(LT大会)

Tatsuno Tatsuno

愛知県名古屋市中村区名駅4丁目5−27

126/138

2016

/

04/16

(Sat)10:00〜

Attending

NL名古屋 Ended

LLなごや

NL名古屋

terurou terurou

愛知県名古屋市中区栄2-2-31(ニュープラスビル4F)

56/90

yoshihiro503