メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。記事]2010-10-01から1ヶ月間の記事一覧2010-10-29未定義をちゃんと扱おうと思っている雑記/備忘Catyの話。スキーマの例を挙げます。ageプロパティがないので非妥当になります。ageを省略可能とするなら次の定義です。ように要らないファイルを列挙することが多いですね。これでも消せますが、rmプロセスが毎回起動されるのでうれしくないし、そもそもこのコマンドラ...2010-10-28おじぞうさまでした日常スターバックスでコーヒーを飲んでいたら、小さな女の子の声で、「ママ、おじぞうさま」声のほうに眼を向けると、言ったその女の子もママもクスクス笑っていた。「ごちそうさま」をふざけて言っていたわけね。最近僕(父親)は子供と遊ぶ機会が減って切ない...2010-10-28構文解析木とタグ付きJSON雑記/備忘Catyの主たるデータ構造はXJSONです。XJSONは、JSONにわずかな拡張を加えたものです。データ構造としての拡張はタグが付けられる点だけです。タグ付きデータの例で...2010-10-27Bitbucketのエラーページ日常Bitbucket.orgのエラーページがだいぶましになった。以前はnginxの出したテキストのメッセージをそのまま表示するだけだったからな。今でも、オウム真理教・菊地直子の指名手配ポスターが地下鉄に貼ってあったりします。次男に事情を説明したわけです。トレースについて今は説明しませんが、次のような公理で特徴付けられます。1.0.0)をまたコソッと公開します。リリース番号の管理がいいかげんで、実はこれが9回目のリリースですが、前回はリリース7とか書いてしまいました。雑記/備忘twitter上で忘却関手の話が出てたのでコッチで反応します。バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。必要があって、今日の午前中スターバックスで絵算。長谷川真人(はせがわ・まさひと)さん等による定理を確認しただけですが、なんか疲れましたねー。なんに必要か?とか背景とかは全部割愛。以下に予備知識あるいは関連するエントリー。日常twitterの画像がずっと卵(デフォルト)なんだけど、顔の絵に差し替えようかと。長男がナプキンペーパーに描いた落書きでもいいかと思ったのだけど:次男に描いてもらうとコレ(下)だった。ついでに、@hiyama_on_caty向けの絵。いう記事を拝見しました。コレ、使ってみようかな、と。次男:「水星って寒いの?」長男:「寒くないよ。暑いよ、すごく暑いよ」次男:「でも、もうすぐ冬でしょ」2010-10-18写真の撮り方により印象が変わるアイドル日常さんざん話題にされてましたが、万が一の消滅を危惧して画面スナップショットを取りました。新垣結衣さんは、こんな感じの女の子らしいです。来年2011年の新垣結衣さんのカレンダーの表紙では、印象が変わっています。リー群とかリー代数とかファインマンダイアグラム(?)を絵算をヘビーに使ってやってる本。分量的にも読める気がしない。「ディレクトリを再帰的にコピーするには」において、2つのディレクトリーの内容をだいたい一致させる方法を示しました。この方法は単なるコピーで、完全な同期を取るものではありません。moveコマンドの微妙な違い:実例とまとめ」と似たような話。Linux/UnixコマンドとDOS/Windowsのコマンドによる再帰的なコピー。下...2010-10-12Linux/Unixコマンドラインでちょっとした事をするには雑記/備忘まずは事の発端を説明します。/etc/passwdファイルは、ユーザー情報が1行に1ユーザー分ずつ書かれたテキストファイルです。1行はコロンで区切られた7つのフィールドからなります。greeting.txt↑これじゃダメ。アクセスしてリダイレクトされた先のURLは次のようでした。http://www.p-a.jp/。この会社のロゴマークは。前後)の件を解説してみます。Catyのデータ型自動変換のメカニズム次のようなデータ型を考えます。「ホップ代数の絵算」シリーズの第3回(いちおう完結)です。2」の最後に次のように書きました。