
masateruk
(masateruk)
Usage start date: 08/19/2016
ロボットのプログラム作ってます。形式手法を実践するため勉強と試行の日々。モデル検査/プロセス代数/Spin/Alloy/CSPなど。
- Attended 18
- Organize 0
- Presenter 0
- Bookmark 0
2023
/
11/14
(Tue)19:00〜
Attending
2023
/
10/25
(Wed)19:00〜
Cancel
2023
/
09/30
(Sat)10:00〜
Attending
2023
/
09/28
(Thu)19:00〜
Attending
2023
/
09/26
(Tue)19:00〜
Attending
2023
/
08/30
(Wed)19:00〜
Attending
2022
/
11/08
(Tue)19:00〜
Attending
2021
/
05/14
(Fri)19:30〜
Attending
2019
/
12/17
(Tue)18:30〜
Attending
出席済み
2019
/
05/17
(Fri)13:00〜
Attending