GCをみればRTSが見えてくる、かも。行ってきた2012-09-12Miller-Rabin法で擬素数を探すHaskellMiller-Rabbin法による擬素数探索をHaskellで書いてみた。乱択のパラメーターを乱数にしているけど、IOモナド破壊しても大して困らなそうなので破壊したいと思います。100;;キャミバ様とガリグ先生がOCamlでコードを戦わせていたようだったので、こりゃ勝てないと思ってHaskellで高速化をしてみた。よる組み合わせ回路Verilog昨日の回路を少し改善してみた。functionとforを組み合わせることで超シンプルな回路として書けた。wireで実装するよりシミュレーション速度も速い。よる組み合わせ回路2012-08-08組み合わせ回路に挑戦Verilog自作回路を作ってみた。使用したのはicarus-verilog。このicarusシミュレータはWindowsでも動作するのだが、ためしてみるとシミュレーションにめっちゃ時間が掛かる。実装してみたのは冪剰余演算。512bit整数で3回ほど回すシミュレーションをしてみたのだが...組み合わせ回路に挑戦2012-08-07はてな記法いままで使ってなかった。はてな固有でやだけど楽にハイライトできるから使ってみるかな。下記のような記事を見つけた。なんと以前の記事を見てdisktnkさんという方が「遅すぎる」と検証してくださったようだ。VerilogVerilog長らく堪えていたが、耐え切れなくなってポチってしまった。夏休みの積ん読リスト入り。発表されるという記事があったんで以前のAlloyの記事で使ったモデルを流用して解いてみた。and...世界一難しい数独、Alloyで解いてみたよ(RocketNews24から)2012-06-25Control.DeepSeqを使って正格評価(訂正版)Haskell何が酷いって、記事を見なおしてみたらfoldrとfoldlのロジックを間違えてる。Bangについてはそれでもちょっと怪しいので訂正版の記事を作り直したいと思います。自戒の意味も込めて残しておきます。使用して正格評価Haskell本記事はfoldのアルゴリズムに対する理解がめちゃくちゃだったんで修正記事作りました。モンテカルロ法で円周率を計算するために多数のIOから取り出した結果の集計を行おうとした。使用して正格評価2012-06-13正格評価がうまく動かない?モンテカルロ法で円周率計算、みたいな話がちょろっと降ってきたので任意精度で計算できるようなコードをHaskellで書いてみたのだがループの中でどうもスペースリークしている。いうと、集計用の畳み込み関数が未評価のまま残ってしまうようだ。→サイズ別チャンク単...ガベージコレクタのアルゴリズムと実装(アルゴリズム編)のメモ2012-04-29さっそく移行はてなダイアリーを開いて直ぐなのだがさっそく移行してきた。最初からブログで開けと。CBCモードってのは選択平文攻撃にとても弱いらしい。CSRFとかで乗っかられちゃうと、セッション内で攻撃成功すればcookieが盗まれるとおもわれる。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。