ユーザ用ツール

サイト用ツール


public:history

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
次のリビジョン
前のリビジョン
最新のリビジョン両方とも次のリビジョン
public:history [2017/10/17 09:11] iwasakipublic:history [2020/11/29 14:33] 19honozawa
行 1: 行 1:
 ====== 過去のニュース ====== ====== 過去のニュース ======
 +  * (2017/11) 岩崎らの論文「A Framework for Constructing JavaScript Virtual Machines with Customized Datatype Representations」が [[https://www.sigapp.org/sac/sac2018/|SAC 2018]] に採録.
 +  * (2017/9) 青山が[[https://jssst2017.wordpress.com/|日本ソフトウェア科学会第34回大会]]にて登壇発表.
 +  * (2017/8) 阿部と中野の論文「[[https://doi.org/10.2197/ipsjjip.25.962|Towards practical typechecking for macro forest transducers]]」が情報処理学会論文誌 プログラミングに採録(JIPに掲載).
 +  * (2017/3) 中川・高橋・Rathoreが[[https://ppl2017.ipl-e.ai.kyutech.ac.jp/|PPL 2017]]にて登壇発表.
 +  * (2017/3) 阿部が[[https://sigpro.ipsj.or.jp/pro2016-5/|情報処理学会第113回プログラミング研究会]]にて登壇発表.
 +  * (2017/2) 中川と中野の論文が[[https://ppl2017.ipl-e.ai.kyutech.ac.jp/|PPL 2017]]のカテゴリ1に採録.
 +  * (2017/2) 高橋と中野の論文が[[https://ppl2017.ipl-e.ai.kyutech.ac.jp/|PPL 2017]]のカテゴリ1に採録.
 +  * (2017/2) Rathoreと岩崎の論文が[[https://ppl2017.ipl-e.ai.kyutech.ac.jp/|PPL 2017]]のカテゴリ1に採録.
 +  * (2017/1) 北原,丹治,櫻井が[[http://www.ipsj.or.jp/prosym/58/58CFA.html|情報処理学会第58回プログラミング・シンポジウム]]にて登壇発表.
 +  * (2016/11) 新井が[[http://soict.hust.edu.vn/~aplas2016/|APLAS 2016]]にて登壇発表.
 +  * (2016/8) 新井,佐藤,岩崎の論文「A Debugger-Cooperative Higher-Order Contract System in Python」が[[http://soict.hust.edu.vn/~aplas2016/|APLAS 2016]]に採録.
 +  * (2016/5) 岩崎らの論文「Think Like a Vertex, Behave Like a Function! -- A Functional DSL for Vertex-centric Big Graph Processing --」が[[http://conf.researchr.org/home/icfp-2016|ICFP 2016]]に採録.
 +  * (2016/4) 谷村が[[http://www.acm.org/conferences/sac/sac2016/|SAC 2016]]にて登壇発表.
 +  * (2016/4) 卒研生14名,修士院生8名が配属.
   * (2016/1) 山本が[[http://www.ipsj.or.jp/prosym/57/57CFA.html|情報処理学会第57回プログラミング・シンポジウム]]にて登壇発表.   * (2016/1) 山本が[[http://www.ipsj.or.jp/prosym/57/57CFA.html|情報処理学会第57回プログラミング・シンポジウム]]にて登壇発表.
   * (2015/12) 岩崎らの論文「Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations」が[[http://www.etaps.org/index.php/2016/esop|ESOP 2016]]に採択   * (2015/12) 岩崎らの論文「Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations」が[[http://www.etaps.org/index.php/2016/esop|ESOP 2016]]に採択
public/history.txt · 最終更新: 2021/03/15 18:24 by iwasaki