過去のニュース

(2019/3) 高橋・棚橋がPPL 2019にて登壇発表．
(2019/2) 高橋と中野の論文がPPL 2019のカテゴリ1に採録．
(2019/2) 棚橋と中野の論文がPPL 2019のカテゴリ1に採録．
(2019/1) 青山と岩崎の論文「dajFS: A New File System with Per-Directory Adaptive Journaling」が情報処理学会英文誌 Journal of Information Processing に採録．
(2019/1) 秋葉，大林が情報処理学会第60回プログラミング・シンポジウムにて登壇発表.
(2019/1) 加藤と岩崎の論文「Fregel コンパイラにおける不要な値送受信の削減」が日本ソフトウェア科学会コンピュータソフトウェアに採録．
(2018/12) 丹野と岩崎の論文「Suspend-less Debugging for Interactive and/or Realtime Programs」が ICST 2019 に採録．
(2018/9) 丹野の発表が日本ソフトウェア科学会第35回大会の優秀発表賞および学生奨励賞を受賞．
(2018/8) 丹野が日本ソフトウェア科学会第35回大会にて登壇発表．
(2018/3) 加藤と岩崎の論文がPPL 2018 の論文賞を受賞．
(2018/3) 山田の発表がPPL 2018 の発表賞 (学生の部) を受賞．
(2018/2) 加藤と岩崎の論文がPPL 2018 のカテゴリ1に採録．
(2018/2) 山田と中野の論文がPPL 2018 のカテゴリ1に採録．
(2018/2) 近松，岩崎，中野の論文がPPL 2018 のカテゴリ1に採録．
(2018/2) 西山と中野の論文がPPL 2018 のカテゴリ1に採録．
(2018/2) 岩崎らの論文「Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers」が FLOPS 2018 に採録．
(2018/1) 櫻井と中野が情報処理学会第59回プログラミング・シンポジウムにて山内奨励賞を受賞．
(2018/1) 徐，駒村が情報処理学会第59回プログラミング・シンポジウムにて登壇発表.
(2018/1) 高橋と中野の論文「木から文字列への決定性トップダウン変換の等価性判定の実装について」が日本ソフトウェア科学会コンピュータソフトウェアに採録．
(2017/11) 岩崎らの論文「A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations」が SAC 2018 に採録．
(2017/9) 青山が日本ソフトウェア科学会第34回大会にて登壇発表．
(2017/8) 阿部と中野の論文「Towards practical typechecking for macro forest transducers」が情報処理学会論文誌プログラミングに採録(JIPに掲載)．
(2017/3) 中川・高橋・RathoreがPPL 2017にて登壇発表．
(2017/3) 阿部が情報処理学会第113回プログラミング研究会にて登壇発表．
(2017/2) 中川と中野の論文がPPL 2017のカテゴリ1に採録．
(2017/2) 高橋と中野の論文がPPL 2017のカテゴリ1に採録．
(2017/2) Rathoreと岩崎の論文がPPL 2017のカテゴリ1に採録．
(2017/1) 北原，丹治，櫻井が情報処理学会第58回プログラミング・シンポジウムにて登壇発表.
(2016/11) 新井がAPLAS 2016にて登壇発表．
(2016/8) 新井，佐藤，岩崎の論文「A Debugger-Cooperative Higher-Order Contract System in Python」がAPLAS 2016に採録．
(2016/5) 岩崎らの論文「Think Like a Vertex, Behave Like a Function! – A Functional DSL for Vertex-centric Big Graph Processing –」がICFP 2016に採録．
(2016/4) 谷村がSAC 2016にて登壇発表．
(2016/4) 卒研生14名，修士院生8名が配属．
(2016/1) 山本が情報処理学会第57回プログラミング・シンポジウムにて登壇発表.
(2015/12) 岩崎らの論文「Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations」がESOP 2016に採択
(2015/11) 谷村，岩崎の論文「Integrating Lua into C for Embedding Lua Interpreters in a C Application」がSAC 2016に採択．
(2015/11) 新井が情報処理学会第106回プログラミング研究会にて登壇発表．
(2015/9) 藤井が日本ソフトウェア科学会第32回大会にて登壇発表．
(2015/9) 山本が日本ソフトウェア科学会第32回大会にて登壇発表．
(2015/5) 小林，佐藤，岩崎の論文「Efficient Use of Hardware Transactional Memory for Parallel Mesh Generation」がICPP 2015に採択．
(2015/4) 高野がSAC 2015にて登壇発表．
(2015/4) 卒研生9名，修士院生5名が配属．
(2015/3) 渡邉が言語処理学会第21回年次大会にて登壇発表．
(2015/1) 大泉が情報処理学会第56回プログラミング・シンポジウムにて登壇発表．
(2014/11) 高野と岩崎の論文がSAC 2015に採択．
(2014/11) 小林が情報処理学会第101回プログラミング研究会にて登壇発表．
(2014/11) 谷村が情報処理学会第101回プログラミング研究会にて登壇発表．
(2014/11) 高野，岩崎，佐藤の論文がJSSSTコンピュータソフトウェアに採択．
(2014/9) 佐藤が日本ソフトウェア科学会第31回大会にて登壇発表．
(2014/8) 佐藤らの論文がAPLAS 2014に採択．
(2014/7) 塩田，岩崎，佐藤の論文がGPCE 2014に採択．
(2014/5) 佐藤らの論文がHLPP 2014に採択．
(2014/4) 卒研生7名，修士院生6名が配属．
(2014/4) 鵜川助教が高知工科大学情報学群准教授に異動．
(2014/3) 高村が情報処理学会第128回OS研究会で登壇発表．
(2014/2) 岩崎の共著論文がPPL 2014のカテゴリ1に採択．
(2014/2) 佐藤の論文がPPL 2014のカテゴリ1に採択．
(2014/2) 中野と鵜川の論文がPPL 2014のカテゴリ1に採択．
(2014/2) 塩田と岩崎の論文がPPL 2014のカテゴリ1に採択．
(2014/2) 漆原，岩崎，鵜川の論文がPPL 2014のカテゴリ1に採択．
(2014/1) 橘田が情報処理学会第55回プログラミング・シンポジウムにて登壇発表．
(2013/12) 佐藤が日本ソフトウェア科学会第30回大会において学生奨励賞を受賞．
(2013/11) 卒研配属情報（大学内部からのみアクセス可）を掲載 (第1回目の研究室公開は 11/12 (火) に延期になりました．ご注意ください．)
(2013/10) 中野の共著論文がVLDB 2014に採択．
(2013/10) 白田，中野，岩崎らの論文がICDE 2014に採択．
(2013/9) 佐藤らの論文がIPSJ PROに採択．
(2013/9) 佐藤が日本ソフトウェア科学会第30回大会にて登壇発表．
(2013/9) 塩田が日本ソフトウェア科学会第30回大会にて登壇発表．
(2013/7) 中野の共著論文がPPDP 2013に採択．
(2013/6) 中野の共著論文がICFP 2013に採択．
(2013/4) 卒研生13名，修士院生7名，博士院生1名が配属．
(2013/3) 鵜川の共著論文がPASTE 2013に採択．
(2013/3) 森川，鵜川，岩崎の論文がISMM 2013に採択．
(2013/2) 鵜川の共著論文がPPL 2013のカテゴリ1に採択．
(2013/2) 高田，鵜川，中野，岩崎の論文がPPL 2013のカテゴリ1に採択．
(2013/2) 高橋と岩崎の論文がPPL 2013のカテゴリ1に採択．
(2012/12) 佐藤がAPLAS 2012でポスター発表．
(2012/11) 2013年度卒業研究配属情報を掲載．
(2012/10) 高野がIPSJ第91回プログラミング研究会で発表．
(2012/10) 中野の単著論文がJournal of Functional Programmingに採択．
(2012/9) 中野の単著論文がCPP 2012に採択．
(2012/8) 中野の共著論文がLOPSTR 2011の推薦論文集に掲載．
(2012/8) 鵜川の共著論文が情報処理学会論文誌：プログラミングに掲載．
(2012/7) 岩崎らの論文が Higher-Order and Symbolic Computation に採択．
(2012/6) 森川がIPSJ第89回プログラミング研究会で発表．
(2012/4) 卒研生11名，修士院生6名が配属．
(2012/3) 高野，岩崎，鵜川の論文が情報処理学会論文誌　プログラミングに採択、掲載．
(2012/3) 鵜川，岩崎らの論文が情報処理学会論文誌　プログラミングに採択、掲載．
(2012/2) 白田，中野，岩崎の論文がPPL2012のカテゴリ1に採択
(2011/11) 中野らの論文がJSSST コンピュータソフトウェアに採択．
(2011/11) 中野の共著論文がPEPM 2012に採択．
(2011/10) 2012年度卒業研究配属情報を掲載．
(2011/9) 佐藤がJSSST第28回大会で発表．学生奨励賞受賞．
(2011/9) 鵜川がJSSST第28回大会で発表．
(2011/9) 高野がHaskell Implementors Workshop 2011で発表．
(2011/9) 山田，岩崎，鵜川の論文がICPADS 2011に採択．
(2011/9) 田村が夏のプログラミング・シンポジウム2011で発表．
(2011/7) 鵜川がSWOPP鹿児島2011で発表．
(2011/7) 中野の共著論文がASE 2011に採択．
(2011/5) 中野の共著論文がLOPSTR 2011に採択．
(2011/4) 中野の共著論文がPPDP 2011に採択．
(2011/4) 卒研生10名，修士院生4名，博士院生1名と研究生1名が配属．
(2011/3) 中野の共著論文がICMT 2011に採択．
(2011/2) 佐藤と岩崎の論文がPLDI 2011に採択．
(2011/2) 中野らの論文がPPL 2011のカテゴリ1に採択．
(2011/2) 山田，鵜川，岩崎の論文がPPL 2011のカテゴリ1に採択．
(2011/2) 今村と岩崎の論文がPPL 2011のカテゴリ1に採択．
(2011/1) 五味が第52回プログラミング・シンポジウムで発表．
(2010/11) 中野がAPLAS 2010でポスター発表．
(2010/11) 佐藤がAPLAS 2010でポスター発表．
(2010/11) 卒研配属のための研究室公開3回目(11月28日，木曜日)の実施時間を13:30〜14:30に変更(当初の予定では学内研修と時間が重なっていたため)．
(2010/10) 2011年度卒研配属情報のページを掲載．
(2010/9) 鵜川，岩崎らの論文がILC 2010に採択．
(2010/9) 中野の共著論文がAPLAS 2010に採択．
(2010/8) 山田がSWoPP金沢2010で発表．
(2010/8) 室井がSWoPP金沢2010で発表．
(2010/6) 中野の共著論文がICFP 2010に採択．
(2010/5) 折戸と岩崎の論文がIPSJ PROに採択．
(2010/5) 稲津と岩崎の論文がIPSJ PROに採択．
(2010/4) 卒研生7名と修士院生4名が配属．
(2010/3) 鵜川，岩崎らの論文がISMM 2010に採択．