雑記
乗り換えを検討するために R と MATLAB で単純な処理の実行時間を計測してみました。なお、以下の実験ではそもそもソフトウェアを動かしているマシンが違います。 自宅PC の R と大学PC の MATLAB と自分にとってどっちが都合がいいかを計っただけです(どこ…
アクセス数の推移からして定期的にこのブログを購読されている方はいらっしゃらないとは思いますが(虚空に向かって)お久しぶりです。 一週間前くらいまでは凄く忙しくて、それから今日まではプレGWとしてだらだらしてました。 記事書くのは82日ぶりだ…
本日は大学の修論研究発表会でした.何故タブロー法は変な木を生成するだけで充足可能性判定ができるんだろうかとずっと疑問に思っていたのですが、あの木は(与えられた論理式が充足可能なときは)論理式を充足するあるモデルそのものなんだそうです.様相…
広告つぶしにコメント.最近忙しいです.今度、IJCAI 2011 に出てた Civilization 関連の論文でも読んでみようかなぁと思っています.
いっときほどほどに流行ったおねえさんの動画の栞をいただきました.知り合いが関係者です. ぽぽぽぽーんとか選挙とかと同種の流行り方だったと思うのですが*1、大ブームに至らなかったのは、キャラクターの固有名称も不思議な歌も無かったからかなと推測し…