Lecture at JAIST (Mizuhito Ogawa)    
Inside JAIST only
2023   (2-1)   I211 (
Ishikawa,
and
Shinagawa
),
I237E
,
I413E
,   (2-2) I628E  
See JAIST LMS pages.
2022   (2-1)   I211, I237E  
See JAIST LMS pages.
2021   (1-1)   I121,   (2-1)   I211 (Ishikawa and Shinagawa), I237E, I413E  
See JAIST LMS pages.
2020   (2-1)  
I237E (Formal languages and automata)
2020   (1-1)  
I121 (Algebra for computer scientists) Video Lectures
2019   (November-December, Shinagawa)  
I211 (Mathematical Logic)
2017 - 2007   (2-1J / Shinagawa)  
I211 (Mathematical Logic@Ishikawa)
,
I211 (Mathematical Logic@Shinagawa)
2017 - 2016   (1-1)  
I118 (Graphs and Automata)
,
I118 (Graphs and Automata)@品川
2015 - 2009   (1-1E / 1-1J@Shinagawa)  
I447 (Advanced Database System@Ishikawa/Shinagawa)
2012 - 2004   (1-1)  
I640 (Automated Deduction@Ishikawa)
2007 - 2005   (1-2)  
I642 (Theorem Prover@Ishikawa)
2006   (2-2)  
I217 (Programming Methodology@Ishikawa)
IS school seminar (Contact: Mizuhito Ogawa)    
Inside JAIST only
2013.8.5(Mon)-8(Thu)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・Cコース
2013.2.25(Mon)-3.1(Fri)   情報科学研究科セミナー (
STARC
実習講座)   →
cancelled
 
組込みソフトウェア設計実習・E2コース
2012.2.20(Mon)-24(Fri)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・E2コース
2011.8.22(Mon)-26(Thu)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・Cコース
2011.2.21(Mon)-25(Fri)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・E2コース
2010.9.27(Wed), 10.27(Wed), 11.24(Wed), 12.22(Wed), 2011.1.26(Wed)  
情報科学研究科セミナー (
STARC
支援講座)  
組込みシステム特論・Cコース
2010.2.22(Mon)-26(Fri)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・E2コース
2009.8.24(Mon)-28(Fri)   情報科学研究科セミナー (
STARC
実習講座)  
組込みソフトウェア設計実習・Cコース
2009.6.30 (Tue) 15:30-17:00   第3回 情報科学研究科セミナー
関浩之(NAIST 教授)多重文脈自由文法、その基礎と応用