距離化不可能な位相で入門（？）する距離空間
どうもこんにちは ごててんです 喉が渇きました 位相、みなさまのご家庭にも1,2個あると思いますが 今回はその位相を扱っていきます この記事の目標は「距離化可能でない位相空間の例」を1つ紹介することです ...だったのですが ちゃんと距離空間の部分を書いてみたら 位相の登場が相当後になってしまいました 距離空間を3秒でも勉強したことがある人は本編から読んでください（） 多分距離空間の部分より短いですが 具体的な予備知識 → 集合, 写像, 直積, 集合族, ユークリッド空間, 三角不等式, (開集合) この記事では$0$を自然数に含めません（含める派ですが） 記事の流れはい それなりにわかりにくい構成になると思うので ここで記事の流れをまとめておきます 距離空間を定義 → 開集合を定義 → 位相空間を定義 → 距離化可能を定義 → 本題 → 距離空間の性質を調べる → 距離化できない例を証
『ゴジラxコング』はアメリカンプロレスの怪獣版だ！ 言葉を喋らないのに理解できる驚き
オレの名前はキングコング。デカい猿の怪獣だ。地底世界の戸亜留地区で暮らしてるが、オレには同族の仲間がいねー。人間は嫌いじゃねーけど、種族が違う。ゴジラ？ あんな凶暴だけのヤロー、仲間じゃねーよ（ここで「あ？」とキレるゴジラの小さいコマ）。 で、仲間を探す旅をしてたんだけどよ……仲間どころか、スカーキングっていうクソ野郎と出会っちまった。弱いもんイジメばっかして、地上も支配したいだと？ なめてんじゃねーぞ！ （格闘シーン／コングがスカーを相手に格上感を出す） キングコング「キングって名乗るわりにゃ、大したことねーな。オレが知ってる地上のキングは、テメーの100倍は強いぜ」 スカーキング「くっ……くくく、なんでテメーとタイマン張らなきゃなんねーんだよ！ おい、シーモを呼んでこい！」 キングコング「なっ、こいつは……!?」 こうした髙橋ヒロシ的なやり取りの末に、コングはスカーキングとシーモの二大
情報モラル教育教材「SNSノート（情報モラル編）」を 全国の学校での授業活用を目的に開発、無償提供
情報モラル教育教材「SNSノート（情報モラル編）」を 全国の学校での授業活用を目的に開発、無償提供2018.09.26 その他の取り組み情報モラル教育お知らせ※本取り組みは、LINE株式会社より一般財団法人LINEみらい財団に移管した記事内容を掲載しております。 LINE株式会社は、2020年度以降の新学習指導要領の全面実施に向け、全国の地域や学校で、児童・生徒が発達段階に応じて体系的に情報モラルを学習できるように、新教材「SNSノート（情報モラル編）」を開発し、無償で提供いたします。 本教材は、東京都教育委員会とLINEで共同開発した「SNS東京ノート」のエッセンスを取り入れました。東京都内の16校の教員と児童・生徒に実施した「SNS東京ノート」の効果測定では、教員の85％が「情報モラル教育として適切である」、74％が「授業で使いやすい教材である」と評価。小学生～中学生の80％以上が「わ
読んで学べる論理学を探しているひとへ――古典命題論理から様相命題論理まで - sho__yamaguchi’s blog
論理学を基礎から〈テキストを読むこと〉だけで独習しようとするひと――こうしたひとにとって役立つかもしれない講義テキストを置いておく。これは某大学で私が担当している論理学の講義のテキストであり、その授業では安井邦夫『現代論理学』（世界思想社、1991年（新装版2021年））も教科書に指定されている。ただし、以下のテキストは、安井の教科書がなくても読むことができる（他方で、「論理学Ⅰ」のテキストを読み終えた後に、その続きとして安井本で述語論理などを学び進めることもできる）。 ちなみに、論理学をまなぼうとするひとの中には《ふつうの散文は却って読みにくく、とりあえず記号を並べてほしい（あとは自分で考えるから）》という方もいると思う。そうした方にとっては、残念ながら、私のテキストは却って読みづらいだろう。なぜなら私のテキストは――最近はこうした言葉づかいがあるらしいが――形式化の背景にある「お気持ち
マザーボードのUEFIで動くIRCクライアントが誕生
UEFIはPCのOSが起動する前段階に実行されるプログラムで、IRCは端末やOSに依存することなくクライアント同士でチャットできるツールです。これらを組み合わせ、IRCをUEFIで利用できるようにした「UEFIRC」をソフトウェア開発者のフィリップ・テン氏が開発しました。 An IRC client in your motherboard | Phillip Tennen https://axleos.com/an-irc-client-in-your-motherboard/ UEFIRCを使ってUEFIからIRCサーバーに接続する様子が以下の通り。 UEFIRC Demo - YouTube テン氏は「UEFIRCはRustで書かれていて、独自のGUIツールキットとTrueTypeレンダラーを活用しています。マザーボードの快適なプリブート環境から、IRCサーバーに接続したり、チャットを
Automattic製WordPressローカル開発環境Studioが爆誕 – Capital P – WordPressメディア
WordPress.comを運営するAutomatticから新たなWordPress用ローカル開発環境としてStudioが発表された。現在、Mac版しか存在せず、Windows版は準備中のようだ。 どこか（wordpress.org）で見たような左ペインのデザイン……同じ人がデザインしてる？ ダッシュボード。ボタンを押すとブラウザが立ち上がる。 WordPress Playgroundをベースにしているので、サイトが爆速で立ち上がる。サイトを開いてみると、管理バーの右に「SQLite」と書いてあるので、やはりPlaygroundで動いていることがわかる。 管理バーにはSQLite このサイトでもすでに取り上げたLocal by Flywheelがスタンダードとなりつつある気配だったが、ここに来て新たなツールが加わった。Localと比較すると…… たしかにStudioは早いが、別にLocal
動的計画法を実現する代数〜トロピカル演算でグラフの最短経路を計算する〜 - Qiita
トロピカル半環と呼ばれる代数構造上のトロピカル行列を利用すると動的計画法を使ってグラフの最短経路の距離を計算するという問題が単純な行列積で解けてしまうらしい。そんな噂12を聞きつけて我々はその謎を解き明かすべく南国（トロピカル）の奥地へと向かった。 トロピカルな世界に行くためにはまずは代数を知る必要がある。要するに群・環・体の話だ。しかしこの記事の目的は代数学入門ではないので詳しい話は他の記事3に譲るとし、さっそく半環という概念を導入する。それは 半環は以下の性質を満たす二つの二項演算、即ち加法（和）"$+$" と乗法（積）"$\cdot$" とを備えた集合$R$を言う $(R, +)$ は単位元 $0$ を持つ可換モノイドを成す: $(a + b) + c = a + (b + c)$ $0 + a = a + 0 = a$ $a + b = b + a$ $(R, \cdot)$ は単
タイムスタンプの精度を落とすときは切り捨てろ - methaneのブログ
とあるプロジェクトでナノ秒からミリ秒への変換で四捨五入してきた人がいて、時刻を扱うときは保存精度未満は切り捨てるべきというのが常識になっていないなーと思ったので。 2023-10-01 を、何年か表示する時に、2024年に丸める人はいないだろう。 13:45 が何時か表示する時も、13時と表示するだろう。（口頭で何時？と聞かれたら14時と答えるかもしれないけれど） つまり、ある精度で表した時刻は、実際には次のような半開区間を示しているのである。 2023-01-01 00:00:00 <= 2023年 < 2024-01-01 00:00:00 13:45:00.000 <= 13:45 < 13:46:00.000 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
「Vim」が愛され続ける理由と、サンプルで学ぶ使い方
ダウンロードはこちら オープンソースOS「Linux」の標準テキストエディタである「Vim」は、効率的にテキストを編集するためのさまざまなコマンドや機能を備える。ただしVimは標準ではGUI（グラフィカルユーザーインタフェース）を備えていないため、初心者にとっては扱いづらい。 TechTargetジャパンの人気記事をまとめた本資料は、Vimで利用できるモードやコマンド、カスタマイズのオプションを、サンプルプログラムと共に紹介する。Vimでできることの幅広さを知れば、Vimがなぜ人々に愛されているのかが分かるはずだ。 中身を読むには、「中身を読む」ボタンを押して無料ブックレットをダウンロードしてください。 連載：「Vim」の使い方
本文
はじめに PC88を語る上でコピー問題を外すことは出来ない。ここではコピーの歴史について書いてみたいと思う。 PC-8001の時代 パソコンソフトのコピーはいつから始まったのだろうか。PC-8001の時代は、市販のソフト自体がほとんどなく、もっぱら雑誌「I/O」や「アスキー」からプログラムを入力して遊んでいた。雑誌のプログラムはクオリティが高く、遊べるソフトが多かったのだ。このころは2Dドライブが30万(フロッピーディスクは1箱1万円以上)もしていた時代なので、ソフトの供給はもっぱらカセットテープであった。 このころは、そのようなソフトを入力したマニアたちがパソコンショップなどに集い、手持ちのソフトのコピー・交換会のようなものが頻繁に行われていた。マニアたちは自分の入力したソフトをカセットテープに録音し、それを持ち寄っていたのである。今のようなダブルデッキのカセットがなかったので、各自5～
「陰謀論者と言われる理由はわかりますが…」国賠訴訟で東京都に勝訴した「暇空茜」インタビュー「世間の批判にすべて答えます」 | デイリー新潮
「週刊新潮」の発売前日に速報が届く！ メールマガジン登録 デイリー新潮とは？ 広告掲載について お問い合わせ 著作権・リンクについて ご購入について 免責事項 プライバシーポリシー データポリシー 運営：株式会社新潮社 Copyright © SHINCHOSHA All Rights Reserved. すべての画像・データについて無断転用・無断転載を禁じます。
ChatGPTなど数々の高性能AIを生み出した仕組み「Attention」についての丁寧な解説ムービーが公開される
さまざまな数学的トピックをムービー形式で解説するサイト「3Blue1Brown」において、ChatGPTに代表されるAIを形作っている「Transformer」構造の心臓部「Attention(アテンション)」についての解説が行われています。 3Blue1Brown - Visualizing Attention, a Transformer's Heart | Chapter 6, Deep Learning https://www.3blue1brown.com/lessons/attention AIの中身と言える大規模言語モデルのベースとなる仕事は「文章を読んで次に続く単語を予測する」というものです。 文章は「トークン」という単位に分解され、大規模言語モデルではこのトークン単位で処理を行います。実際には単語ごとに1トークンという訳ではありませんが、3Blue1Brownは単純化して
X席巻「1秒動画」、インプレ向上に効果はあるか フォロワー数34万人超のアカウントで検証
X（旧Twitter）で、再生時間が1秒しかない動画の投稿がはやっている。普通の動画に加えて“1秒動画”を添付することで動画の視聴完了率を上げ、おすすめ欄に表示されやすくし、インプレッション数を増やすことで、収益化を有利にする──というものだ。ただし、その根拠は臆測でしかなく、本当に効果があるのかは不明だった。 そこで、ITmedia NEWSの公式Xアカウントで実際に1秒動画を投稿。1秒動画を添えないものと比較し、インプレッション向上効果が本当にあるか検証した。結論から言うと、今回の検証では、インプレッションは本当に向上した。 ITmedia NEWSの公式アカウントで検証 ITmedia NEWSの公式アカウントで投稿したのは、記者が4月5日に掲載した記事「実況者向け『ゲーミングマンション』内見してみた 防音・家賃はどんな感じ？【動画あり】」の取材動画。8日午前11時ごろに通常の動画を
掛算の順序と学習指導要領 - きしだのHatena
あいかわらず掛算の順序の話がもりあがってるようなのだけど、コーディングルールの話なんだから計算の定義の話をしても徒労だよなと思いながら見ていた。 で、ちょっと教育指導要領解説を見てみたのでまとめる。 学習指導要領解説の記述 「【算数編】小学校学習指導要領（平成29年告示）解説」では次のようになっています。順序は表現のときの問題で、計算では交換則を使っていいとなっています。 被乗数と乗数の順序は、「一つ分の大きさの幾つ分かに当たる大きさを求める」という日常生活などの問題の場面を式で表現する場合に大切にすべきことである。一方、乗法の計算の結果を求める場合には、交換法則を必要に応じて活用し、被乗数と乗数を逆にして計算してもよい。 このPDFの115ページ。 https://www.mext.go.jp/content/20211102-mxt_kyoiku02-100002607_04.pdf
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
パンティーマンガってなくね？
ymils（イム）⚡ on X: "ディスコードの方で、「イギリスのＩＷＦが日本の架空のイラストもＣＳＡＭとして規制する様に主張している」って話で、具体的な物があればＵＲＬを教えて欲しいです、って質問を受けたので調べていたのだけど、とんでもない記事を見つけてしまった。"
group_inou / HAPPENING
【大原雄介の半導体業界こぼれ話】 PCやスマホで使われなくても、実は「金城湯池」が完成していたRISC-V
Amazon.co.jp: なぜ働いていると本が読めなくなるのか (集英社新書): 三宅香帆: 本
Androidの「デバイスを探す」が大幅パワーアップ、Bluetoothタグ対応や電源オフのPixel 8を発見可能に
