「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧

久々にThe n-Category Cafeを見たら、Mike Stayによる"The Continuation Passing Transform and the Yoneda Embedding"なんて記事がありました。 米田埋め込みは圏論ではお馴染み。継続渡しへの変換はコンピュータ・プログラミングではお馴染み。 この2つは、実は同じものなんだよ。なんで、誰もこのことを言わないんだろうね？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayのこの記事、面白いのだ

ブックマークしました ここにツイート内容が記載されます https://b.hatena.ne.jp/URLはspanで囲んでください Twitterで共有

ネイルで使う材料で、DIY時の木割れやネジ跡を派手にしたらかわいい OSB合板でちょっとしたボックスをつくりました。 ビス止め下手すぎて木を割ったり穴あけすぎたりした場所に、好きな派手色の樹脂を詰めてパテ代わりにしてみました。 ちょっと某HAYっぽみ出て可愛かったので、自分用にメモです。 手順 塗装 派手色グミジェルで失敗部分…

９月６日の朝日新聞朝刊に「仏教、自殺とどう向き合う」と題して、自殺を考える人にどう仏教が対処しようとしているか記事が掲載されていました。 葬式仏教と揶揄される現状にとどまらず、生者に寄り添えるのか。 記事では、臨済宗の僧侶が僧侶約３０００人に「自殺問題研究会を作ろう」とハガキを出したところ、返事をくれたのは３人にとどまり、会は実現していない例を取り上げ、多くの僧侶が及び腰になっている現状をさらけ出している。 また、よくマスコミも取り上げる「自殺志願者駆け込み寺」の篠原鋭一氏の取り組み、また自殺率が最も高い秋田県での動きが紹介されていた。 前項でも述べたが、「葬式仏教」でさえ行き詰まりが来ているのに、更に「自殺者」に向き合えるほど、僧侶には余裕が無いのが実情。 「死んでしまった人」に対しての「葬式」はできても、「死を考えている人」への「カウンセリング」の知識など、もともと僧侶には皆無なのだ。

ノーベル賞博士が差別発言「黒人、知能で白人に劣る」 コレねぇ。まあワトソン博士は社会的発言がアレということでは有名ではあったけど、齢食ってさらに脇が甘くなったといいますか。 ただ社会的といいましたが、これは科学的にも十分アレな話なわけで。 例えばこれが「IQ」の話であれば、IQの統計的な平均値は アジア人＞白人＞黒人*1 らしいので、まあ黒人が劣る、というのは嘘ではありません。 しかし原文を見てみると*2 He says that he is “inherently gloomy about the prospect of Africa” because “all our social policies are based on the fact that their intelligence is the same as ours ? whereas all the testing sa

著者は、なんと自由意志は存在しない、という立場に立っている。 これは怖い。実に怖い。なにしろ、怖がっている主体であるはずの「私」は存在しないというだけでも怖いのに、その怖さを避ける自由すら存在しない、と言っているに等しいのだから。 404 Blog Not Found:書評 - 脳の中の「私」はなぜ見つからないのか? dankogaiのような天才エンジニアには、あまりにらしくない怖がり方に見える。 「私」が脳で生まれる以上、それはプログラムの実行体(仮にプロセスとする)に過ぎない。プロセスである以上、プログラムに沿った動作をするの当たり前で、すべては入力とプログラムによって決まる。しかし、それは「私」が存在しない事を意味するはずがない。現にプロセスとして存在している。 「私」の存在は、現時点においては「神」の存在以上に人類社会の根幹を成しているのだ。法律はその好例で、そこは自由意志の存在を

たとえば講演会の質疑応答の際に、挙手して自分の意見を長々と述べた後で「〜と思うのですが、どうでしょうか」と、質問の形を装って自分の意見を述べる人をよく見かけます。質問を終えて座ったときの小鼻のふくらみ加減がすごく愛おしいですよね。しかし、「もっとこういうシーンに居合わせたい！」という場合はどうしたらいいでしょうか？そう…インターネットです。２１世紀は、お茶の間で「質問を装った自己主張」を楽しめる時代なのです！たしかに、ずさんな凶悪犯罪が増えてたりして不安ですが、なかなかどうして、いい時代ですよね！特に、ヤフー知恵袋は、質問を装った自己主張をする人たちのが押すな押すなの大盛況。「知恵袋」というより、「匂い袋」の方がしっくりきます。 わたくしの入念な調査によると、オンラインの「質問を装った自己主張」は大きく分けて４種類になります。 （１）年配の人が若者や芸能人のモラルの低下を嘆くが、実際は若さ

「LL魂」にて、パネル「オレ様言語の作り方」に出演してきました。 ひとり10分ぐらい、自分の言語を紹介する枠がありまして、OpenOffice Impressでプレゼン資料を作って持っていきました。 発表直前にステージ上でプロジェクタの接続テストを行い、プレゼン資料の表紙がきちんと表示できることは確認したのですが、いざ自分の番が来て、スライドショーの2ページ目をめくってみると、解像度が合わなくてプロジェクタの画面をはみ出してしまいました。 そもそも私はこんな機会には慣れてませんからかなり緊張してましたし、そこへ来てコレで少なからずパニクりまして、なんとかスライドショーではなく編集モードで発表は進めたのですが、そもそも日頃PowerPointは使ってもOpenOfficeは使ってないし、ノートPCのトラックパッドにも慣れないし、等々あって、なんというかみっともないことになってしまいました。

顔に見える？最近「送水口」が気になるという話 「送水口」が気になる今日この頃 最近街中で気になる存在、それがこの「送水口」です。地上のフロアが7階以上あるビルなど、一定の条件を満たした建築物には設置が義務付けられているもので、火事が発生したフロアにただちに水を送るために使われるものです。ポンプ車…

はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

月曜日は「第一の習慣」の日です。ここでは「主体性を発揮する」ために日常に導入することのできるテクニックについて紹介していきます （Update: おっと。出先からの更新に失敗してました。火曜日にアップ）。 フランクリン・コヴィーの「７つの習慣」では、主体的な行動をするためには Self Awareness 「自覚」、Imagination 「想像力」、Conscience 「良心」、Independent Will 「自由意志」の４つを意識する必要があると説いています。今日は自由意志という話です。 Independent will の訳語が「自由意志」というのはちょっと語弊があります。というのは Independent には「自立した」という意味もあって、「自由」とはちょっとずれているからです。 この自立というのがちょっとやっかいです。飲み屋で上司の不満をこぼすとき、私たちは「自由に」発言