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
UPDATE 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