メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。昨日のパズルに既に回答が寄せられていますが、ネタ元論文はまだ伏せておきます(そのうちバラしますけどね*1)。([追記]ネタばらしはコチラ。[/追記])で、その某論文なんですが、題名や著者からして、僕には1ページたりとも読めそうにないシロモノだろう...2010-06-29掛け算から足し算を作る(パズルとしてやってみよう)雑記/備忘とある論文に、パズルのネタになりそうな計算の話があったので紹介します。予備知識は特に要りませんが、けっこう難しい。小学校で最初に習う計算は足し算です。して掛け算を習います。いうクエリー文字列の付いたURLを嫌って、次のようなURLに変換するのはいくらなんでもバカバカし過ぎるだろう、という話をしました。子供と話していて、「お風呂をいただく」という言葉を使ったら、「お風呂は食べ物じゃないから、それ変だよ」と言われた。まー、地域や年代によるんだろう。Coecke)が、去年の夏...2010-06-25void型とunit型とoneway呼び出し雑記/備忘void型とunit型に関して、だいぶ前に話題にしたことがあります。void型は、直感的には「値がない」ことを示します。イタリアの監督(リッピさん)と日本の監督(岡ちゃん)のインタビュー映像を見て、それぞれの母国でこれからどういう報道がなされるかを想像すると、「結果がすべて」だと思えてしまう。「XMLからJSONへの変換をどうすべかねぇ」のコメント欄にて、amanoさんより、GoogleがGDataで採用しているXML-to-JSON変換を教えていただきました。雑記/備忘2-圏(厳密な2-圏、強2-圏)の例としては、たいてい“圏の圏”Catが使われます。確かにCatは面白いし、Catを2-圏として理解することは役に立つとは思います。Catは難しいですよね。長男:「ワールドカップで一番注目されてるのは誰でしょう?」父親:「メッシかな」長男:「もっと注目されている人。"b"の後に来るとは限らないので、上の図のワイヤリングではダメですね。type)を導入しよう、って話です。配列の項目パターンを正規表現で書きたいということですね。正規表現といえば、そりゃまーオートマトンでしょ。JSON雑記/備忘あんれ、また間違えた。これはメモ編(「檜山本人以外の読者を考慮しておりません。」)のほうに投稿したつもりだった。こっちから消してもいいんだけど、なんかのご縁(?)だから、とりあえず残しておいて、後で説明を付け加えようかな。最近「檜山さんて、AKB48とかってご存じですか?」と、長男と同じような質問された。「集合」としては知っているって、集合としてはね。そいうえば、4,5年くらい前に、次のようなことがあって、少しムッとした、なぜか思い出した。雑記/備忘タイトルに「正規表現とオートマトン:」が付いた記事は、いちおう続きものになる予定です。長男:「おとうさん、マーキュリアル知っている?」父親:「んー、仕事で使っている」長男:「えーっ、おとうさんマーキュリアル使っているの?」父親:「って、君の言っているマーキュリアルとは違うと思うぞ。ゴミ箱をあさるようにtmpの下を覗く事態になるのですが、tmpが3箇所もあるのは厄介です。tmpの実体が1箇所になればスッキリ。リアルにゴミ箱あさってしまったよ。今僕は、明瞭正規表現なる正規表現のサブセットについて考えています。明瞭正規表現とは何であって、なぜそんなものが必要になるのかを説明します。オートマトン」において、正規表現とオートマトンの理屈は説明しました。適当な正規表現に対応するオートマトンを作ってみましょう。「不純」は僕のスローガンですね。近代的(モダン)なプログラミングやソフトウェア工学では、排除、あるいは忌避されている概念や手法を積極的に取り上げようということです。正規表現と構文図について解説します。オートマトンについても詳しく述べます。これをきっかけに、はいだの絵に注目が集まり、イラスト関連の仕事をこなすようになった。[...]また、はいだは、ゲーム内のアバターの衣装デザインなども手がけている。僕はねんじゅうスターバックスに行っているので、カフェで語学のレッスンって光景はよく見かけます。不埒な目的でレッスンを申し込む輩もいるみたい。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。