yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

Your Groups

2020

07/30

（Thu）

19:30〜

Attending

ビットコインとか勉強会#43【Dash Digital Cash】《オンライン》 Ended

日本暗号通貨ユーザ会

ビットコインとか勉強会#43【Dash Digital Cash】《オンライン》

こぶシュー こぶシュー 他

オンライン

45/63

2020

05/31

（Sun）

14:00〜

Attending

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法 Ended

PRINCIPIA

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai hatsugai

オンライン

17/20

2020

05/24

（Sun）

14:00〜

Attending

Isabelleチュートリアル 第1回 論理 Ended

PRINCIPIA

Isabelleチュートリアル 第1回 論理

hatsugai hatsugai

オンライン

8/10

2020

05/22

（Fri）

19:30〜

Attending

ビットコイナー反省会 × ビットコインとか勉強会#41【LN開発3倍祭り】(オンライン) Ended

日本暗号通貨ユーザ会

ビットコイナー反省会 × ビットコインとか勉強会#41【LN開発3倍祭り】(オンライン)

こぶシュー こぶシュー 他

オンライン

53

2020

05/14

（Thu）

19:00〜

Attending

blockchain.tokyo Online#3 SBI R3 Japan x LayerX!! Ended

blockchain.tokyo

blockchain.tokyo Online#3 SBI R3 Japan x LayerX!!

ikutyy ikutyy 他

オンライン

258

2020

04/17

（Fri）

18:30〜

Attending

型システム祭りオンライン Ended

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

型システム祭りオンライン

kmizu kmizu 他

Cluster

646/665

2020

04/14

（Tue）

19:30〜

Attending

代数的データ型のひみつを暴いて関数型プログラムを攻略する Ended

PRINCIPIA

代数的データ型のひみつを暴いて関数型プログラムを攻略する

hatsugai hatsugai

オンライン

28/33

2020

02/21

（Fri）

18:00〜

Waitlist

型システム祭り 中止

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

型システム祭り

kmizu kmizu 他

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

229/115

2020

01/18

（Sat）

18:30〜

Bookmarked

Attending

NGK2020S 夜の部 Ended

NGK2020S

NGK2020S 夜の部

Tatsuno Tatsuno 他

愛知県名古屋市中村区名駅4-24-24 名駅司ビル4F

105/107

2020

01/18

（Sat）

13:00〜

Attending

NGK2020S 昼の部 LT大会 Ended

NGK2020S

NGK2020S 昼の部 LT大会

Tatsuno Tatsuno 他

愛知県名古屋市中村区平池町４丁目６０−１１ 中京テレビ放送

158/214