メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。記事]2006-02-01から1ヶ月間の記事一覧2006-02-24プログラマのための「ゲーデルの不完全性定理」(4):「展望」への緊急パッチ(オハナシだよ)雑記/備忘yoriyukiさんとの一連のやりとりで、「プログラマのための『ゲーデルの不完全性定理』」シリーズ第2回「速攻速習編」の「ゲーデルの不完全性定理への(ほんの少し)展望」に問題があると判明しました。その問題とは主に次の2点です。あまりにも説明をはしょ...2006-02-23なんだかスゴイような、変なような“教育”日常sumiiさん、一日に何度も話題にしてナンなんですが、このエントリーのタイトル「不完全性教育」の「性教育」部分に下線(キーワード・リンク)引かれてます。見ても不完全・性教育です。日本の現状においては、どの性教育も不完全のような気もします。前のエントリーの続きのようなもの。世の中には、無限に走行してサービスを提供し続けるタイプのプログラムがありますよね(リアクティブシステムとか呼ぶらしい)。雑記/備忘yoriyukiさんからトラックバックを再びいただきました。細部はともかく、おおすじにおいて誤解は解けたようです。これで、内容的に意義のある議論、検討もできそうで、少しウキウキした気分になっています*1。トラックバックはここらへんまででしょう。書いたのですが、実際、それ以降はトラックバックがありません。見つけてしまいましたよ。報告と宣伝と謝辞です。僕がふだん一緒に仕事している(つうか、一緒に遊んでいるのかな?)若者二人と共に、Ajaxの特集30ページを書きました。今月の末には書店に並ぶでしょうから、よろしかったら見てやってください。:「デタラメだ」と言われたので...雑記/備忘このyoriyukiさんのエントリーに反応しておきます。「なるほど、僕に落ち度があった」と思う点を先に書きます。前ふりは「型→代数→...それから:型理論入門(の前半)」にあります。1回読み切り(長いけど)で、比較的新しい*1型理論を紹介します。「入門(門に入る)」というよりは門の外から中を覗いてみる程度。説明用コードはJavaの構文を使いま...2006-02-18美容院がいっぱい日常あいついでの新規開店で、家から数十メートルの距離に美容院が2軒。僕は電車に乗って美容院に行く。[追記]どうでもいいけど、このタイトルは「美容院が混んでいる」と取られるな、「近所に美容院がたくさんある」って意味だけど。「念願のネタで原稿を依頼された(が、...)」のごとき事情で、ウーンとか、考え込んでいます。なんか書き散らしているうちに焦点が定まるかも、という目論見。(日記の文面を原稿に流用するようなことはしません(できません)けどね。昨日への追記だけど、新しいエントリーで書きます。掛け算九九は暗記だといいましたけど、ウチの子、記憶違いしていたことがあります。ニジュウニ」と、そんな感じの間違いです。雑記/備忘もう20年以上、細々と、しかしほぼ途切れずに、雑誌に駄文を書いてきました。「日常」か「雑記/備忘」か微妙な話題。子供達とはよく遊ぶのだけど、お勉強は何も気にしてませんでした。ところがどうやら、ウチの子はデキが悪い。掛け算九九は暗記しています。機械的に反応できます。「8×12」とか...2006-02-14人間はやっぱり本能が壊れているのか日常ウチの次男は、この寒いのに布団から飛び出して寝ている。言い聞かせてもダメ、布団をかぶせても蹴り上げるかモゴモゴ移動するか。それで案の定、風邪をひく。これはおかしいのではないか。雑記/備忘またトラックバックが集まったので、自分でまとめておきます。コメントがたくさん付いてます。コメントのほうが面白いよ。らくがきえんじんsyd_sydさんの...2006-02-13イ・ソジン日常イ・ソジンという韓国の(韓流)俳優がいますよね。多値関数の話をもう少し続けます。最初に、ここで言っている「多値」の意味を限定して、それから3つほど問題を提示します。ひとこと書いただけで即座にアクセス・アップ。(アンダスコアを除いた語です。s/団子/モナホ/)、モナホとは何か、どんなおいしいものなのか?と考え込んでしまいました。多値関数ネタで、いろいろとコメント/トラックバックいただきました。ありがとうございます。「人気がない」という言い方は語弊があるかなー、とは思ったのですが、どうも世間一般を見渡すと、多値関数の知名度・普及度が高いとは思えないし、「多値...2006-02-09なぜ、多値関数は人気がないのだろう雑記/備忘たいていのプログラミング言語が、「関数」、「メソッド」、「手続き」などと呼ばれる言語構成要素を持っています。ここ最近のエントリー内で僕は、それらをひっくるめて(少し低水準な観点から)「サブルーチン」と呼びました。596回この商品を含...2006-02-08ゴルゴ13ニュース日常リイド社ではなくて講談社小学館から、2話で300円とか350円とかの廉価な『ゴルゴ13』コミックスが出ているようですね。コンビニで売ってました。僕が買ったのは300円で、1976年「帝王の罠」と1980年「ゼロの反撃」収録。雑記/備忘トラックバックの波も一段落したので、時間順にまとめておきます。僕が書いている「プログラマのための***」シリーズを読むさいの前提を確認する意味が強かった。URLだけど、参照先を見る気にはならないなー。(電波文好き、とはいっても、ものには限度がある。言ったのですが、“so-called逃避行動”で、クダンのURLを見てしまったよ。吸われて、燃えて、捨てられる。タバコじゃなければ激怒する!タバコの投げ捨てはいけません、ということなんでしょうが、なんか深夜帯スポットCMみたいな妖しい香りがただようこの標語...。「ポピュラーサイエンス」2006年2月号、ホリエモンこと堀江貴文氏が表紙を飾っています。「まー、ホリエモンは話題の人だからさもありなん」と思うかもしれませんが、いやいや、違うんですよ。nak2k>ここらへん理解した上で色々と議論をしてみたいのですけど、これは理解できないでしょうよ。このページだけのスポット読みで、前後や関連部分は一切見てないからアレだけど、これは*電波文にしかみえない*けど。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。