Lecture at JAIST (Mizuhito Ogawa)     Inside JAIST only

2011   (2-1)   I211 (Mathematical Logic@Ishikawa)

2011   (1-1)   I447 (Advanced Database System@Ishikawa/Shinagawa)

2010   (1-1)   I640 (Automated Deduction@Ishikawa)

2007   (1-2)   I642 (Theorem Prover@Ishikawa)

2006   (2-2)   I217 (Programming Methodlogy@Ishikawa)

IS school seminar (Contact: Mizuhito Ogawa)     Inside JAIST only

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