yoshihiro503
(yoshihiro503)
Usage start date: 09/26/2012
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers
- Attended 169
- Organize 117
- Presenter 6
- Bookmark 5
2023
05/30
(Tue)19:00〜
Organizing
Attending
2023
05/16
(Tue)19:00〜
Organizing
Attending
2023
05/10
(Wed)20:00〜
Attending
2023
04/25
(Tue)19:00〜
Organizing
Attending
2023
04/11
(Tue)19:00〜
Organizing
Attending
2023
03/28
(Tue)19:00〜
Organizing
Attending
2023
03/24
(Fri)18:30〜
Attending
2023
03/14
(Tue)19:00〜
Organizing
Attending
2023
02/21
(Tue)19:00〜
Organizing
Attending
2023
02/07
(Tue)19:00〜
Organizing
Attending