Japanese / English

須永 修平

E-mail: sunaga [at] logic.cs.tsukuba.ac.jp

略歴

• 2011年4月〜2015年3月: 筑波大学 情報学群 情報科学類
• 2014年4月〜2018年3月: プログラム論理研究室
• 2015年4月〜2018年3月: 筑波大学 大学院システム情報工学研究科 コンピュータサイエンス専攻

ティーチングアシスタント

• 2015年10月〜2016年2月: ソフトウェアサイエンス実験 B「関数プログラミング」
• 2016年2月: ソフトウェアサイエンス特別講義 E「プログラミング言語 Haskell 体験」
• 2016年7月〜2016年8月: ソフトウェア技法
• 2016年10月〜2016年12月: 共通科目情報（実習）
• 2017年4月〜2017年6月: プログラム言語論
• 2017年7月〜2017年8月: ソフトウェア技法 TAのページ

最終更新日 2018年3月6日