yoshihiro503
(yoshihiro503)

Usage start date: 09/26/2012

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

Your Groups

2021

04/13

（Tue）

19:00〜

Attending

JavaScriptでブロックチェーンのプログラミングを書く！オンライン・ハンズオン Ended

singularityhive

JavaScriptでブロックチェーンのプログラミングを書く！オンライン・ハンズオン

OTA OTA 他

オンラインミーティング

52/30

2021

03/24

（Wed）

18:30〜

Attending

ブロックチェーン ビジネス勉強会【スマートコントラクト】ブロックチェーンのプログラムを見てみる Ended

singularityhive

ブロックチェーン ビジネス勉強会【スマートコントラクト】ブロックチェーンのプログラムを見てみる

SingularityHive SingularityHive 他

@ZOOM オンライン

22/30

2021

03/16

（Tue）

21:00〜

Attending

3/16(火)開催！第263回 Scala勉強会 in オンライン Ended

rpscala

3/16(火)開催！第263回 Scala勉強会 in オンライン

takezoux2 takezoux2 他

(場所未定)

35/109

2021

03/02

（Tue）

21:00〜

Attending

3/2(火)開催！第262回 Scala勉強会 in オンライン Ended

rpscala

3/2(火)開催！第262回 Scala勉強会 in オンライン

takezoux2 takezoux2 他

(場所未定)

58/109

2021

01/23

（Sat）

14:00〜

Attending

NGK2021S Ended

NGK2021S

NGK2021S

terurou terurou 他

オンライン

152/320

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