ドイツ北部ハノーバー（Hanover）で開催されたIT見本市「CeBIT」会場に展示された米マイクロソフト（Microsoft）の家庭用ゲーム機「Xbox 360」（2007年3月17日撮影）(c)AFP/DDP/NIGEL TREBLIN 【11月6日 AFP】父親に米ソフトウエア大手マイクロソフト（Microsoft）の家庭用ゲーム機「Xbox」を取り上げられたことが原因で家出し、行方不明になっていたカナダの少年が、トウモロコシ畑で遺体で発見された。地元警察が5日、明らかにした。 ブランドン・クリスプ（Brandon Crisp）君（15）は前月13日、カナダ・オンタリオ（Ontario）州バリー（Barrie）の自宅から自転車で家出したきり、行方がわからなくなっていた。 警察とボランティア1600人による大規模な捜索活動が展開されたが、パンクした自転車のほか手がかりは見つからず、マイ

先日の日記で、郡司ペギオ-幸夫氏の雑誌記事がデタラメなんではないか、と書いたのですが、5年前の記事で、目を通す事ができる人も少ないと思うので、とりあえず記事の中の一節（第2節）の内容だけ簡単に起こしてみます。一応、引用元を再掲。 郡司ペギオ-幸夫・桑村和孝・高橋達二 (2003) 局所的意味論と現象としての計算（８）　現象論的計算としての意識：その抽象モデル 数理科学　2003年6月号　No.480 元々の記事からして私は内容が取れないのですが、更に私が手間の都合で略してるところもあるので、尚のこと意味が通じないように読めるかもしれません。そのあたりはご容赦を。 ラッセルの逆理は、集合論における内包的定義（属性）と外延的定義（対象要素の列挙）に関する同値性を覆すことで成立する。集合yの定義を、∀x∃y (x ∈ y ⇔ A(x)) で与え、内包A(x) を not x ∈ X で与えれば、

今週は郡司ペギオ-幸夫さん一色になってしまった。これとかこれとか。 それで結局、彼の著書を図書館から借りてしまいました。 原生計算と存在論的観測―生命と時間、そして原生 作者: 郡司ペギオ‐幸夫出版社/メーカー: 東京大学出版会発売日: 2004/07メディア: 単行本購入: 1人 クリック: 6回この商品を含むブログ (14件) を見るで、ここ２晩ほど、この付録についてる圏論の解説を読んでみたのですが、予想外に面白かったのです。つーのは、彼が自分の主張をしやすいように、あまり一般の教科書にはない、結構独特な定義をしていたりするんですね。んで、それに伴って微妙な間違いも発生してたりして、彼の思考（に伴う勘違い）の過程が見て取れるかと。 つーことで、個人的に面白かったところを、少し書き出してみます。 極限（リミット）は真の観測者、観測対象はサブカテゴリー 極限のよくある教科書的定義は、図式か

本編で話題沸騰（? もう終結だけど）の郡司ペギオさん。1999年論文に出ていた左カン拡張や余極限の定義だけど、これは教科書の引き写しだろうから正しいのかと思っていたら、写し間違いがあったみたいだ(苦笑)。これは修正可能だから、“トレーニングとして”書き直しておこう（これだけだよ）。 たぶん写し間違い まず、写し間違いらしいところ（≒は同型のつもり、＝って書いちゃうかもしれないけど、それはカンベンね）： Nat(LanFX, M) ≒ Nat(X, MF) 郡司さんの記号をできるだけそのまま使うことにして、F:A→B, X:A→C, M:C→Bは関手。GFのような並置は反図式順の結合（GF = F;G）。前提される状況は下図のとおり。 A -(X)→C ｜ ／ F ／M ↓／ B 図と辻褄が合わなくて上の同型は解釈不可能。M:C→Bの向きが逆で M:B→C だろう。あるいは、図はそのままとし

檜山さんの日記に全面的に同意しつつ、コメント欄に書いたことの追記。 郡司哲学は哲学だとは思いますが、科学*1とは呼んで欲しくないな、というのが、今の私の気持ちです。客観性のあるものを、属人性を極力排除して語るのが科学だと思いますので。 哲学や文学では、文献の行間を読みながら、著者の真の思考に迫ろうとする手法が多いと思います。でも数理科学の世界で、行間を読まないと意図がわからない文章は基本的にダメな文章であり、そのダメさを排除するのは著者の責任です。 自然科学の人たちが数学を使う理由の１つは、自然言語で説明するより数式で説明した方が、コミュニケーションによる齟齬を排除して、著者・読者間で同じ概念を共有しやすいからで。でも郡司さんは、数式を自然言語と同レベルでの使い方しかしてなくて、このメリットを捨ててしまっています。 つか、郡司さんの使う圏論は結局、圏論語に見せかけた「圏論風ペギオ語」なので

「あーあ、こりゃダメだわ、郡司ペギオ-幸夫さん」のコメント欄： bonotakeさん： 恐らく、郡司さんは既成概念に囚われない斬新な着想・洞察をする事に長けていて、なので随想家・思想家としては光るものをお持ちなんだと思います。 m-hiyama： 独特の直観と方法による思想家なんでしょうね。デタラメなことを平気で書いてますが、ある種の天才なのかな、という感じも抱きました。ただ、悪影響／弊害も大きいので、大部分の凡人はマに受けない方がいいと警告はしたいです。 伝達のための表現や記述、そして論理に関して、郡司さんは通常のルールをまったく守ってないですからね。それゆえ斬新に見えて、あのスタイルをかっこいいと思う青少年は多そうだなぁー。「よい子は真似しないように」。 この「よい子は真似しないように」を少し敷衍＜ふえん＞しておきます。 『現代思想』1999-4内の圏論に関するメチャクチャ*1な記述を

アフガニスタン南部・カンダハル（Kandahar）州Wocha Bakhtaで、破壊された家屋で捜索する住民ら（2008年11月5日撮影）。(c)AFP/Hamed ZALMY 【11月6日 AFP】アフガニスタン南部カンダハル（Kandahar）州で3日、結婚式会場が米軍によるとみられる空爆を受け、女性や子どもを含む民間人36人が死亡した。地元住民らが5日語った。 アフガニスタンのハミド・カルザイ（Hamid Karzai）大統領は5日、国際部隊が武装勢力をねらって空爆を行い、住民約40人が死亡、28人が負傷したと発表した。 爆撃があったのは、カンダハル（Kandahar）から80キロ北にあるWocha Bakhta村。地元住民によると、結婚式の食事が終わったころに、近くの丘にいた米軍主導の多国籍軍部隊に対してイスラム原理主義組織タリバン（Taliban）の戦闘員によるとみられる発砲があ

引越し遍歴パートⅡ 2018年に「上京して10年で引越しを6回した」というブログを書いた。 月日は流れ、あれから6年…さらに2回の引越しをした。ホテル暮らしも含めると3回かもしれない。 前回の記事では主に神奈川〜千葉〜東京の引越し事情を書いた。関東の浅瀬でちゃぷちゃぷ遊んでいたに過…