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
2022
06/21
(Tue)19:00〜
Organizing
Attending
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