迷惑系YouTuberに絡まれたときはディズニーの楽曲を大音量で流すと著作権侵害を恐れて逃げていくらしい→「なんか怪異を念仏で退けるやつに近いものを感じる」砂鉦たこま⭐にこにこゲームするVtuber @saganeTkm_201 その昔、無人島に遭難したらSOSを書くよりも 丸を３つ書くといいっていう冗談がありましたわね……。 (今は効果ない気がする) x.com/jOFBOYmtAUebar… 2025-09-02 16:14:03
新刊『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』 の発売を9/4に予定しています
ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日（木）、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ
ノア・スミス「スウェットショップより酷いことなんてスウェットショップがないことだけ」（2025年7月30日）
貧しい国々はどうにかして豊かになるしかない．これは，実地で立証済みの方法だ． Photo by Fahad Faisal via Wikimedia Commons 今日はアメリカ政治について書く気でいたんだけど，ネット上の議論でスウェットショップが話題にのぼったので，かわりにこれをとりあげよう．ソーシャルメディアで経済について興味深くて中身のある議論を交わす機会なんて滅多にない．だから，いざそういうネタが出てきたときにはすかさず楽しませてもらうことにしてるんだ． 議論の発端は，アメリカンイーグルのブルージーンズ広告だった．その広告で女優のシドニー・スウィーニーが「いいジーンズ」(good jeans) をもってるというダジャレが使われているのを，ソーシャルメディアで進歩派の一部が見とがめた．これは「白人が遺伝的に優れている」のを意味してるというのが，彼らの解釈だ．それからずいぶんとバカげ
倉敷市の楯築遺跡で新たな発掘調査開始へ 市教委が委員会設置｜NHK 岡山県のニュース
倉敷市にある弥生時代後期の国内最大級の墳丘墓「楯築遺跡」について、市の教育委員会は遺跡の復元に向けた新たな発掘調査を行うことになり、専門家による委員会を立ち上げました。 倉敷市で開かれた楯築遺跡発掘調査委員会の初会合には、考古学の専門家からなる６人の委員が出席し、発掘調査の具体的な方法やスケジュールなどを協議しました。 「楯築遺跡」は弥生時代後期の国内最大級の墳丘墓で、昭和５１年から岡山大学が行った調査で、埋葬施設から首飾りなどの副葬品とともに、大量の朱が見つかり、当時岡山にあった「吉備」の国をまとめていた首長が葬られていると考えられています。 昭和５６年に国の史跡に指定されていますが、一部は昭和４０年代の宅地開発による造成や、給水塔の建設に伴って破壊され、これらの箇所は史跡指定から除外されています。 このため倉敷市教育委員会は、ことし２月に撤去した給水塔の跡地などで、遺跡の復元に向けた新
鶴田一郎さんの美女画が印象的な、ノエビア「コスメティックルネッサンスシリーズ」のTVCMは昭和よりも平成での放送期間が長い
鶴田一郎ギャラリー【公式】 @tsuruta_bijinga 平成生まれ、昭和生まれとXが賑わっているようなので余談を💡 よく昭和世代から懐かしいと言っていただけるノエビア「コスメティックルネッサンスシリーズ」は昭和62年〜11年間に渡り放送され、実は平成の方が長いのです。 今日はちょうど「テレビCMの日」 平成世代の方にも刺さると嬉しいです😊 pic.x.com/qVOCDxzfeY 2025-08-28 09:28:58 リンク Wikipedia 鶴田一郎 鶴田 一郎（つるた いちろう、1954年4月13日 - ）は日本の画家。独特のタッチで描かれた日本女性の美人画で有名である。 1987年5月から1998年5月まで続いたノエビアのCM「コスメティックルネッサンス」シリーズで起用されたことで有名となった。近年は美人画のみならず、現代の鶴田流琳派をテーマに「雪」「月」「花」や「海を
オンラインカジノ問題を契機に政府がまたサイトブロッキング法制化の検討を開始、今回はどうなる？ #ぽっとら | HON[.]jp News Blog
《この記事を読むのに必要な時間は約 16 分です（1分600字計算）》 「ぽっとら」は、HON.jp News Blog 編集長 鷹野凌がお届けするポッドキャスト「HON.jp Podcasting」の文字起こし（Podcast Transcription）です。2025年4月22日に配信した第28回では、政府がまたサイトブロッキング法制化の検討を始めたという話題について語っています。 #28 またサイトブロッキングが検討 こんにちは、鷹野です。今回は「サイトブロッキングがまた検討」というテーマでお話します。サイトブロッキングといえば、2017年くらいですか。「漫画村」なんかの海賊版サイトが猛威を振るって大きな問題になりました。そのとき、ブロッキングをしようかという（政府による）検討がなされたことが、けっこう記憶に新しいです1揺れる「通信の秘密」、ブロッキング問題の根幹〈日経クロステック（
![オンラインカジノ問題を契機に政府がまたサイトブロッキング法制化の検討を開始、今回はどうなる？ #ぽっとら | HON[.]jp News Blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/ded6815b68b9b3fb17c2a88144b5b1e9e24e140b/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fhon.jp%2Fnews%2Fwp-content%2Fuploads%2F2025%2F08%2Fpottora.jpg)
歯周病を治療することで動脈硬化につながるリスクを軽減できるかもしれないとの研究結果
これまでの研究で、歯の健康は認知症リスクや糖尿病リスクに関連しているほか、重度の歯周病が心血管疾患のリスクを高めることも指摘されてきました。新たな研究では、重度の歯周病を治療すると動脈硬化につながる「頸(けい)動脈の肥厚」を遅らせることができると示されました。 Periodontitis treatment and progression of carotid intima-media thickness: a randomized trial | European Heart Journal | Oxford Academic https://academic.oup.com/eurheartj/advance-article/doi/10.1093/eurheartj/ehaf555/8237946 Getting gum disease treatment may protect y
100歳のノーベル賞学者が語る量子力学 江崎玲於奈さんが越えた壁：朝日新聞
今年、100歳を迎えたノーベル物理学賞受賞者の江崎玲於奈さんが8月、朝日新聞のインタビューに応じた。今年は、江崎さんが30代の時に、実験で正しさの証明に貢献した「量子力学」の提唱から100周年にあた…
マルウェアと戦い続けた34年間、その先は「ドローン戦争」との戦い ―ミッコ・ヒッポネン氏 (1/3)
「DEF CON 33」で講演を行う、WithSecure CRO（主席研究員）のミッコ・ヒッポネン（Mikko Hypponen）氏 34年間にわたってマルウェアと戦い続けてきたサイバーセキュリティ業界の“ロックスター”、ミッコ・ヒッポネン氏が、ついにセキュリティ業界を去るときがきた。 世界中のセキュリティイベントで講演を行ってきたヒッポネン氏が、最後の舞台に選んだのは、2025年8月8日に米国ラスベガスで開催された「DEF CON 33」だった。そこで行われた講演のテーマは「Building a Malware Museum」。彼がキュレーターとなり、マルウェアを“アート作品”として展示する、新しいミュージアムについての講演だ。 インターネット黎明期からマルウェアと戦い続けてきた彼が、どのような思いを込めてマルウェアのミュージアムを残すのか。講演と単独インタビューを通じて、ヒッポネン氏
自治体に「参政党になぜ施設を貸し出したのか」という抗議があったが「貸す理由」ではなく「貸してはならない理由」がある場合でないと拒否は難しい 専門家の解説
Shin Hori @ShinHori1 弁護士。Master of Arts in Theology (Lucent University))。2冊目の著作『「リベラル」ではない人のための憲法のお話』(かもがわ出版)発売中！ amzn.asia/d/0dSXYYLg ブログは note.mu/horishinb note.mu/horishinb Shin Hori @ShinHori1 何故貸し出したのかと言えば、地方自治法244条2項及び堺市条例(施設関係は複数あり)で定める拒絶の事由がないと判断されたからなので、窓口で問い合わせても意味はないと思います。 "何か貸す理由がある"ではなく"貸してはならない理由がない"という判断だったのでしょうから。 x.com/horimotom/stat… 2025-08-31 20:44:22
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
文学部でIT技術を学べる慶應義塾大学の図書館・情報学 「情報を扱う力」が評価、コンサルなどに就職 | 朝日新聞Thinkキャンパス
OpenAIとAnthropic、AIモデルの安全性評価を相互実施