Free Dynamic DNS(DDNS) by POP3,IMAP4,FTP,HTTP-BASIC for Home Server, VPS | MyDNS.JP
www.hirax.net is not accessible... Sorry. I do not know why this site is not working. If you know Administrator of this site, please contact directly. You may be able to see it in Google cache. For administrator ... MyDNS.JP did not received IP address from you over One week. Please check your notify system. If you restart notification of IP address, MyDNS.JP will apply your IP address to DNS info
5 of the Best Free and Open Source Data Mining Software
The process of extracting patterns from data is called data mining. It is recognized as an essential tool by modern business since it is able to convert data into business intelligence thus giving an informational edge. At present, it is widely used in profiling practices, like surveillance, marketing, scientific discovery, and fraud detection. There are four kinds of tasks that are normally invol
Pari/GP, R on iPhone3GS | wrong, rogue and log
なんと。以下のSteinセンセイのエントリを参考にしたらiPhoneでPari/GPが動いた。 Sage: Open Source Mathematics Software: PARI on the iPAD (a component of Sage) http://bit.ly/aF0MI3 いや、これただのギミックなんだけれど、それでも楽しい。意味なく素数をもとめたり、素因数分解したりと。 それで、上記エントリをみると、将来的にiPadやiPhoneにSAGEを載せる気マンマンなんだよね、Steinセンセイは。まあ、そこまでいかなくてもmpmathくらいでも僕は満足するけれど。ただなあ、描画についてはiPhoneで動作させるのは結構大変だろうな。むしろ、SAGEをwebサーバー利用でブラウザをクライアントとして利用したほうがいいかも。 そういえば、iPhoneにRも載ったよね、たしか。
操作的意味論 vs 表示的意味論 - sumiiのブログ
http://d.hatena.ne.jp/ranha/20090615 (via http://d.hatena.ne.jp/yad-EL/20090615/p2) 「諸君らの愛した表示的意味論(R5RS)は死んだ。なぜだ?」 う、これは私も（というか私ごときでは）迂闊に発言できないテーマです…。Scheme (R5RS → R6RS)に固有の事情は知らないので、（もしあれば）メーリングリストなどでの議論を検索したほうが詳しいかもしれません。追記：R5RSの操作的意味論と、その表示的意味論に対するメリットに関しては論文があるようです。 迂闊に発言すると、（一般論としては）「操作的意味論のほうが理論が簡単だから」だと思います。要するにプログラムの「意味」というより「動作」を状態遷移（式の書き換え）で表しているだけなので…。歴史的には、操作的意味論も（仮想機械やインタプリタによる定義から）項
クラスタリングの定番アルゴリズム「K-means法」をビジュアライズしてみた - てっく煮ブログ
集合知プログラミング を読んでいたら、K-means 法（K平均法）の説明が出てきました。K-means 法はクラスタリングを行うための定番のアルゴリズムらしいです。存在は知っていたんだけどいまいちピンときていなかったので、動作を理解するためにサンプルを作ってみました。クリックすると１ステップずつ動かすことができます。クラスタの数や点の数を変更して、RESET を押すと好きなパラメータで試すことができます。こうやって１ステップずつ確認しながら動かしてみると、意外に単純な仕組みなのが実感できました。K-means 法とはK平均法 - Wikipedia に詳しく書いてあるけど、もうすこしザックリと書くとこんなイメージになります。各点にランダムにクラスタを割り当てるクラスタの重心を計算する。点のクラスタを、一番近い重心のクラスタに変更する変化がなければ終了。変化がある限りは 2. に戻る。これ
A Neighborhood of Infinity: Eleven Reasons to use Haskell as a Mathematician
As a mathematician, what programming language should you use when you need to do anything algorithmic? For some specific domains there are languages tailored for the task, for example Macaulay2 is great for some types of algebra. For general problems many turn to Mathematica or Maple. But although they are universal (in the sense of Turing) they're not great platforms for general purpose algorithm
Beautiful differentiation
March 2009 Appeared in ICFP 2009 Abstract Automatic differentiation (AD) is a precise, efficient, and convenient method for computing derivatives of functions. Its forward-mode implementation can be quite simple even when extended to compute all of the higher-order derivatives as well. The higher-dimensional case has also been tackled, though with extra complexity. This paper develops an implement
A Neighborhood of Infinity: Beyond Regular Expressions: More Incremental String Matching
In my last post I showed how to incrementally match long strings against regular expressions. I now want to apply similar methods to matching languages that can't be described by regular expressions. (Note that 'language' is just jargon for a set of strings that meet some criterion.) In particular, regular expressions can't be used to test a string for balanced parentheses. This is because we need
セミナー補足：教科書・参考書 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ラムダ関連の教科書・参考書を聞かれてもよく知らない、というのがホントのところです。が、知ってるものだけ挙げると、まず、正統的なラムダ計算の定番教科書は、 Barendrect, H. "The Lambda Calculus -- its Syntax and Semantics" (North Holland 1981) HINDLEY & SELDIN "Introduction to Combinators and λ-Calculus" (Cambridge, 1986) とかでしょう。しかし、これらは随分古いので今はもっと読みやすいものがあるのかも知れません。 Barendrect はよく引用されているようですが、僕は見たことがありません。HINDLEY & SELDIN は持ってますが、付録3の CARE OF YOUR PET COMBINATOR 以外はちゃんと読んでません
RealLib ではじめる誤差ゼロ実数計算 - 2008-09-09 - ひとり勉強会
RealLib のソースコード読みを始めるはずだったんですが、なんだか全然進んでないので適当なまとめエントリでお茶を濁します！ RealLib が普通にかっこよすぎるので紹介しまくりたくなりましたので紹介記事です。 実数計算と誤差 たいていのプログラミング言語の「実数 = 浮動小数点数」の計算には「誤差」があります。たとえばPythonのばあい： Python 2.5 (r25:51908, Sep 19 2006, 09:52:17) [MSC v.1310 32 bit (Intel)] on win32 Type "help", "copyright", "credits" or "license" for more information. >>> 0.1 + 0.1 + 0.1 - 0.3 5.5511151231257827e-017 0.1 を 3 回足しても 0.3 にはな
Good Programmers learn Mathematics
良いプログラマは数学を学ぶ、方が良いと思う この文章は 2003 年 2 月 28 日（金曜日）に 株式会社 ACCESS の研究開発室のメンバ向けに行われた講義のために準備されたものです。 目次 はじめに アルゴリズム ― 数学によって可能になること 数学とプログラミングの美学 ― （多分）一番たいせつなこと 質問と回答 文献表 はじめに これから何回か皆さんの前で数学の話をさせてもらうことになりましたが、 今回はまず、その手始めとして 「どうして皆さんが数学を学んだ方が良いのか」、 いいえ、「どうして皆さんに数学を学んでほしいと私が思っているのか」 というお話をさせて下さい。 もちろん、それは皆さんに、より良いプログラマになって欲しいからですが、 また、私の経験によれば、 コンピュータサイエンスの教育の現場では、 何故か数学が軽視されることが多いことを残念に思っているからでもあります。
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
Project Euler - PukiWiki
Project Euler † プログラムで解く数学の問題集です。 公式サイト 適当に和訳してます。我こそはと思う人はライセンスを確認した上で自由に書いてください。 ↑
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Authentic Reviews, Complaints & Comparisons - Gold IRA Directory)
Zippers: Making Functional "Updates" Efficient : Good Math, Bad Math
シリーズ一覧 - 共立出版
Welcome to Haskell for Maths
rnotes
madscientist.jp
Monoids? In my programming language?