Control.DeepSeq を使用して正格評価

本記事はfoldのアルゴリズムに対する理解がめちゃくちゃだったんで修正記事作りました。(2012/06/25) モンテカルロ法で円周率を計算するために多数のIOから取り出した結果の集計を行おうとした。 しかし未評価thunkによるメモリオーバーフローが発生し、イン…

正格評価がうまく動かない?

モンテカルロ法で円周率計算、みたいな話がちょろっと降ってきたので任意精度で計算できるようなコードをHaskellで書いてみたのだがループの中でどうもスペースリークしている。もう少しいうと、集計用の畳み込み関数が未評価のまま残ってしまうようだ。 mai…

ガベージコレクタのアルゴリズムと実装(アルゴリズム編)のメモ

一章 ガベージコレクタの評価項目 ・スループット ・停止時間 ・使用効率 ・局所性二章 マークスウィープはメモリ全体を舐める フラグメントがたまる →BiBOP法(BigBagOfPages) phkmallocみたいなやり方 チャンク検索のコストが上がる →サイズ別チャンク単…

さっそく移行

はてなダイアリーを開いて直ぐなのだがさっそく移行してきた。 http://d.hatena.ne.jp/dec9ue/ 最初からブログで開けと。

BEAST attack

あまりよく理解していなかったことではあるが、、、、 CBCモードってのは選択平文攻撃にとても弱いらしい。CSRFとかで乗っかられちゃうと、セッション内で攻撃成功すればcookieが盗まれるとおもわれる。これって暗号強度の観点から言うと暗号の効果を否定す…

Alloyでナンプレ

nishioさんのAlloyネタを追っかけてナンプレ(数独)をAlloyで写経してみた。 sig Col extends Index とか one sig One,Two,Three,Four,Five,Six,Seven,Eight,Nine あたりがダサさが極まっていてたまらない。 abstract sig Index {} sig Col extends Index { c…

開設

まー、ほそぼそとやります。