twitter上で忘却関手の話が出てたのでコッチで反応します。バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性／忠実性を使うとか、自由と忘却の随伴（自由 -| 忘却）に根拠を求めるとかありますが、それで全てかどうか…

必要があって、今日の午前中スターバックスで絵算。長谷川真人（はせがわ・まさひと）さん等による定理を確認しただけですが、なんか疲れましたねー。なんに必要か？とか背景とかは全部割愛。スンマセン。以下に予備知識あるいは関連するエントリー。 ホップ…

twitterの画像がずっと卵（デフォルト）なんだけど、顔の絵に差し替えようかと。長男がナプキンペーパーに描いた落書きでもいいかと思ったのだけど：次男に描いてもらうとコレ（下）だった。ついでに、@hiyama_on_caty向けの絵。これは長男。

誰かさんのツィートから「テキストエリアの入力を普段使っているテキストエディタなどで行なえるFirefox拡張『It's All Text!』」http://veadardiary.blog29.fc2.com/blog-entry-2063.html という記事を拝見しました。コレ、使ってみようかな、と。 アドオン…

次男：「水星って寒いの？」長男：「寒くないよ。暑いよ、すごく暑いよ」次男：「でも、もうすぐ冬でしょ」

さんざん話題にされてましたが、万が一の消滅を危惧して画面スナップショットを取りました。新垣結衣さんは、こんな感じの女の子らしいです。来年2011年の新垣結衣さんのカレンダーの表紙では、印象が変わっています。化粧とか写真の撮り方の影響でしょうか…

id:oto-oto-otoさんのつぶやき：http://twitter.com/#!/oto_oto_oto/status/27348602667 リー群とかリー代数とかファインマンダイアグラム(?)を絵算をヘビーに使ってやってる本。というかPDF。分量的にも読める気がしない。だれか印刷製本して僕にiPadくださ…

「ディレクトリを再帰的にコピーするには」において、2つのディレクトリーの内容をだいたい一致させる方法を示しました。でも、この方法は単なるコピーで、完全な同期を取るものではありません。origin/ の内容を target/ にコピーしたとき、状況は次のよう…

「cp, mvコマンドとcopy, moveコマンドの微妙な違い：実例とまとめ」と似たような話。Linux/UnixコマンドとDOS/Windowsのコマンドによる再帰的なコピー。2つのディレクトリ origin/ と target/ があるとします。origin/ にあるファイルを全て、target/ の下…

まずは事の発端を説明します。/etc/passwdファイルは、ユーザー情報が1行に1ユーザー分ずつ書かれたテキストファイルです。1行はコロンで区切られた7つのフィールドからなります。僕は、最初のフィールドであるユーザー名と、最後（7番目）のフィールドであ…

「echoで連続するファイル出力 （サラトガIT日記）」（http://www.dollpaper.com/info/252.html）という記事を目にしまして： $ echo "hello"; echo "world" > greeting.txt↑これじゃダメ。 $ echo "hello" > greeting.txt; echo "world" >> greeting.txt↑こ…

昨日僕が、クロスカップリング・ロゴのパートナーエージェントのトップページ http://www.p-a.jp/ にアクセスしてリダイレクトされた先のURLは次のようでした。 http://www.p-a.jp/index_top.html?aff_id=%3C?php%20echo%20$aff_id;%20?%3E パーセントエスケ…

パートナーエージェントという結婚情報サービスがあります： http://www.p-a.jp/ 。この会社のロゴマークは 。方向を変えてみると： とか とか。このマークを電車内の広告で見て僕は、「これは可換性の絵だよな、見る方向により余可換性とも取れる」と思いま…

http://twitter.com/hiyama_on_caty でゴニョゴニョ言っていた（http://twitter.com/hiyama_on_caty/status/26596332016 の前後）の件を解説してみます。Catyのデータ型自動変換のメカニズム次のようなデータ型を考えます。 /** ピザの注文のデータ型 */type…

「ホップ代数の絵算」シリーズの第3回（いちおう完結）です。 ホップ代数の絵算 1：準備編 ホップ代数の絵算 2：割り算と逆元 「ホップ代数の絵算 2」の最後に次のように書きました。 もう1回くらい続きます。次はたぶん ∇;S = X;(S×S);∇ を示します。 とい…

twitterは伝達や表現の手段だから、ある種のメディアと言っていいのでしょう。で、メディアとの“相性”というのはヤッパリあるよね。僕はつぶやきメディアとはあんまり相性が良くない。メディアに乗せる文言なら、なるべく筋が通って理解可能な文章にしたい、…

長男はサッカーユニフォームのレプリカを普段着にしている。このレプリカが高い。僕は1000円くらいのTシャツを着ているのに、その10倍以上。シャツ（ジャージ）の本体がある程度の値段なのはまーしょうがないかな、と思う。納得いかないのがマーキング、選手…

わけわからないSNS（を装ったスパム業者）から、「Terence Carrさんはあなたのお友達ですよね？」みたいなメールが来た。Terence Carrさんと僕は、まったく接点がないわけでもない。このブログ内で、"Terence Par"に何度か言及している。 Terence Par Terenc…

「Wiki処理系を作る前に知るべきこと／考えるべきこと」において、WikiCreole構文の問題点を指摘して、「Wikiの要素を分類してみる」では、Wiki構文の厳密な形式的記述の準備を始めた、と言いました。で、まー、Wiki構文の記述や解析が厄介で泥臭くなってし…

次男と道を歩いていて：次男：「あれ、なんて読むの？ ナマ、ナマー」父親：「ナマじゃなくて、キソバ（生蕎麦）だ」しばらくして：次男：「キバナ？」父親：「いや、イケバナ（生花）教室」次男：「イケ？」父親：「セイカっていうときもある」

「Wiki処理系を作る前に知るべきこと／考えるべきこと」にて： 残念ながら、形式的な構文記述には至っていません。世の中にひとつくらいは形式仕様を持つWiki処理系があってもいいんじゃないかと思ったり思わなかったり。 というわけで、遅きに失したけれど…

Wiki構文（Wiki記法のルール）は山にようにイッパイあります。「新たにもう1つ構文を付け加えても別にいいだろう」と考えるか、「これ以上新しい構文を増やしてはいけない」と考えるかは人によるでしょう。僕は、「集約・統合してWiki構文を減らすべきだ」と…

ここで言うストレージには、「メモリ内の単純な変数、リストやハッシュマップのようなコンテナ・データ構造、ファイルシステム、キー・バリュー・ストア、関係データベースなど」、データを蓄えるモノならなんでも含めます。一般的なストレージに対して、書…

「Webサービスを設計するための単純明快な方法」あたりから始まる一連のエントリーで僕は、Webサービス設計の一方法を提示しようと思っています（未完）。参照の便宜に、関連するエントリー群を時間順に並べておきます。 Webサービスを設計するための単純明…

今さっき、こんなことに。 ハンバーガー専門店icratt BURG (@icrattBURGERs)がTwitterであなた(@m_hiyama)のツイートをフォローし始めました。 ハンバーガー専門店icratt BURG @icrattBURGERs 恵比寿 自己紹介 恵比寿にあるハンバーガー専門店です！日本一の…

以前は、休日（特に日曜）は子供と遊んでやっていると思っていた。最近は、遊んでやるもなにも、サッカーの練習か試合、あるいはお友達と遊びに出かけてしまう。二人とも。もう、さびしいよね。おとうさんが子供に遊んでもらっていたわけだな。実は。いま、…

「最近のCaty：型システムとクリーネ代数」の続きです。 今朝、型システム仕様の見落としを発見したりして。この機会に少し形式的にまとめておかないといかんなー、っと。 という次第で、僕の動機は、JSONベースの型システムにおいて見落としや勘違いを起こ…

Catyはなんか潜伏状態です。活発に潜伏(?)しています。MITランセンスの公開部分を整備したり、解説文書を揃えたりする時間と余裕がなかなか取れないのですが、現実的なシステムのベースにCatyを使っています。Catyの技術的な特徴は、型システム、スクリプト…

簡略に記します。内容： 正規表現の構文 正規表現の標準的な意味 正規表現の一般的な意味 正規表現とその意味論の拡張 正規表現の構文いろいろな場面で正規表現はほんとに役に立ちますよね。正規表現の構文や実装には方言がありますが、どんなケースでも、連…

準備が済んだので、絵による計算を試してみましょう。算数の場合、aをbで割ると a÷b = a/b ですが、a/bは、bの逆数1/bをaにかけ算したモノとみなせます。a/b = a×(1/b) ですね。逆数をかけ算する操作を使うと、a×b = 1 を仮定して、(a×b)×(1/b) = 1×(1/b) な…