タグ

ブックマーク / www.kmonos.net (5)

  • d.y.d.おもしろいみろん

    13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という方だけ、↑に登録変更していただけると、 直るかと思います。お手数おかけしてスミマセン。定期的に「文字化けってる」という 指摘を見かけるので再度ブロードキャストです。こう、辛辣な評議会とかで怒られそうですけど、 諸般の事情により古い方からリダイレクトかけるの難しいらしいのだよね… それはそうと、昨日の記事に追記しました。 10:26 08/06/28 Logic ∩ CS 検索してたらたまたまヒットした "On the Unusual Effectiveness of Logic in Computer Scienc

    monjudoh
    monjudoh 2008/06/04
    『表示的意味論というのは、プログラムの意味を数学のオブジェクトで表現しようとする意味論です。』
  • d.y.d. Pluggable Type Systems

    19:27 08/02/29 不動点ふたたび LtU で "Data Types a la Carte" を読みました。これの鍵となる技は「型コンストラクタに対する不動点演算子」だと思うのだけど、 あれ、なんで俺これ考えたことなかったんだ…?と不思議に思うくらい楽しげなアイデアですね。てい。 // 不動点演算子 via テンプレート。Dで。 // // Haskell でいう"普通の"不動点関数 fix f = f (fix f) と同じようなもの // = の代わりに継承になっちゃってますけど、まあ似たようなものです class Fix!(alias F) : F!(Fix!(F)) {} 不動点演算の実装は題ではないので、Yコンビネータみたいな無駄な複雑化はしない方針で。 さて、これを使って class Pair(T) { T left; T right; } 2個同じ型の値のペアを

    monjudoh
    monjudoh 2008/02/13
    『1. コードで語る。』『2. 知らない単語を使わない。』『3. ググれ。』1番が一番重要な気がする。
  • Home - プログラミング言語 D (日本語訳)

    #!/usr/bin/rdmd // Computes average line length for standard input. import std.stdio; void main() { ulong lines = 0; double sumLength = 0; foreach (line; stdin.byLine()) { ++lines; sumLength += line.length; } writeln("Average line length: ", lines ? sumLength / lines : 0); } Standard input Lorem ipsum dolor sit amet, consectetur adipiscing elit. Mauris tristique rutrum sem, nec convallis enim bibe

    monjudoh
    monjudoh 2008/01/18
    日本語版公式
  • d.y.d.: 砦 - "Fortress" という新しい言語について

    21:58 06/04/29 FLOPS 自分はFLOPSには行ってないけど (すみません(^^;)それのために来日した人と会いまくる 日でした。具体的には shelarcy さんに誘われて、Oleg Kiselyov 氏 と Andrew Pimlott 氏 と語る会 →→ Guy Steele 氏と鍋をつつく会、のコンボ。 Oleg (SXMLの人でMetaOCamlの人でZipperFSの人でetc.etc.)もGuy(CommonLispの人でSchemeの 人でJavaの人でetc.etc.)も自分から見れば雲の遙か上の人で。このような機会をくれた方々に 当に当に感謝です。 Scheme, Haskell, ... Olegさん達とは、FLOPSで発表されてた Soutei というシステムの話。 なぜだか最後の方はひたすら cut-sea さんマシンのGaucheでUnif

    monjudoh
    monjudoh 2007/11/27
    『C++の演算子オーバーロードはダメダメだった』のは『使える演算子の数が、定義済みの10数個しかなかったから』『ASCIIに縛られなければ、自然な記号は次々手に入る』
  • ICFP Programming Contest 2007 - d.y.d.

    01:49 07/07/27 Large-scale Genome Sequence Processing 長い間、読もう読もうと思って忘れてるがあったような気がしてならなかったのです。 昨日、なにかからの連想でやっと思い出しました。笠原さんのだ。さっそく購入。今度サインください(私信 02:05 07/07/25 ICFPC リンク集 Referrer を見ていると、Электрический гвоздодер さんによる ICFPC参加者まとめ がありました。素晴らしい! Top 15 に名前のあった Begot や ryba も、画像を見ると相当進んでいるようですし、United Coding Team の人も、16位のスコアから考えるとかなりいい線行ってると思う、と書いておられる。 ここにさらに去年の入賞チームである Smartass と Awesome(たぶん) が加わるわ

    monjudoh
    monjudoh 2007/07/25
    チューリング完全性についての証明
  • 1