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

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

2008-02-23から1日間の記事一覧

息が苦しい感じ

考えるのは、マスクもシュノーケルもなしの潜水と似ている。

プログラミング言語の定式化

形式言語系の定義 - 檜山正幸のキマイラ飼育記 メモ編 これを詳細かつ具合的に!

時間、同期、直積

2つの状態空間S, T上を走る2つの軌道があるとき、それを直積S×T上の単一の軌道だとみなすには、2つの軌道を描くプロセッサの時間が同期してないといけない。これは、2つの時間区間をI, Jとすると、IとJの同型が前もって指定されているか、I→T, J→Tという2つ…

Fock空間構成のヒント

次のようなことを考えていた:J = {xは実数 | 0≦x≦1} 、Jは長さ1で両端を含む線分。 eJ = Δ0 + Δ1 + Δ2 + Δ3 + … ここで、Δ0は1点、Δ1は線分(Jと同じ)、Δ2は三角形、Δ3は四面体。その後に続くΔ4、Δ5などは高次元の単体。このこと自体は、別にオモシロ・ク…