2004-07-20
λ. 公共選択論テスト
過去問を見て半ば諦めていたのだけど、思ったよりは簡単だった。単位は多分くる……といいなぁ。
λ. システムソフトウェア
A4一枚だけ持ち込み可だったのだけど、持ち込んだ紙は結局一回も参照しなかった。この授業はAが取れないと意味がないんだが、はたしてどうなるやら。
λ. 買った本
- 『嘘つきは妹にしておく』
- 清水 マリコ [著], toi8 [イラスト]
- 『Rubyレシピブック 268の技』
- 青木 峰郎, 後藤 裕蔵, 高橋 征義 [著], まつもと ゆきひろ [監修]
- サポートページ
- 『西遊奇伝大猿王 (1)』
- 寺田 克也 [著]
- 『冷たい密室と博士たち』
- 浅田 寅ヲ [画], 森 博嗣 [原作]
- コミックマーケット66 カタログ
- -
λ. AKSアルゴリズム
先日、素数リストを書いたついでに "PRIMES is in P"のアルゴリズムを Haskell で素朴に書いてみた(PrimesIsInP.hs)ら、死ぬほど遅かった。「多項式の乗算にFFTを使えば」とかいう以前の遅さだ。やっぱ、向いてないのかなぁ。
ためしに STUArray を使うように書き換えてみた(PrimesIsInP_2.hs)。ちょっとは速くなったかな。
2006-07-20
λ. The Knaster-Tarski Theorem, Veronika Vaneková
タルスキの不動点定理の短くて分かり易い解説。
「A set operator is finitary iff it is chain-continuous」という部分が分からなかった。
(追記) finitary と set-continuity
set operator のこの finitary(有限特性) という性質の定義は class operator の set-continuous という性質の定義に似ている。
- set oprator τ: 2X → 2X が finitary なのは、τ(A) = ∪{τ(B) | B⊆A, B finite} を満たすとき。
- class operator τ が set-continuous なのは、τ(A) = ∪{τ(B) | B⊆A, B set} を満たすとき。
(追記) 最大不動点と余帰納的定義
ちなみに、このテキストでは帰納的な定義と最小不動点しか扱っていないが、双対を考えることにより、余帰納的な定義と最大不動点について同様のことが言える。Uを完備束、τ: U→U を単調な関数として、
- Ind(τ) = lfp(τ) = inf {A | A∈U, τ(A)≦A} = sup {τi(⊥) | i∈Ord}
- Coind(τ) = gfp(τ) = sup {A | A∈U, A≦τ(A)} = inf {τi(T) | i∈Ord}
ψ かがみ [こんにちは。 2^X 上の包含関係では union が sup になることと、集合族の union はおのおのの有限..]
ψ さかい [どうも、こんにちは。 少し考えたのですが、このテキストが何かしら間違っている気がします。 ここではchainの条件..]
ψ かがみ [昼間はいいかげんなこと書いてしまいしいた。申し訳けございませんでした。超限帰納法が必要だったようです。証明は ht..]
ψ さかい [おお、ありがとうございます。 (3)の ∪_{Y∈C} F(Y) = F(∪_{Y∈C} Y) は chain C..]
ψ kimko [林晋著『ゲーデルの謎を解く』(岩波書店）の最後の方に出てくる「タルスキ不動点」が載っているタルスキの著書をお教え下さ..]
ψ たけを [＞「タルスキ不動点」が載っているタルスキの著書 私は現物を読んでませんが、これでは？ Tarski, A. "A L..]
ψ kimko [この機会に、林晋『ゲーデルの謎を解く』（岩波書店）中の、タルスキ不動点、フラクタル、カオス関連の疑問を全て（１．から..]
ψ kimko [前回と全く無関係な事を書きますが、皆さん、超限順序数も超限基数もありません。市川秀志著『カントールの対角線論法』、『..]
ψ kimko [どなたか transfinites を前提としないタルスキ不動点定理の証明をご紹介下さい。このウェブ･サイトに載って..]
ψ さかい [なぜ、「この機会に」にと思ったのか知りませんが、たけをさんも私も林先生のその本は読んでいないし、これらのことの専門家..]
ψ kimko [お答え頂き本当に有難う御座います。 林晋先生は「忙しいのでお教えしません。もう私に連絡しないで下さい。」としかお答え..]
ψ kimko [１月２１日のコメントへの付言: 対角線論法の否定 その一． ０→０．１→０．２→･･･→０．９→０．０１→ ０．０２..]
ψ さかい [kimkoさん。自説を敷衍したいのであれば、この日記のコメント欄などではなく、ご自分のWebサイトなどで行われてはい..]
ψ kimko [申し訳御座いません。 この「日記」の一番上のＴｈｅ Ｋｎａｓｔｅｒ−Ｔａｒｓｋｉ Ｔｈｅｏｒｅｍをクリックすると、最..]
ψ kimko [皆さんのご議論を理解出来る様になるには、どんな基礎文献を読めば宜しいのでしょうか。]
ψ 通りすがり [>ラムダ計算と対角線論法の関係については、 >たとえば「自己言及の論理と計算」 http://www.kurims...]
ψ 通りすがり [余談ですが、市川秀志氏はYahoo掲示板ではトンデモな人として知られてます。野矢茂樹の「無限論の教室」のあとがきに出..]
ψ さかい [通りすがりさん、ありがとうございます。 Soto-AndradeとVarelaの論文は「『自己言及の論理と計算』他..]
ψ kimko [私は市川秀志氏の「シンパ」などではありません。 市川秀志氏の、「対角線論法は非命題である。」とか、「ZFCは非命題を..]
ψ kimko379 [さかい様、お手数ですが、もう一度だけ、お願い致しまして宜しゅう御座いますでしょうか。kimko を kimko379..]
2007-07-20
λ. ICFP Programming Contest 2007
<URL:http://save-endo.cs.uu.nl/>
今年の問題もストーリーが面白い。
しかし、Endoって名前はwwww*1 kuma--の中の人がモーフィングしている様を想像してしまって、たけをさんと二人で爆笑。
続き
- ICFP Programming Contest 2007 (2) - ヒビルテ (2007-07-21)
- ICFP Programming Contest 2007 (3) - ヒビルテ (2007-07-22)
- ICFP Programming Contest 2007 (4) - ヒビルテ (2007-07-23)
関連エントリ
- “Ropes: an Alternative to Strings” by Hans-J. Boehm, Russ Atkinson and Michael Plass - ヒビルテ (2007-07-25)
- 文字列検索の性能 - ヒビルテ (2007-08-07)
*1 もちろん、実際はendomorphismとかのendo-なんでしょうけど
![[大根そば]](./images/20070720_0.jpg)
2009-07-20
λ. Real World Haskell読書会 2009-07
今回は5章「ライブラリを書こう：JSONデータの操作」で、昔書いたコードを思い出してちょっと懐かしい。 手抜き実装になってるんじゃないかと思ったら、エスケープする際にちゃんとサロゲートペアにしてからエスケープしていたりして、ちょっと関心。 あと、後半は簡単なプリティプリンタのライブラリを実装しているのだけど、プリティプリンタの仕組みはよく知らなかったので、面白かった。
λ. Unicodeでの繁体字と簡体字
RWH読書会の二次会で、「Unicodeは意味が同じ繁体字と簡体字を統合してるから、中国と台湾では相手のメールとかをそのまま自分たちの文字で読める」というような話を聞いた。
そういう話は初耳だったので驚いたのだけど、「中国語版ウィキペディアでは自前で変換してる」という話を知っていたので、それはおかしいのではと思った。 また、Simplified Chinese characters - Wikipedia, the free encyclopedia にも以下のようにあった。そうだよなぁ。
Unicode deals with the issue of simplified and traditional characters as part of the project of Han unification by including code points for each. This was rendered necessary by the fact that the linkage between simplified characters and traditional characters is not one-to-one. While this means that a Unicode system can display both simplified and traditional characters, it also means that different localization files are needed for each type.
