Print

Faculty Staff  : Nishizaki Shin-Ya

Font Size SML

<Related Links>

<Lecture List>

Sort：

  Course
Number		 Course Title Opening
Department		 Academic
Year
(Quarter)		 Update
Syllabus		 Update
Lecture
Notes		 Access
Index
  CSC.T261 Logic in Computer Science Undergraduate major in Computer Science 2019
3Q		 2019/9/11  
  CSC.T425 Concurrent System Theory Graduate major in Computer Science 2019
2Q		 2019/4/3  
  XCO.T473 Foundation of Cybersecurity 2019
1Q		 2019/4/2  
  MCS.T416 Logic and Computation Graduate major in Mathematical and Computing Science 2019
1Q		 2019/3/18 2019/6/11
  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