yoshihiro503
(yoshihiro503)
Coqなどの証明支援器を使った高信頼プログラムの開発に興味があります。OCamlやHaskell、SML#、Scala、F#などの関数型言語も好きです。
トップSEの講師もしています。http://www.topse.jp/lecturers
2024
/
08/04
（日）13:00〜
申込済
出席済み
2024
/
07/24
（水）19:00〜
2024
/
07/23
（火）19:00〜
主催
申込済
2024
/
07/09
（火）19:00〜
主催
申込済
2024
/
06/29
（土）21:00〜
申込済
2024
/
06/28
（金）20:00〜
申込済
2024
/
06/25
（火）19:00〜
主催
申込済
2024
/
06/14
（金）19:00〜
申込済
2024
/
06/11
（火）19:00〜
主催
申込済
2024
/
05/28
（火）19:00〜
主催
申込済