Ichiro Hasuo

• Department of Computer Science
• University of Tokyo
• ichiro [at] is.s.u-tokyo.ac.jp

• English
• Japanese
• Dutch
• Chinese

• Home
• Contact
• Research
• Cv
• Papers
• Talks
• Teaching

[Back to Teaching]

2015

• Information Logic (Undergraduate, in Japanese)
• Advanced Programming Languages (Undergraduate, in Japanese, jointly with Naoki Kobayashi)
• Optimization and Quantifier Elimination (Lectures given by Hitoshi Yanami, in Japanese. I am in charge of local organization)
• Formal Language Theory (Undergraduate, in Japanese)
• Introduction to Program Verification via Hoare Logic
  (For 1st & 2nd year undergraduate students, at UT Komaba Campus)
  See the page in Japanese

2014

• Information Logic (Undergraduate, in Japanese)
• Advanced Programming Languages (Undergraduate, in Japanese, jointly with Naoki Kobayashi)
• Models of Computation (Undergraduate, in Japanese, jointly with Masami Hagiya and Hiroshi Imai)
• Optimization and Quantifier Elimination (Lectures given by Hitoshi Yanami, in Japanese. I am in charge of local organization)
• Formal Language Theory (Undergraduate, in Japanese)
• Mathematical Semantics of Computer Systems
  (For graduate students, 2nd semester)
• Introduction to Program Verification via Hoare Logic
  (For 1st & 2nd year undergraduate students, at UT Komaba Campus)
  See the page in Japanese

2013

• Information Logic (Undergraduate, in Japanese)
• Advanced Programming Languages (Undergraduate, in Japanese, jointly with Naoki Kobayashi)
• Models of Computation (Undergraduate, in Japanese, jointly with Masami Hagiya and Hiroshi Imai)
• Optimization and Quantifier Elimination (Lectures given by Hitoshi Yanami, in Japanese. I am in charge of local organization)
• Introduction to Algebra and Coalgebra (Graduate School of Mathematics, Nagoya University)
• Formal Language Theory (Undergraduate, in Japanese)
• Introduction to Program Verification via Hoare Logic
  (For 1st & 2nd year undergraduate students, at UT Komaba Campus)
  See the page in Japanese

2012

• Information Logic (Undergraduate, in Japanese)
• Advanced Programming Languages (Undergraduate, in Japanese, jointly with Naoki Kobayashi)
• Introduction to Algebra and Coalgebra (RIMS, Kyoto University, 4-day lectures)
• Formal Language Theory (Undergraduate, in Japanese)
• Mathematical Semantics of Computer Systems
  (For graduate students, 2nd semester)
• Introduction to Program Verification via Hoare Logic
  (For 1st & 2nd year undergraduate students, at UT Komaba Campus)
  See the page in Japanese