『ゴジラxコング』はアメリカンプロレスの怪獣版だ！ 言葉を喋らないのに理解できる驚き
オレの名前はキングコング。デカい猿の怪獣だ。地底世界の戸亜留地区で暮らしてるが、オレには同族の仲間がいねー。人間は嫌いじゃねーけど、種族が違う。ゴジラ？ あんな凶暴だけのヤロー、仲間じゃねーよ（ここで「あ？」とキレるゴジラの小さいコマ）。 で、仲間を探す旅をしてたんだけどよ……仲間どころか、スカーキングっていうクソ野郎と出会っちまった。弱いもんイジメばっかして、地上も支配したいだと？ なめてんじゃねーぞ！ （格闘シーン／コングがスカーを相手に格上感を出す） キングコング「キングって名乗るわりにゃ、大したことねーな。オレが知ってる地上のキングは、テメーの100倍は強いぜ」 スカーキング「くっ……くくく、なんでテメーとタイマン張らなきゃなんねーんだよ！ おい、シーモを呼んでこい！」 キングコング「なっ、こいつは……!?」 こうした髙橋ヒロシ的なやり取りの末に、コングはスカーキングとシーモの二大
LINEみらい財団「これからのデジタル社会で生きる力を養う」
情報モラル教育教材「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 そして、そう決めたからには一貫して同じように、指定精度未満は切り捨てというルールを維持しなければならない。秒以下は四捨五入で、とかやってはいけないのだ。 一貫しないと何が問題
本文
はじめに 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
タイミー疲れたよ日記
こんど転職するのだが、見切り発車で仕事をやめた結果、次の仕事が始まるまで1か月ほど暇な時間ができてしまった。 2週間ほど休んだらもう休むのが嫌になってしまったので、せっかくなのでタイミーとやらを試してみようと思いついたときの話。 意外にも未経験だとできる仕事は少なく、やっと見つけたのは某化粧品とか日用品、掃除用品を作っている会社の流通倉庫でのピッキング作業。 朝から夕方までガッツリ働いても9000円いかないのには驚いたが、バイトなんて学生の頃以来なのでちょっと楽しみだ。 働いてみると、想像していたよりもずっとホワイト、というか巨大なシステムの一部として期待されていること以上のことは一切期待されていない、という労働環境なのでなかなか気楽で楽しかった。 休憩を抜くと７時間ほどハンドフォークを引っ張りながら歩きっぱなしだったが、毎日リングフィットをしているおかげかさほどダメージはなかった。 その
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ymils（イム）⚡ on X: "ディスコードの方で、「イギリスのＩＷＦが日本の架空のイラストもＣＳＡＭとして規制する様に主張している」って話で、具体的な物があればＵＲＬを教えて欲しいです、って質問を受けたので調べていたのだけど、とんでもない記事を見つけてしまった。"
「Vim」が愛され続ける理由と、サンプルで学ぶ使い方
group_inou / HAPPENING
【大原雄介の半導体業界こぼれ話】 PCやスマホで使われなくても、実は「金城湯池」が完成していたRISC-V
https://www.amazon.co.jp/dp/4087213129
Androidの「デバイスを探す」が大幅パワーアップ、Bluetoothタグ対応や電源オフのPixel 8を発見可能に
https://x.com/kane_hisa/status/1776917626461266318?s=09