これは圏です(はてな使ったら負けだとおもっていた)

きっと何者にもなれないつぎの読者につづく。

Haskell で Twitterクライアント書いてみた

書いた。HOCでTwitterクライアント書いてみた - はてな使ったら負けだと思っている deriving Haskell - haskell参照。ちゃんと動く。

市長市のパラドックス

数学の危機の一端をひらいたものとして、ラッセルのパラドックスは中々有名です。リシャールだとかベリーだとかに比べてちょっとややこしいので*1、色々な喩えで説明されることが多いですが、一番ポピュラーなのは市長市のパラドックスだと思います。これは…

require 'haskell'

Haskeller にして Rubyist のみなさん今晩は!最近は勉強の隙を見付けては rupircdを弄っている日々です。今日はコマンドの処理を IRCServer#recv_message で一括してやっていたのを on_privmsg とか on_notice とかで分業させることでコマンド拡張をし易く…

日本国憲法ジェネレータ

学園祭もおわり、今日は後片付けの後は午前中で下校だったので、久し振りにプログラミングしてみた。http://konn.x0.com/cgi-bin/constitution/index.cgi色々忘れてて、結構時間掛けたわりにはあんまり面白くなかった……。 デフォルトで20条まで生成してくれ…

bool? 実装

TrueClass | FalseClass の親クラスBoolClass(仮)が欲しい! on Ruby - ASIPのRubyistなるままにより。 via jijixi's diary - bool まあ私もBoolClassとかいらない気がするんですが、まあそう言う是非論は措いとくとして、このためだけにClass追加しちゃうの…

はてブとかなんとか

思い掛けず反響があったので(八人もはてブされるなんてC++ for Haskeller以来の快挙!!)、もう少し詳しく書いておこうと思う。ブコメへの返答はちと時間がないので、日曜にでも時間取ってやります。取り急ぎ本論のみ。 分類法の問題 さて、まずは昨日も述べ…

あいぶくその後

やはりダメポイ。何かの操作の拍子にレンボーカーソルが回ったまま五分ぐらい固まったりする。そして久し振りにつかってみたことえりはやっぱり馬鹿。しかも入力中によくレインボーカーソルが回る。今もだましだまし使ってるけど、書きたいこと書き終わった…

はてブとか

http://d.hatena.ne.jp/otsune/20090514/SocialbookmarkIsMicrobloggingを受験勉強と台本書きの合間に読んで考えたこと。otsuneさんの『はてブがミニブログに類するものである』というのは普通に納得できると思う。 permalink もあり idコールもあり、といっ…

あいぶく経過

何か修理できないらしい。と云っても修理不能と云う訳じゃなくて、修理場で症状が再現しなかったからと云うことらしい。 GeniusBar持ってった当座もHD認識されない現象は確認されなくて、係の方が再度初期化して再インストールしようとした時に、ようやく確…

はてなtouchつかてみた

RSSリーダを探していたら検索結果に引っかかったので入れてみた。はてダが簡単に書けてはてブが管理できるのは素晴らしいと思った。唯、入力中に行の端まで行っても折り返してくれない時があるのは残念だなあ。 しかしまあ概ね良好。あとはタグをトークンフ…

iBook 逝去

HDがしにました\(^o^)/ いやあ参ったねこりゃ…… 何処にインストールしろと

確率の問題

サイコロで三千回連続で6がでる確率も、二千九百九十九回6が出て三千回目に1が出る確率も同じ。 もっと云えばどんな順番で目が出ても確率は同じ。でも三千回6が出た時と出鱈目な目が出た時では人の反応は全然違う。 それは三千回6が出る確率とそれ以外の何か…

世界がもし6.02x1023人の村だったら

和算から洋算へ

去年の日本史の夏休みの課題で『近現代の中で何かテーマを一つに絞って紹介する』と云うのがあった。 そこでなるべく自分の好きなものに近付けようと云う思惑で、和算についてのレポートを書いてみた。平安時代の和算のあけぼの から 江戸末期の和算の隆盛、…

Stern-Brocot by Graphviz USING Haskell

書いてみた。予想外に手間取った……。この記事にも書いたけど、GraphvizでTeXの数式を表現する方法ってありませんかね? 一旦出力してから別のを経由しても良いのですが……。dot → eps → TeX に埋め込み → タイプセット とかやってみたけど全然だめでした……orz

Collatz算法の木

なんとなくGraphvizをつかってみたくなって、簡単そうな Collatz 算法 で試してみた。 1 から指定ステップ数まで逆算したグラフを描きます。 require "rubygems" require "graphviz" level = ARGV.shift.to_i g = GraphViz.new("Collatz") def collatz(i) r …

多機能ケータイに対するApple信者の批判の傾向と対策

最近、iPhoneの後を追う様にタッチ機能付き携帯電話だとか、加速度センサー付きだとか、なんだとかかんだとか出ている。これはApple信者としては全てがiPhoneの二番煎じに見え、衆目の批判も省みずに批判をすることが考えられる。本稿では、そうしたApple信…

でまあ

でまあ、(2100)! の桁数について至ってテキトーに考えてみた。

2100とか

はじめてのにき(2008-11-01)とか 2の100乗の桁数 - odz bufferとか 2008-11-01 - きしだのはてなとかで話題に登っている様なので、これに便乗して勝手に書評をして仕舞おうという魂胆。爽快!2 100三話 (アウト・オブ・コース)作者: 根上生也出版社/メーカー:…

Seven Trees

面白そうなんだけどやる時間がない……。Tree Integer Tree7 みたいな感じで間に整数挟む形で出来ないかと思ったんだけどまだ試せず。

あたらしいだいえっと

何か今度はバナナダイエットとか流行ってるらしいけど、バナナ好きの人が苦しんでるらしいので、それを緩和してあげるべく別のダイエット方法を考案してみたよ! じょろん 最近のダイエット手法は、何か一つのモノを沢山おいしく食べて、それでいて痩せるよ…

夏休みの終わりにアクセス数を伸ばすライフハック

税金作文について記事を書く。

rupircdも公開してみた。Ruby用twitterライブラリも公開してみた。

調子にのって、githubに昔つくった色々(約二つ)を公開。マトモに動かないのもあるかも(爆 rupircd 100% Pure Ruby の WEBrick ベースのIRCサーバ。キチンとクライアントが切断されない不具合あり。 Ruby/Twitter RubyからTwitter API を叩く為のライブラリ。…

0.2リリース

早速アップデートしました。ダウンロードはこちらからどうぞ。結果が String だった場合、inspectするかしないかを初期設定で選べる様に。ついでに今流行りの github に見様見真似でソースを公開してみた。 CodeReposとどっちにするか迷ったけど取り敢えず。

Ruby on Quicksilver

紫ログ:Gauche on Quicksilver - livedoor Blog(ブログ)を見て良いなぁと思ったのでRuby版を作ってみた。 http://blog.deadbeaf.org/2008/02/06/quicksilver-plugin-with-rubycocoa-more/を見ていつかなにか作りたいなぁと思っていたので挑戦。多分Leopard…

『やし酒飲み』観てきた

今、帰りの電車でこれを書いてる。 観ていて鳥肌の立つ芝居と云うモノがある。今日観たやし酒飲みは正にそれだった。 良い芝居というのは今までに幾つか観て来た。しかし、これほど迄に力の凄まじい芝居を観たのは久し振りだ。入場して、開演までの間は客寄…

怪盗クイーンに月の砂漠を

読んでる。読みながら気になったこと。ネタバレあり。

なんか急にいろいろ飽きた。

精神科にいった

I am the psychotherapist. Please, describe your problems. Each time you are finished talking, type RET twice. よろしくおねがいします。 Can you elaborate on that? 「宜しく」って云うのは、つまり、良い具合に、って意味で、「おねがいしま す」っ…

bk?

http://twitter.com/alohakun/statuses/769209497 http://shinh.skr.jp/m/?date=20080311#p01bkってなんだろう? brainf*ck?