背理法被害者の会
× 「定義域が空集合の写像(関数)は存在しない(定義できない)」 と思い込んでいる数学者が多いのですが、実は ○ 「定義域が空集合の写像(関数)は唯一存在する」 ことは公理的集合論における定理です。(この元を空写像(関数)とよぶ。) このことは、数学基礎論や圏論をある程度学んだことのある数学者は解っているようだが、そうは思っていない数学者も多いようです。特に、 「定義域が空集合である写像は存在しない」 という誤解は国際的にもあるようで、 竹内外史著、「層・圏・トポス」、日本評論社(１９７８年） の本文１３ページに、 「φ 上の関数は唯一つ存在して φ 自身である」 ことを説明（証明）した後、 「こんなことを細々と説明したのは φ 上の関数は一つもないと誤解している人が往々にしているからである」 とでています。 (現在増補改訂版が復刊されています。あとがきに本文の訂正がありますので、 こちら
マウス・キーボード・ジョイスティックが両手に収まり、ロボットを操縦するかのようにPC操作が可能になる「King’s Assembly」
PCを操作する際に最もよく使われるのがマウスとキーボードですが、マウスを動かしてキーボードを操作し、またマウスを動かして……と2つを行き来して使っていると、地味な時間のロスが積み重なっていきます。そんな無駄をなくすべく作られたのが、マウス・キーボード・ジョイスティックが両手に全て収まるよう設計された「King's Assembly」で、PCを操作している様子はロボットを操作しているかのようにも見えます。 King's Assembly - A Computer Mouse Full Of Awesome by Solid Art Labs — Kickstarter https://www.kickstarter.com/projects/70308014/kings-assembly-a-computer-mouse-full-of-awesome 実際にKing's Assemblyを
ペルーのジャングルで発見された謎のフェンスは、新種の蜘蛛によるものと判明
昨年9月に紹介した、ペルーのジャングルで発見されたフェンス状の謎の物体、それは新種の蜘蛛の卵と、それを保護するための繭だったと判明したそうです。 繭から生まれた赤ちゃん蜘蛛を撮影したのは、野生生物写真家のジェフ・クリーマーさん。 実際にフェンスが作られる様子の撮影にも成功したとのこと。こんな人工物っぽい形状のフェンスを、ホントに蜘蛛が作っているなんて驚き。 【関連】 新種発見！？謎の生物が作った、卵を守るフェンスらしきものがペルーのジャングルで発見される パプアニューギニアで発見された５種類の新種の蜘蛛 【画像】新種発見！2012年に新たに発見された、9種のユニークな新種の生き物達 【画像】 人類がまだ手をつけていない「失われた森」で発見された新種の生物たち
2ch名人 【A級最終局】屋敷九段が降級
2：名無し名人：2014/03/07(金) 11:24:00.43 ID:QO1z1VtW 【第72期A級順位戦】 ※挑戦１名、降級２名 位 棋 士 名 勝 敗 １回戦 ２回戦 ３回戦 ４回戦 ５回戦 ６回戦 ７回戦 ８回戦 ９回戦 01 羽生善治 ７－１ ○谷川 ○佐藤 ○三浦 ○渡辺 ○屋敷 ○行方 ○久保 ●深浦 ＿郷田 ◎挑戦 04 渡辺 明 ５－３ ●深浦 ○郷田 ○行方 ●羽生 ○久保 ○屋敷 ○谷川 ●三浦 ＿佐藤 07 深浦康市 ５－３ ○渡辺 ●行方 ●久保 ○三浦 ○佐藤 ○郷田 ●屋敷 ○羽生 先谷川 09 行方尚史 ５－３ ○郷田 ○深浦 ●渡辺 ●久保 ○三浦 ●羽生 ○佐藤 ○谷川 先屋敷 06 佐藤康光 ４－４ ○久保 ●羽生 ●郷田 ○谷川 ●深浦 ○三浦 ●行方 ○屋敷 先渡辺 10 久保利明 ４－４ ●佐藤 ●屋敷 ○深浦 ○行方 ●渡辺 ○谷川 ●
バットマンとアイアンマンが合体？ ハイテクよろい開発
（ＣＮＮ） バットマンとアイアンマンが合体したようなこの姿。これはオーストラリアのユニファイド・ウエポンズ・マスター（ＵＷＭ）社が開発したハイテクよろい「ロリカ」だ。 古代ローマの兵士が使った防具から名前を取ったというこのよろいは、軽量で柔軟性のある素材を組み合わせて作られている。Ｗｉ－Ｆｉやブルートゥースで周辺の機器と通信する機能を備え、マイクや映像を記録するカメラを搭載。全身５２カ所に配した衝撃センサーからのデータは外部のコンピューターに送られる。 ロリカは武器を使う武道家が総合格闘技の試合などで使うことを念頭に、映画『ロード・オブ・ザ・リング』のために２５００着以上のよろいを作るのに参加した職人を含むチームが４年をかけて開発した。 武道家からの反響は非常に大きいと、ＵＷＭのデービッド・パイスデン最高経営責任者（ＣＥＯ）は言う。「武器を使う武道を２０～３０年やってきた多くの人々に言わせ
時事ドットコム：２３９人乗りマレーシア機、交信絶つ
２３９人乗りマレーシア機、交信絶つ 【クアラルンプールＡＦＰ＝時事】マレーシア航空によると、北京行きの２３９人乗りマレーシア航空機が８日午前、クアラルンプール空港を離陸後、管制塔との交信を絶った。（2014/03/08-09:44） 次の記事へ
Spotify: 曲をシャッフルするのは単純にランダムではいけない - ワザノバ | wazanova
http://labs.spotify.com/2014/02/28/how-to-shuffle-songs/ 1 comment | 0 points | by WazanovaNews ■ comment by Jshiike | 約4時間前 SpotifyのLukáš Poláčekがプレイリストをシャッフルするロジックを改善した取り組みを紹介しています。 以前のロジック ランダムアルゴリズムには、Fisher-Yates shuffleを利用。 順次再生する曲を選ぶロジック同士には依存関係がなく、完全にランダムに選択される。よって、同じアーティストとの曲が連続して再生されることも可能性としてはある。 これはギャンブラーの誤謬と呼ばれる現象。例えば、コイントスで表が連続してでると、次は裏が出ると思いがちであるが、常に確率は1/2である。従前の結果が次の結果に影響を与えると考えてし
新幹線で救命処置を行う医者はバカか?
先日から話題になっている、病院外での緊急Drコールに応じた医師へのリスク評価についてまとめてみました。 緊急Drコールに応じて、対象者が不幸な転帰に至った場合でも、現実的には医師が、民事、刑事責任とも問われる可能性は非常に低いというのが法律クラスタの評価です。 ただし、訴訟に至らなかった、損害賠償請求事例も報告されており、現在の医療に対する社会の見方を考えると、若い医師にDrコールに応じることを、積極的に勧めるべき状態では無いと考えます。 続きを読む
【危険】プールで排尿すると化学兵器の一種「塩化シアン」が発生する!? - IRORIO（イロリオ）
プールで泳いでいる最中に尿意を催したものの、トイレに行くのが面倒で水の中でそのまま…なんて経験、誰しも1度くらいはあるのでは。数年前には、アメリカの水泳選手マイケル・フェルプスが「オリンピアンもプールでおしっこする」なんて発言をして話題になったが、実はこの行為、かなり健康面で危険を伴うことが判明した。 中国農業大学と米パデュー大学の研究チームがおこなった調査によると、尿に含まれる成分とプールの塩素が合わさると、スイマーの呼吸器などに影響を及ぼす化学物質が発生する可能性がわかったそう。実験では、中国のスイミングプールから採取した水と、汗や尿を真似てつくった化学成分を混ぜ合わせ、そこへ塩素を投入。すると、人間の尿や汗に含まれる化学物質（主に尿酸）が塩素に反応し、その副産物として塩化シアンができることが明らかに。塩化シアンは化学兵器として用いられる血液剤の一種で、吸入することで肺や心臓などさまざ
業務アプリはもうこれ以上、進化できないのか？ ―― スマートアグリカルチャーに学ぼう
業務アプリはもうこれ以上、進化できないのか？ ―― スマートアグリカルチャーに学ぼう：業務アプリInsider×未来テクノロジ 業務アプリ内の技術を最新に置き換えるだけの作業に疲れた？ これから業務アプリはどう進化させればよいのか？ そんな考えに基づき、農業IT化の手法を聞いてみた。「“攻め”の業務アプリ開発」を始めるための参考にしてみよう。 連載目次 「業務アプリ」と言われて最初に思い浮かぶのは、会計ソフトではないだろうか。「会計」という事務業務に代表される、いわゆる「ホワイトカラー」系の仕事の効率化に対し、これまでの業務アプリは大きく貢献してきた。このおかげでビジネスにより専念できるようになった会社は少なくないだろう。 このような事務作業を効率化するタイプの業務システムは、登場してからすでに何十年もたっている。私が知っている限りでもMS-DOSの時代から業務システムは存在し、現状に近い
Windowsファイル検索で 数字１文字 や 括弧付き数字 を検索する方法（謎テクニック応用編）
前回の記事で、「☆」や「-」などを検索する際に、「~=☆」や「~=-」で検索すれば良いと紹介しました。今回は、より実用的な応用編として「(1)」のような括弧付き数字や、数字１文字を検索する方法を紹介するとともに、Windowsファイル検索の特徴を紹介します。 ↓この画像の検索結果、ちょっと思った結果と違いませんか？ 目次 1. なぜか検索できない2. 数字が１文字が検索できない？2.1. 「(4)」2.2. 「"(4)"」2.3. 「4」2.4. 「2」3. 解決策「~=」「~=""」3.1. 数字１文字：「~=4」3.2. 数字２文字：「~=14」3.3. 括弧付き数字：「~="(4)"」4. まとめ スポンサーリンク なぜか検索できない Windowsファイル検索をしていると、「なぜか検索に出てこない」がたまに発生します。 その具体例として、例えば「記号１文字」として「☆」「、」「。」
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
