茨城県は26日、アトム(神奈川県横浜市)が運営する茨城県石岡市東大橋の飲食店「ステーキ宮石岡店」で、5~6日に加工牛のステーキを食べた客2人が腹痛や下痢、血便などの症状を訴え、土浦保健所が腸管出血性大腸菌O157による食中毒と断定したと発表した。60代女性が一時入院した。いずれも快方に向かっている。 県によると、女性と20代男性の2人が発症。それぞれの便からO157が検出された。店ではステーキのほか、付け合わせのニンジンやブロッコリーなどを提供。肉は同社施設で加工されていた。 同保健所は26日から再発防止対策が講じられるまでの期間、同店を営業停止処分とした。同店は20日から自主休業中。 同社を巡っては、県内の別店舗で1月にもO157が原因の食中毒が起きた。県は同社に対し、衛生管理と従業員の衛生教育について改めて厳重指導した。 ほっともっとのレジ・接客・調理スタッフ 【ほっともっと 鹿島宮中
オンラインメモサービス「Evernote」を手掛ける米Evernoteの日本法人であるエバーノート(東京都中央区)は4月26日、解散すると発表した。同日付の官報にて解散公告を掲載している。 日本法人を設立したのは2010年。当初の日本のユーザー数は米国に次いで2番目に多く、同社は日本市場に拡大に力を注いでいた。一方、親会社の伊Bending Spoonsの本拠地が欧州に移管するに当たって、23年7月には米国とチリのほぼ全従業員を解雇したと発表。また、12月には無料プランに大幅な制限を掛ける対応を取り、日本ユーザーから「もう利用を止める」などの声が上がっていた。 関連記事 Evernote、無料プランを大幅制限 ノートの上限数が10万→50に 伊Bending Spoons傘下のEvernoteが、無料プランの仕様変更を実施する。これまで最大10万だったノートの上限数を50と大幅に減らす。仕
ウエストランド河本がタクシーに暴行 <チャンネル概要> テレビ業界の不祥事やニュースを元テレビマンが解説してます。 ヤラセ、捏造、偏向報道、パワハラ体験談、芸能界の実態、 実体験をふまえてテレビ業界の裏側や真実などお伝えしてます。 メディアの王様気取りだったテレビが衰退した原因など感じていただけたら幸いです。 <自己紹介> 元TVディレクター/さっきーといいます。 テレビ業界で13年。 四流大学中退後に「テレビ業界の墓場」と呼ばれるTV番組制作会社に入社したら、 ブラック真っ只中の墓場以下でした。 ちょうどテレビ業界の絶頂期から衰退期を経験。 ▼チャンネル登録よろしくお願いいたします! https://tinyurl.com/yasqkgso ▼メンバーシップ「もっと、テレビで言えないテレビの話」 https://www.youtube.com/channel/UCAQmpF0Q
以下の文章は、コリイ・ドクトロウの「How to shatter the class solidarity of the ruling class」という記事を翻訳したものである。 Pluralistic 作家オードリー・ロードは「主人の道具が主人の家を壊すことはない」と忠告した。一方、MLK(マーチン・ルーサー・キング・ジュニア)は「法律は人に私を愛させることはできないが、私をリンチから守ることはできる」と述べた。システムを変えることとシステムを利用することの狭間に、(脱線しやすいにしても)現実的な道があるのだろう。 ロードは、自らが選択した改革メカニズムを用いても腐敗したシステムは修復できないと説いた。キングは、我々が生き続けなければ、戦うことはできないと言った。つまり、システムの中にあっても、同志たちが戦うための道具がそこにあるのなら、それが何であれシステムの終焉を早めることができる
Hy is a Lisp dialect that's embedded in Python. Hy (or "Hylang" for long) is a multi-paradigm general-purpose programming language in the Lisp family. It's implemented as a kind of alternative syntax for Python. Compared to Python, Hy offers a variety of extra features, generalizations, and syntactic simplifications, as would be expected of a Lisp. Compared to other Lisps, Hy provides direct acces
Hy(またはHylang)は、式をPythonのAST(抽象構文木)へ変換することで、PythonとLisp間でのやり取りができるように設計されたプログラミング言語Lispの方言のひとつである。HyはPython Conference(PyCon)2013でPaul Tagliamonteが発表した[2]。 KawaやClojureにおいて、S式がJava仮想マシン(JVM)の抽象構文木にマッピングされるのと同様に[3]、Hyは、Pythonの抽象構文に対する透過的なLispフロントエンドとして使用することが想定されている[4]。Lispではコード自体をデータとして操作することが可能である(メタプログラミング)ため、Hyをドメイン固有言語(DSL)として使用することができる[5]。Hyのコードは、コンパイル[note 1]時に両言語のコードをPythonのASTにステップ変換するため、標準
コンパクト開位相(コンパクトかいいそう、英: compact-open topology)とは連続写像のなす空間上の位相構造の一つで、定義域のコンパクト部分集合を値域の開集合内に移す写像全体が開集合となる最弱の位相の事である。特に定義域が局所コンパクトハウスドルフである場合は連続写像空間上のきわめて自然な位相概念となり、コンパクト開位相は が連続となる最弱な位相と一致する。また値域が距離空間(あるいはより一般に一様空間)であれば、コンパクト開位相で収束する必要十分条件は、定義域の各コンパクト部分集合上で一様収束する事(これを広義一様収束あるいはコンパクト収束という)である。 定義[編集] 位相空間 X から位相空間 Y への連続写像全体の集合を C(X, Y) とし、さらに K ⊂ X, O ⊂ Y に対し、W(K, O) を により定義する。 {W(K, O) | K は X のコンパク
原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。正確な表現に改訳できる方を求めています。 被覆写像 p : Y → X によって底空間 X の開集合 U は被覆空間 Y の同相な開集合 S1, S2, S3, … によって「均一に被覆」されている。 数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。 被覆空間はホモトピー論
この記事では、位相空間論を勉強するのにオススメな教科書・参考書を4冊紹介します。 ※本記事のリンクには広告が含まれています。 集合・位相入門 / 松坂和夫 ★ 本書のメリット ・誤植が全然ない ・説明が丁寧でわかりやすい 本書は誤植が全くないです。 というのも、本書は1968年に出版されて以来、長年に渡って読まれてきた位相の教科書の定番です。 そのため、何度も重版され、誤植は直されています。 また、本書はロングセラーだけあって概念の説明が丁寧であり、定理の証明もわかりにくいところが全然ありません。 なので、初学者でも本書によって位相の概念を「論理的に理解する」ことはそれほど難しくはありません。 ★ 本書のデメリット ・位相の具体例や反例がかなり少ない 上記のとおり。 なので、本書を読んでも「定理の証明が論理的に正しいことはわかったけど、具体的なイメージが持てず、分かった気にならない...」
イントロ この記事では, 位相空間論の歴史を「距離化問題」を中心に話す. 全体的な流れは下記のとおり. フレシェが距離を導入し, 距離空間を定義する. ⇩ ハウスドルフが距離を使わずに近傍系を用いて位相を導入し, 位相空間を定義する. ⇩ 位相空間論が整備されていく中, 「距離化問題」がなかなか解けなかった. ⇩ ウリゾーンが距離化問題を解決した. この流れで位相の歴史を説明していく. フレシェが距離を導入する 1906年にフレシェは学位論文 "関数解析のいくつかの問題点について" ( Sur quelques points du calcul fonctionnel) をパリ大学に提出した. その論文の中で, 抽象集合に「点列の極限」を導入した. この論文が発表される以前, 点列といえば $\R^n$ 上の点列しか考えなかった. 特に有限次元までしか考えなかった. しかし, フレシェは点
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く