前の記事のコメント欄で shinh さんから私の投稿した Brainfuck の Quine が実は世界記録ではないかという指摘があったので一応メモ． 負数のメモリ番地は反則らしいので，投稿した 392B （改行除く，以下同様）ではなく shinh さんの書き直した 404B が最短となる． 以下に簡単な解説を示すが，以前までの記録であった（と思われる）410B のものも全く同じ構造をしている． Brainfuck での Quine は，大まかに 3 つのパート A, B, C に分けられる． 具体的には，(A)「B+C」を表現するデータ列を生成， (B) A のデータ列から「A」自身を表現するデータ列への変換（同時に元のデータ列も複製）， (C) 作られたデータ列の出力処理（つまり「A+B+C」が出力される），という構成になっている． 最初に投稿した 587B のものでは，B の部分で，

ネガティブコメントやネットイナゴがはてブで問題にされているようですが *1。この話題は今まで何度も何度も繰り広げられては忘れ去られていった話題なわけです。新しいユーザーの皆さんなら「そんなの知らないよ」というのが当然でしょうが、はてなスタッフが何をいまさら言っておるのだ、というのが正直な感想です。 自分のブクマをちょっとあさっただけで、はてブやはてブコメントをめぐる議論というのはわさわさ掘り返せます。まずはこういった議論をまとめなおしてみるくらいはしてもいいんじゃないでしょうか。そもそも「ブックマーク」っていうのは過去に重要だと思われたものを保存しておくのが主目的だったのでしょうから、そのために使わなくて何のブックマークなんだという気もします*2。それに、今は「このエントリーを含むほかのエントリー」という仕組みがブクマエントリページにあるのですから、関連した話題は芋づる式に引き出していける

mixiにあるコミュニティがある。 ヲタの集まるそのコミュニティの規模は比較的大きく、参加者は約37000。 そこにあるトピック（２ちゃんねるで言うところのスレ）が立った。 無断転載万歳を地で行こうとしたもの。 次々に画像が貼られていく。 放映された画像からキャプチャしたもの。 絵師がサイトで公開したもの。 しかも２ちゃんねると違い、mixiの画像投稿機能を利用した直接掲載。 明らかな無法地帯と化しつつあった。 そんな中、数名の人間が声を上げる。 「TVキャプとかはマズい、版権元がOK出してる画像だけにしとけ」 「絵師の画像は掲載元へのリンクにしたほうがいい」 「二次創作作品にも著作権はあるし、版権元に許可を取って掲載してるものを転載するなんて」 それに対する返答は予想通り。 「また著作権か」 「人が楽しんでるところにごちゃごちゃと」 「ここで正当な事を言うのなら他のコミュでも言ってよ、じ

id:k_wed様よりコメントあり、一度隠れコメントで書いてみます。とそして私も返事をブログ上の隠れコメント欄で書き込みました。 すると何処へ行ったか分からない、何処へ行ったの、?さんに聞きましょうとお互い書きあって・・・一晩暮れてみたら、 なんということ！ メールに来ています！。 自分のとk_wedさんのと。 これを知った以上、書き込みましょうと日頃愛読しているブログに書き込みました。 もっと早く知りたかったよ。 誰も教えてくれなかった。 ホントにこれはヒットです。

OCaml では，let rec を使わずに再帰関数を模倣することができる． 但し「for ループを使えばできる」とかそういう話ではない． 例えば，階乗を計算する関数 fact は，通常 let rec を用いて， let rec fact n = if n > 0 then n * fact (n-1) else 1 と再帰的に定義されるが，次のように let rec を使わなくても定義できる．let turing (`M x) y = y (fun z -> x (`M x) y z) let fact = turing (`M turing) (fun f n -> if n > 0 then n * f (n-1) else 1) ちょっと読み難いが，実際に fact 10 と実行してみれば， 3628800 と正しい出力が得られることが確認できるだろう． このカラクリを支えている

2006年04月20日03:51 カテゴリLightweight Languages Y combinator is forbidden in Haskell!? Haskell流に自分の足を撃つ方法が、Y-combinatorの定義だったなんて! Haskellでは、実にElegantにLambda Calculusを実装できます。これをご覧になれば少しうっとりできるでしょう。 -- church numerals ch_0 = \f x -> x ch_1 = \f x -> f x ch_2 = ch_succ ch_1 ch_3 = ch_succ ch_2 ch_4 = ch_succ ch_3 ch_5 = ch_succ ch_4 ch_6 = ch_succ ch_5 ch_7 = ch_succ ch_6 ch_8 = ch_succ ch_7 ch_9 = ch_suc

ついかっとなって包丁を振り上げた後、振り下ろすまでに何か去来するものがあるはずだから、全く無いとは言えないどころかそれなりにあると思う。ないなら、ルールが足りない。 行為そのものの意味づけとか、結果が客観性をもちづらいがネットでの匿名論が極論になりがちな要因だと思うんだけど、これについてはやはり現実を持ち込むことよりも、事例の積み上げによる社会的コンセンサスの形成を待つ(場合は事例の量が無いため時期尚早)か、権力者による一方的なデザイン(を行うには世界が流動的すぎる)が必要だと思われます。

いちおう確認しておきますと、「はてなメッセージ」はメールのような個人対個人のメッセージ送信機能ではなくて、どっちかっつーとクローズドな掲示板的なものですよね？　つまり、俺とAさんとBさんが互いにはてなスターによってFriend状態にあるとき、Aさんが俺に送ってきたメッセージはBさんも読むことが出来る、というような。合ってますかこれで？　それともいつのまにかメールみたいなものに仕様が変わってたりします？　「メッセージ」という名称のイメージから、ほかの人には読まれないものだと勘違いして、内密な話をしてしまってまわりにバレバレになってる人とかいたりするんじゃないかと思って気が気じゃない。 追記1 今のところ受信専用ではてなスターのコメントが対応．複垢で検証してみましたがAさんのコメントはBさんには読めません．たとえ3人がFriendsでも．だからメッセージなのだと． http://b.haten

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

はてなスターのコメントウィンドウで、Firefoxブラウザをご利用の際に、発言の先頭のアイコンが誰なのか分からない状態になっていましたが、先ほどマウスをかざすとユーザー名が表示されるように変更を行いました。 はてなアイデア はてなアイデアにてご指摘を頂いていました皆様、有難うございました。

「ヨーシ次！ - 日記を書く理由とか」を読んで。 当初この日記を書き始めた時は、何かとにかく書きたくて書きたくて仕方無かったんだけど、多分その書きたいの本当のところは、日記上におけるなんらかのコミュニケーションを意識してたんだと思う。けど実際んところ、書き始めてみると、そういう欲求の発露を日記に向けたところで、なんちゃ現実はかわらんし、まぁ変わるどころか悪化の一途を辿っている気がするし（笑）あと日記に書きたい事ってのが昔と違ってあまり自然に生まれて来ないんだな。 他人にも言った事がある。注目されたくないのなら誰の記事を読んで書いたのかも分からないように書けばいいと。誰かの書いた物を取り上げて書けば、少なくとも取り上げた相手は書いた者を注目するだろう。そして、もしその相手がアルファブロガーと言われるような者だったとしたら、更に注目されてしまうわけだ。そのせいで、他人を意識してしまうあまりに本

はてな退会した