文書の過去の版を表示しています。

過去のニュース

(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に採択．