Lecture at JAIST (Mizuhito Ogawa)     Inside JAIST only

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 教授)多重文脈自由文法、その基礎と応用