yoshihiro503
(yoshihiro503)
Usage start date: 09/26/2012
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers
- Attended 146
- Organize 98
- Presenter 4
- Bookmark 4
2022
06/22
（Wed）19:00〜
Attending
kmizu2022
06/21
（Tue）19:00〜
Organizing
Attending
tmiya_2022
06/17
（Fri）19:30〜
Attending
こぶシュー2022
06/07
（Tue）19:00〜
Organizing
Attending
2022
05/24
（Tue）19:00〜
Organizing
Attending
2022
05/10
（Tue）19:00〜
Organizing
Attending
2022
04/26
（Tue）19:00〜
Organizing
Attending
2022
04/12
（Tue）19:00〜
Organizing
Attending
2022
03/29
（Tue）19:00〜
Bookmarked
Organizing
Attending
2022
03/15
（Tue）19:00〜
Organizing
Attending
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan