このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2013-11-01から1ヶ月間の記事一覧

chimaira.orgのネームサーバー情報と新規追加

さくらの「会員メニュー > ドメイン > ドメイン名一覧 」の編集をクリックするとゾーンのデータを確認できる。 エントリ名 タイプ データ @ NS ns1.dns.ne.jp. NS ns2.dns.ne.jp. MX 10 @ A 49.212.35.78 www CNAME @ secure CNAME @ 「会員メニュー > ドメ…

モノイド多圏とモノイド閉多圏

モノイド多圏は次のものから構成される。 単対象:集合Oの要素。 多対象:Oの列であるO*の要素。空列はεとして、A∈A に対する[A](長さ1の列)はしばしばAと同一視する。 多射:α、βが多対象であるとき、集合 P(α, β) の要素。 モノイド積:多対象α、βの連接…

構文解析

なにはともあれ構文木構造が基本、これを想定しないとはじまらない。 構文解析に都合がいいように構文を決める → ポーランド記法、逆ポーランド記法 人が手書きするには再帰降下法が一番楽。 先読みと戻し(pushback, unput)できるバッファはあったほうがい…

クリーネスター関係のノートのスキャン画像 1

スキャンした画像の後に注釈メモを付ける。メモは後で足す。2013-11-18は、とりあえず画像のみ。

会話の論理

https://twitter.com/wwww_bot/status/401501452381597698 インターネット上で「豆腐は白い」って書くと、「白くない豆腐もあります」「白い豆腐が食べられない人もいるんですよ!」「私の豆腐は白くありませんが」「厳密にいうと薄いベージュです」「豆腐は…

証明の図示

Mx

証明はmovieまたはanimationのことであって、スナップショット/スチル写真では証明の全体を記述できない。movieまたはanimationであるとは、(離散的)時間が流れることであって、時間の流れを完全に空間的・静的な絵図に表すことは難しい。スチルの連続と…

今日と明日

土曜は午後2時。今日は何時でもいい。郵便局のあたりか。

アンミラ

アンミラ(アンナミラーズ)はどうしたのだろうか? わが青春のアンナミラーズ -- ってほどのこともないが。子供が小さい頃(6,7年前か)、自由が丘のABCマートに靴を買いに行っていたんだが、自由が丘ABCマートの近くにアンナミラーズがあった。その後なく…

プログラミング言語では制御とデータ構造が大事

現在は、整数値だけをデータとしているが、これでは足りないのは明らか。では、どうしたら、ふだん使っているようなデータ構造を実現できるのだろうか?これがかんがえるべきこと。以下、前回のコピー: 「くくる/囲む/名付ける」をサポートすれば図示は有…

予定

土曜の午後3時に恵比寿。

(ミス投稿)丸山善宏さんの「圏論的双対性の理論入門」と understanding conferrability

投稿先を間違った。 http://d.hatena.ne.jp/m-hiyama/20131108/1383883797

制御フローと基本的技法

制御フローは3種しかない。(難しい並列の話をしても4種。) 言葉/言い方は色々あるが、then, or, repeat くくる、囲む 名付けること 付けた名前で呼ぶこと ソフトウェアの歴史で最大の発明 コピーとシェア、シェア=リユース インライン展開とアンローリン…

MongoDBのWindowsサービス化

管理者言言で実行しないと失敗するので注意! c:\Installed\mongodb-win32-x86_64-2008plus-2.2.3\bin>mongod --install --logpath=..\mongo.log all output going to: ..\mongo.log c:\Installed\mongodb-win32-x86_64-2008plus-2.2.3\bin>net start MongoD…