[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
yoshihiro503

yoshihiro503

(yoshihiro503)
利用開始日: 2012/09/26

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

所属グループ

広告

2024

/

05/14

（火）19:00〜

主催

申込済

coqtokyo 第31回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第31回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

6人

2024

/

04/30

（火）19:00〜

主催

申込済

coqtokyo 第30回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第30回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

6人

2024

/

04/16

（火）19:00〜

主催

申込済

coqtokyo 第29回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第29回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

6人

2024

/

04/02

（火）19:00〜

主催

申込済

coqtokyo 第2８回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第2８回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

6人

2024

/

03/19

（火）19:00〜

主催

申込済

coqtokyo 第27回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第27回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

5人

2024

/

02/27

（火）19:00〜

申込済

【オフライン】Scalaわいわい勉強会 #2【東京】 終了

scala.⁠tokyo

【オフライン】Scalaわいわい勉強会 #2【東京】

おみ おみ 他

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

26/26人

2024

/

02/20

（火）19:00〜

主催

申込済

coqtokyo 第26回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第26回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

5人

2024

/

02/06

（火）19:00〜

主催

申込済

coqtokyo 第25回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第25回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

8人

2024

/

01/26

（金）19:00〜

申込済

Nextbeat Tech Bar：第五回関数型プログラミング（仮）の会 終了

nextbeat

Nextbeat Tech Bar：第五回関数型プログラミング（仮）の会

nextbeat nextbeat

オンライン

134/158人

2024

/

01/23

（火）19:00〜

主催

申込済

coqtokyo 第24回MathComp Book勉強会 終了

coqtokyo

coqtokyo 第24回MathComp Book勉強会

tmiya_ tmiya_ 他

オンライン

6人

広告