Faculty Staff  : Nishizaki Shin-Ya

Font Size SML

<Related Links>

<Lecture List>

  Course
Number
Course Title Opening
Department
Academic
Year
(Quarter)
Update
Syllabus
Update
Lecture
Notes
Access
Index
  MCS.T416 Logic and Computation Graduate major in Mathematical and Computing Science 2018
1Q
2018/4/6 2018/6/5
  CSC.T261 Logic in Computer Science Undergraduate major in Computer Science 2017
3Q
2017/3/17 2018/3/22
  CSC.T425 Concurrent System Theory Graduate major in Computer Science 2017
2Q
2017/3/21 2018/3/22
  XCO.T473 Foundation of Cybersecurity 2017
1Q
2017/3/21 2018/3/22
  CSC.T261 Logic in Computer Science Undergraduate major in Computer Science 2018
3Q
2018/3/20 2018/3/20
  CSC.T425 Concurrent System Theory Graduate major in Computer Science 2018
2Q
2018/3/20 2018/3/20
  XCO.T473 Foundation of Cybersecurity 2018
1Q
2018/4/19 2018/3/20
  CSC.T434 International Project for System Development Graduate major in Computer Science 2017
4Q
2017/3/17 2017/11/2
  CSC.T263 Functional Programming Fundamentals Undergraduate major in Computer Science 2017
3Q
2017/3/17 2017/9/26
  MCS.T404 Logical Foundations of Computing Graduate major in Mathematical and Computing Science 2017
1Q
2017/3/17 2017/6/19
  CSC.T241 Fundamentals of Computing Undergraduate major in Computer Science 2017
1Q
2017/3/17 2017/4/21
  CSC.T422 Mathematical Theory of Programs Graduate major in Computer Science 2017
1Q
2017/3/21 2017/3/17
  CSC.T261 Logic in Computer Science Undergraduate major in Computer Science 2016
3Q
2017/1/11 2016/11/11
  MCS.T404 Logical Foundations of Computing Graduate major in Mathematical and Computing Science 2016
1Q
2016/4/27 2016/5/27
  CSC.T261 Logic in Computer Science Undergraduate major in Computer Science 2016
4Q
2017/1/11 2016/4/3
  CSC.T422 Mathematical Theory of Programs Graduate major in Computer Science 2016
1Q
2016/4/27 2016/4/3
  CSC.T425 Concurrent System Theory Graduate major in Computer Science 2016
2Q
2016/4/27 2016/4/3
  CSC.T436 Workshop on System Verification Graduate major in Computer Science 2016
4Q
2016/12/14 2016/4/3
  CSC.T434 International Project for System Development Graduate major in Computer Science 2016
4Q
2016/4/27 2016/4/3
  CSC.T241 Fundamentals of Computing Undergraduate major in Computer Science 2016
1Q
2017/1/11 2016/4/1