有働アナはよく泣く。 google:有働アナ 泣 おちゃめな新人の頃からファンだが、今ではすっかり大物。退社しなければNHK幹部だろうな。[追記]今だと水卜アナが人気だけど、昔の有働アナも、美人じゃないけど可愛くて、度胸がすわっていて頭が切れて、しかしど…

さんざん悪口を言ってきたが： Dear Member, We're excited to let you know that Dotster will soon be upgrading to a new control panel, which we think you're really going to like. The domain management interface is more modern and intuitive --…

まずは元祖。 イルカ http://www.youtube.com/watch?v=4IT_ZHGsQXw 伊勢正三 http://www.youtube.com/watch?v=CLuQdc7KyNE かぐや姫 http://www.youtube.com/watch?v=JBWYk6hYHws 伊勢正三＆イルカ http://www.youtube.com/watch?v=gPsc4ItkLRE 実力派。 鬼…

例えば、この図のソースは次。 // -*- coding: utf-8 -*- // sequent[ gv:node --shapa=point --style=invis sin1, gv:node --shape=point --style=invis sin2, gv:node --shape=point --style=invis sin3, gv:node --label="> *" --shape=diamond --style=f…

クリスマスで連休で、その後は正月で、ってなわけで、こういうときは、普通どおりに仕事するのもナンだし、最近は子供と遊ぶことも少ないしで、なんだかボーッとしている。すると、ボーッとしたことを思いつく。はたして意味があることかどうかわからないが…

「DotsterのUIは相変わらずヒドイ」（http://d.hatena.ne.jp/m-hiyama-memo/20100706/1278381395）にも書いたが、今もひどい。もうアソコはやめようなか。とりあえず記録に貼っておこう。 Domain Message CHIMAIRA.ORG Item processed successfully. DAPHNIA…

えっ、ピーター・フレイド（Peter J. Freyd ）って、娘さんに性的虐待で訴えられた？ どうも、娘さんのジェニファー・フレイドの（Jennifer J. Freyd）ほうが有名人みたいだ。

おすすめ商品の1ページに出てきたのがコレ。ウーム、けっこう正確だなー。 これらのおすすめ商品は、既にお持ちの商品などに基づいています。 Conceptual Mathematics: A First Introduction to Categories F. William Lawvere (2009/7/30) Purely Functiona…

Non-Additive Geometry（http://matrix.cmi.ua.ac.be/fun/library/ShaiHaran2007.pdf 71ページ）のシャイ・ハラン（Shai Haran）、興味を惹かれて調べた。 http://www.math.technion.ac.il/Site/people/process.php?id=695 イスラエルの人だな。ここにプロフ…

F1-幾何の定式化のひとつに、ハラン（Haran）の非加法幾何（non-additive geometry）てのがあるらしい。紹介を読んだだけだが、離散有限的な状況、コンピュータの話とかにはこれは使いやすそう。トゥエン／ヴェキ（Toen-Vaquie）のモノイド圏構成と関手圏を…

F1に関連して、アルベルト・ヴェッザニ（Alberto Vezzani）という人が、デイトマー（Deitmar）とトゥエン／ヴェキ（Toen-Vaquie）のスキーム論を比較して解説している。チラリと眺めた。 http://arxiv.org/abs/1005.0287 これらの人々はみんな若いのだと思う…

いつも画像はリンク切れだし、、、アンカーと説明文がまったく区別つかない。マウスポインタを動かしてアンカーをさがす。宝探しか？わざとらしいボタンとかは下品に見えると思っているのか？それにしてもお上品すぎて、情報不足。タブもまったくタブに見え…

入力 表示 \ \ ＼ ＼

JSONスキーマ関係 http://tools.ietf.org/html/draft-zyp-json-schema-01 http://json-schema.org/draft-hyperschema.txt http://www.sitepen.com/blog/2009/09/02/json-namespacing/ これはブログ http://json-schema.org/hyper-schema http://json-schema.…

GUIの操作指示を文章で書くのはバカみたいだなー。しょうがない： [ツール]メニュー - [オプション]項目 - [詳細]タブ - [証明書を表示]ボタン - [証明書マネージャ]ダイアログ - [サーバー証明書]タブ [例外を追加]ボタン でURLを追加 選択して[削除]ボタン…

ドメインの移管手順 -- 簡単すぎてワケワカラン - 檜山正幸のキマイラ飼育記 メモ編 の件。次のメールがきた。 Domain Transfer Initiated - Thank You! 差出人: info@dotster.jp 宛先: 檜山＠ほっとけThanks for taking the first steps to transfer your d…

@echo off rem This is ssh.bat setlocalif "%HOME"=="" goto ConstructHome set _HOME=%HOME% goto SetKey:ConstructHome set _HOME=%HOMEDRIVE%%HOMEPATH% goto SetKey:SetKey if NOT "%SSH_KEY%"=="" goto UseSSH_KEY set _KEY=%1 shift goto CheckArg:Us…

リンククラブの解約手続きをしたら、AuthInfo（認証コード）とレジストリキーというものがメールで来た。 で、Dotsterにログインする。 My Domains を選ぶ。 Other Domain Tools から Transfer Domains を選ぶ。 ドメイン名を入れる：chimaira.org 会計処理…

かつて、次のURLsで書いた短い記事群をまとめてみた。文章はそのまま。 HoareRules 記述構文 - 檜山正幸のキマイラ飼育記 (はてなBlog) HoareRulesのラベル - 檜山正幸のキマイラ飼育記 (はてなBlog) HoareRulesの関数構文、その意味的区別 - 檜山正幸のキマ…

かつて、次のURLsで書いた短い記事群をまとめてみた。文章はそのまま。 もっと仕様の話(1)：かたいことばっかり言ってると… - 檜山正幸のキマイラ飼育記 (はてなBlog) もっと仕様の話(2)：インクリメント仕様をどう書くの - 檜山正幸のキマイラ飼育記 (はて…

かつて、次のURLsで書いた短い記事群をまとめてみた。文章はそのまま。 論理（学）と仕様 - 檜山正幸のキマイラ飼育記 (はてなBlog) 仕様の話(1)：いつもはじまりはホーア式 - 檜山正幸のキマイラ飼育記 (はてなBlog) 仕様の話(2)：呼び出しからメッセージへ…

「Aという性質を持つものに注目し調べましょう」は、「Aという性質を持たないものは意味がない」とか「Aという性質を持たないものを調べる価値がない」とかを含意しない。 Vを固定して、V値関手コボルディズムの圏を作る アロー図で見ると、fとgからf;gを作…

双モノイド法則（双代数法則）は、モノイド積を+、恒等を1で書くと ∇;Δ = (Δ+Δ);(1+X+1);(∇+∇) と書けて一番見た目がきれいだろう。+も省略すると： ∇;Δ = (Δ Δ);(1 X 1);(∇ ∇) 縦書きすると： ∇ Δ ‖Δ Δ 1 X 1 ∇ ∇オオー、素晴らしい。それはそうとして、こ…

R言語を使い始めようと思っているんだけど、、、なかなか、、、、

本編と間違えて書き込んだよ、、、

寒いし雨降っていたので、ふさぎ込んで頭に来ていろいろと考えた。 ブルース・バートレット（Bruce Bartlett）は秀才だ。修士論文も学位論文もよい。 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=Bartlett そのバートレットの学位論文 "On unitar…

バカ、キリ ランベック、スコット カウフマン コック（Kock）

左双対を検索 http://d.hatena.ne.jp/m-hiyama-memo/searchdiary?word=%ba%b8%c1%d0%c2%d0

erl, werlの中断 - 檜山正幸のキマイラ飼育記 メモ編 あ、そうか。^G ってEmacsの中断だな、とか思っていたが、OSシグナルのSIGINTだったのか。シグナルなんてすっかり忘れてるな。^CもSIGINTだったんじゃないの？ [追記]んっ？ SIGINGは^Cだけだったか？ ダ…

これでナニかやったことがある。なつかしいような。が、ナニがなんだったかサッパリ思い出せない。