Slides
2016/05/15 : akatsuki 読み資料
2015/11/17 : マルチメディア情報処理 : HOW PEOPLE DECIDE
2015/09/30 : 新学科システム説明会(ユーザコンソール部分)
2015/07/14 : Categorical Formalization of Program Modification
(Technical Reading and Writing)
2015/02/22 : ギークハウス沖縄解散パーティLT
event link
2015/02/21 : Categorical Formalization of Program Modification
(卒業研究)
2015/02/20 : プログラムの圏による形式化
(卒業研究)
2015/01/23 : ソフトウェア学会ウィンターワークショップ
2014/08/23 : Vim勉強会2014
2014/05/24 : Open Source Conference
2014/04/26 : 新入生歓迎LT(pdf)
2013/04/29 : 新入生歓迎LT
2012/06/22 : LA の LT
2012/02/11 : AO ミーティング