はじめてのにき(2009-10-21)
_ 対関数 sin-x さんに教えてもらう。 http://ja.wikipedia.org/wiki/対関数 よく整数2つの点とかの hash 値をどう計算するか悩むわけなんだけど、 本質的にこの関数はちょっと遅そうだけど、悪くないかも、ね。 ちょっとやってみた。 適当な値域の乱数のペアを大量に作って適当に突っ込む。 http://github.com/shinh/test/blob/da1e28b9fd201ca2d203d3e187cc280e9a8b9f9a/bijection_hash.cc ハッシュ関数としては単なるかけ算、 よくある x + y * prime みたいなヤツ、 それとこの対関数、をそれぞれ使ってみた。 最初の立ち上がり部分は値域がほぼ埋まってるのであんまり関係ない。 単なるかけ算は明らかに悪い。 対関数は密度がある程度あるうちは衝突が少ないおかげかちょっと早そ
PPL2009 のみかいにて - keigoiの日記
マジメな話は省略、主に自分の話だけメモ 飲み会は2日目だけ参加しました。 kinabaさん→id:osiire さん、 「リストの重複を省く関数(多相的)を作るときに Setモジュールが使えない」 OCaml の Set モジュールが多相的に使えない問題。 let uniq xs cmp = let module ASet = Set.Make ( struct type t = 'a (* 'a is unbound *) let compare = cmp end) in ASet.elements (List.fold_right ASet.add xs ASet.empty);; OCaml には scoped type variable がないから駄目なんじゃね？ class の 型引数を scoped type variable として使えない？ ムリポ class ['a]
論文ファイブ - d.y.d.
16:40 09/01/28 インドコンテスト おとといのを読み返してて、 全体として並列並行系多いなーといっておきながら、 個別紹介に１個もそれ系のがなくて面白いなあと思いました。 と、それはともかく、今年もインド発プログラミングコンテストのお知らせが来てました。 ICPCやTopCoder系の問題の出る CodeCraft、 Project Euler系の問題の出る MathematiKa、 あと今年はなんだか縛り付きプログラミング（ゴルフとか）系の Time Limit Exceeded というのがあるらしい。毎年恒例行事にするつもりなのかな。 去年のはわりと面白かったので、今年も参加してみるつもり。 23:10 09/01/26 POPL 2009 行ってきました。MS Research 多いなーというのと、 まあ当たり前ですが並列並行系多いなーというのが全体的な感想。 以下印象に
はてなブログ | 無料ブログを作成しよう
来年も作りたい！ふきのとう料理を満喫した 2024年春の記録 春は自炊が楽しい季節 1年の中で最も自炊が楽しい季節は春だと思う。スーパーの棚にやわらかな色合いの野菜が並ぶと自然とこころが弾む。 中でもときめくのは山菜だ。早いと2月下旬ごろから並び始めるそれは、タラの芽、ふきのとうと続き、桜の頃にはうるい、ウド、こ…
RHGの逆襲 - soutaroブログ
まず、私が質問したことだけまとめとく。 YARV Bytecodeをロードする話 問題は二点：互換性と安全性 安全性について。 Rubyプログラムをちょこちょこっと書き換えても、安全性は損なわれることはない。ここでいう安全性とは、処理系が実行中に未定義の状態にならない、という程度の意味。卑近な表現をすれば、SEGVが起きないと言うこと。これは、Rubyの処理系によって（直感的には）保証されている（し、そうなるべく開発者は努力していることが、自然に期待される）。 一方、YARVのバイトコードを書き換えたときには、「なにが起きるかわからない」。未定義の状態になって、SEGVするかもしれないし、未定義の状態というのは計算機が突然壊れても文句を言えないということ。JavaのクラスローダにはVerifierがあって、安全だと確認できないクラスファイルはロードできないようになっている。 Verifie
Modern C++ Design(Loki)のTypeList(これは古い日記です) - Diary(uid)
今日の日記はModern C++ Designを読んだ人とかLoki(Modern C++ Designで解説されているライブラリ)を使ったことのある人しか意味がわからないと思うのでご了承ください。 Modern C++ Designでは、型のリスト「TypeList」を可変長に扱うため、TYPELIST_1 〜 TYPELIST_50まで、要素の数に応じたマクロを用いることで対応している。つまり、 #define TYPELIST_1(T1) Typelist<T1, NullType> #define TYPELIST_2(T1, T2) Typelist<T1, TYPELIST_1(T2)> #define TYPELIST_3(T1, T2, T3) Typelist<T1, TYPELIST_2(T2, T3)> // ... #define TYPELIST_50(T1, T
ヒビルテ(2008-09-05)
日々の流転 最近、携帯を変えました。MNPを使わなかったので番号が変わります。新しい番号は前の番号(090〜)から、電卓で1003227378をマイナスしたものです。また、メールアドレスはgmailのものを使っています。 λ. 「型の型」問題 LL Future のスタッフ&発表者の打ち上げ*1で「型の型」についての話が出たらしい。 あろはさんのTwitterの<URL:http://twitter.com/alohakun/statuses/904102768>や、東京行ってきた - 黎明日記とそのコメント欄で、その辺りの話が出ていたので、ちょっと簡単な説明を書いてみる。 HaskellとかCCの場合 まず、Haskellの場合。 Haskellでは型の型は「種(kind)」と呼ばれていて普通の型とはレベルの異なるものになっている。つまり、型の型は普通の型ではない。 種について簡単に説明
はてなブログ | 無料ブログを作成しよう
晴天の価値 2月中旬に出張で千葉へ行った。5日間の滞在中はずっと快晴で、気温は20℃に迫る春のような暖かさだった。仕事は朝から晩まで現場を走り回る過酷なもので、身体的にも精神的にも追い込まれた。毎朝、京葉線から見える美しい景色を眺めて正気を保っていた。太平洋へ燦々と…
The Scala Programming Language
val fruits = List("apple", "banana", "avocado", "papaya") val countsToFruits = // count how many 'a' in each fruit fruits.groupBy(fruit => fruit.count(_ == 'a')) for (count, fruits) <- countsToFruits do println(s"with 'a' × $count = $fruits") // prints: with 'a' × 1 = List(apple) // prints: with 'a' × 2 = List(avocado) // prints: with 'a' × 3 = List(banana, papaya)
不動点オペレータについて
不動点オペレータY 階乗関数は、 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1)))))) のように、再帰的に定義できる。 再帰的定義を行なう場合はdefineやletrecを使うけど、 代わりにletを使うと再帰的定義はできない。 defineやletrecをどうしても使いたくないなら、多少工夫がいる。 例えば、factの引数を増やすという方法がある。 (let ((fact (lambda (self n) (if (= n 0) 1 (* n (self self (- n 1))))))) (fact fact 10)) ⇒ 3628800 (中略) 不動点オペレータYを使うと次のように書ける。 (let* ((Y (lambda (g) ((lambda (s) (g (lambda (x) ((s s) x))
今風の型理論入門（本編） - 檜山正幸のキマイラ飼育記 (はてなBlog)
前ふりは「型→代数→…それから：型理論入門（の前半）」にあります。これは本編（後半）。1回読み切り（長いけど）で、比較的新しい*1型理論を紹介します。「入門（門に入る）」というよりは門の外から中を覗いてみる程度。 説明用コードはJavaの構文を使います。ただし、パッケージ宣言は書かないし、publicはなるべく省略。 内容： インターフェースなんて、所詮こんなもの 心理的効果とか、人間-人間コミュニケーションとかは、別問題 わけわからんインターフェースに制約を付加する もっと制約を足してみる 謎のインターフェースに意図されたもの で、それが型理論にどうつながるの？ インターフェースなんて、所詮こんなもの まず、次のインターフェースを見てください。 interface AB { int a(); void b(); } これスゴイでしょ。何がスゴイって、これを見てもなんのことやらサッパリわか
Muibrog - いまPla もくじ。
//d.hatena.ne.jp/toshi123/20060912#p1" title="引用元：Muibrog">いまPla その1:基本的なyamlの書き方、Filter::EntryFullTextの使い方についてです。 //d.hatena.ne.jp/toshi123/20060913#p1" title="引用元：Muibrog">いまPla その2:CustomFeed::Configの使い方についてです。これで個人ニュースサイトもばっちり？ //d.hatena.ne.jp/toshi123/20060914#p1" title="引用元：Muibrog">いまPla その3:同じサイトから2パターンの以上の領域を抽出したいときにはどうするか。こんどこそばっちり？ //d.hatena.ne.jp/toshi123/20060915#p1" title="引用元：Muib
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Archives of the Caml mailing list > Message from Jacques Garrigue
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20090707
A full implementation of Session Types in Haskell Keigo Imai Shoji Yuen Kiyoshi Agusa Graduate School of Information Science, Nagoya University imai@nagoya-u.jp, yuen@is.nagoya-u.ac.jp, agusa@is.nagoya-u.ac.jp Abstract We propose a full implementation of
http://atnd.org/events/451
Type-Checking Zero Knowledge | Lambda the Ultimate
ソースリーディング - Twisted Mind
http://c2.com/cgi/wiki?HindleyMilnerTypeInference
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20040511