eagletmtのブックマーク / 2010年1月26日

eagletmt id:eagletmt

2010年1月26日のブックマーク (6件)

どさにっき素数計算
2010年1月21日(木) ■ Thunderbird 3.0.1 _ 出たらしい。修正項目の一覧で IMAP の未読件数がおかしくなるバグ(517461)が fix されていることを確認。 _ さっそく入れ替えて use_condstore をデフォルトの値に戻した。 _ おーい。直ってないよ。未読が存在しないはずのフォルダを見にいくと、何千通ものメールが未読に戻っちゃうよ。ダメじゃん。3.0 と同じ方法で回避できるのでまったく使いものにならないわけじゃないけど。 ■ Kindle で自費出版 _ 日本で自費出版といったら、老い先短いじいさんが(自分的には)波瀾万丈な自分史を書いたり(自分的には)傑作ばかりの句集を作って親戚一同に配りまくる(けど誰にも読まれず埃をかぶる)、というイメージが強いけど、でもそれは実際は主流ではないだろう。正確なところは知らんけど、でも十中八九今の自費出版で
eagletmt 2010/01/26
リンク
https://blog.cryolite.net/entries/2010/01/26
eagletmt 2010/01/26
C++

gcc
リンク
Webで読めるLisp関連書籍
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
eagletmt 2010/01/26
Lisp
リンク
OCamlerのためのCoq便利モジュールを公開してみた - にわとり小屋でのプログラミング
このBaseモジュールをインストールすれば、写真の用なコードを書くことが出来る。ダウンロード: http://sourceforge.jp/projects/coqbase/ 具体的には以下のことを定義した。標準出力へ出力するprint, println関数命令をつなげるセミコロン演算子依存型を使った型安全なprintf関数 natからOCamlのint、stringからOCamlのstringへの相互変換関数 Coqでのbool、sumbool、list、option型をそのままOCamlの型として使うための連携
eagletmt 2010/01/26
Coq

OCaml
リンク
経路探索アルゴリズムの「ダイクストラ法」と「A*」をビジュアライズしてみた - てっく煮ブログ
as詳解 ActionScript 3.0アニメーション ―衝突判定・AI・3DからピクセルシェーダまでFlash上級テクニックを読んでいて、経路探索のアルゴリズムで A* が取り上げられていました。A* については、いろいろ検索して調べたりもしたのですが、やっぱり本に書いてあると理解しやすいですね。せっかくなので自分流に実装してビジュアライズしてみました。ダイクストラ法まずは A* の特別なケースでもあるダイクストラ法から見ていきます。クリックすると探索のシミュレーションが開始します。スタート地点(S)からゴール(G)への探索が始まります。色がついたところが「最短経路が決定した場所」です。スタート地点から少しずつ探索が完了していきます。半分ぐらい完了しました。まだまだ進みます。最後まで終わりました。最短経路を黒色矢印で表示しています。ダイクストラ法は、スタート地点から近いノード(=マス
eagletmt 2010/01/26
algorithm
リンク
CiteULike: A free online service to organize your academic papers
Citeulike is a self-governing website that offers comparisons of various online casinos. It includes affiliate links, which could result in us receiving a commission if you decide to accept any of the offers we list. Our expert team focuses on identifying top-notch bonu ses and safe casino options for your gaming experience. We meticulously evaluate each bonus prior to incorporating it into our sit
eagletmt 2010/01/26
webservice

paper
リンク
- 2010年1月28日
- 2010年1月26日
- 2010年1月24日