INRIAか… http://open-specmatch.gforge.inria.fr/
続きを読む »月別: 2014年11月
Ubuntu12.04→14.04で死にかけたのでGRUB再インストール
全部吹っ飛んだと思ったけど吹っ飛んでなかったのでなんとかなりました.さくらVPS上のUbuntuでずっと前から14.04LTSへのアップグレードが出ていたので今日やってみたら大変なことになりました.いろいろ調べた結果なん
続きを読む »IBIS2014(11/17-19@名古屋大学)に参加しました
名古屋大学で17日から19日まで開催されたIBIS2014に参加しました.IBISワークショップ本体は,2011年2012年に引き続き3回目の参加です.毎年来年こそは発表しよう(ポスターセッション)と思うのですが,毎年失
続きを読む »