情報科学と人工知能のノート

初等的な知識から最新論文の解説まで色々集めていきます.備忘録兼用.

雑記

R と MATLAB の実行時間計測

乗り換えを検討するために R と MATLAB で単純な処理の実行時間を計測してみました。なお、以下の実験ではそもそもソフトウェアを動かしているマシンが違います。 自宅PC の R と大学PC の MATLAB と自分にとってどっちが都合がいいかを計っただけです(どこ…

人工知能と離散と連続と統計

アクセス数の推移からして定期的にこのブログを購読されている方はいらっしゃらないとは思いますが(虚空に向かって)お久しぶりです。 一週間前くらいまでは凄く忙しくて、それから今日まではプレGWとしてだらだらしてました。 記事書くのは82日ぶりだ…

タブロー法の謎の木

本日は大学の修論研究発表会でした.何故タブロー法は変な木を生成するだけで充足可能性判定ができるんだろうかとずっと疑問に思っていたのですが、あの木は(与えられた論理式が充足可能なときは)論理式を充足するあるモデルそのものなんだそうです.様相…

雑記2013/02/06

広告つぶしにコメント.最近忙しいです.今度、IJCAI 2011 に出てた Civilization 関連の論文でも読んでみようかなぁと思っています.

おねえさんの栞

いっときほどほどに流行ったおねえさんの動画の栞をいただきました.知り合いが関係者です. ぽぽぽぽーんとか選挙とかと同種の流行り方だったと思うのですが*1、大ブームに至らなかったのは、キャラクターの固有名称も不思議な歌も無かったからかなと推測し…