hsmtたちとHTML5 audio+JavaScriptでエフェクタ作って遊んだ。 第１回ビジネスで使えるディストーション勉強会 #mobster(facebook) すごく気軽に音声がいじくれて非常に面白い。 ディストーション http://dl.dropbox.com/u/16392316/effecter/dist.html ディ…

去年の年末くらいからちょっとずつ読んでたのだけど、やっと読み終わりました。 前のエントリで取り上げた「日本語入力を支える技術」のAmazon書名でも文字化けしてる「〜」がどういう経緯で文字化けしているのかとか、Unicodeのサロゲートペアとか、そもそ…

「日本語入力を支える技術」という本が非常に評判がよかったので買ってみて読んでみたら、想像以上にすごかった。 もちろん、データ構造とか、機械学習とかまとめて読めるのがすごいというのあるし、著者のブログにあるように、構造化SVMとかほかの本に載っ…

ところで、上のエントリも含めて、ここ３エントリ、ぐぐらず、見直さず、まあ誤変換の修正くらいはしたけど、書きなぐったそのままで公開した。 でも、なんかいい感じになってる。 あえてブログとは書かなかったんだけど、日記、日々思ったことを書くという…

先日、プロ棋士対コンピュータというNHKの番組があった。 その中で、羽生名人がどんだけ先読みしてるかという話で、初心者よりちょっと多いくらい、中級者より少ない手数しか先読みしてないということを言ってた。 確か、初心者が10手、中級者が20手、上級者…

今日ちらっと、「ソーシャルとはリアルの人間関係のことである(キリッ」っていう文章みて、こいつバカじゃねーのって思わなかったことにしておくけど、そういう文章をみたんだ。 それで思った。じゃあリアルの人間関係ってなんだ？ この対比で言う場合に、バ…

つまり、ソフトウェアのあらゆるパラメータで、要求が低いときには工夫をしないほうが品質が高くなるという法則。 たとえば、アルゴリズムというのは理論的にはデータが増えたときに性能悪化がゆるやかなもののほうがよいということになってる。 でも多くの…

東大にUTオープンコースウェアというのがあって、いろいろな講義資料が公開されています。 http://ocw.u-tokyo.ac.jp/ その中には動画授業があるものもあって、そのほぼすべてがおもしろいです。ただ興味がもてるかどうかという違いだけ。 その中で、情報工…

Webアプリだとホットリローディングできるフレームワークがあったり、NetBeansが勝手にビルド・デプロイしてくれたりして、ソースコードのビルドなどを気にしなくてもいいようになってきてるんですが、Swingアプリではホットリローディングができるというの…

Alloyでいろいろ試してたんですけど、もしかしてこれ迷路とけるのかな？ ということで、とりあえず一本道を定義してみる。 module exec/maze abstract sig Field{} one sig F11, F12, F13 extends Field{ conn: set Field } pred show{ } run show F11、F12…

なんかAlloyでいろいろできそうな気がしてきたので、参照カウント式GCでメモリリークがあることを検証してみます。 とりあえず、こんな感じでモデルを作ります。今回は、参照のカウントはとらずに、参照があるかないかで判断することにします。 module exec/…

昨日、時系列の仕様を試してみました。 http://d.hatena.ne.jp/nowokay/20120104#1325696475 だけど、カート自体を時間ごとの状態とみなしたので、同一時間でのカート同士の関係を記述できなかったり、いろいろ不便。 なので、「時間」というシグネチャを導…

先日は、静的な構造をAlloyで試してみました。 http://d.hatena.ne.jp/nowokay/20120101#1325434520 こんどは時系列での動きを試してみます。時系列の仕様を書くには、util/orderingを使って、変化があるものに結び付けます。 今回は、カートに商品を入れる…

試してみるよ。 とりあえず商品をまとめたセット商品についての仕様を書いてみる。 まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。 なんか商品がみっつ出た。 じゃあ、セット商品を定義…