砂鉦たこま⭐にこにこゲームするVtuber @saganeTkm_201 その昔、無人島に遭難したらSOSを書くよりも 丸を3つ書くといいっていう冗談がありましたわね……。 (今は効果ない気がする) x.com/jOFBOYmtAUebar… 2025-09-02 16:14:03
ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年9月4日(木)、井上亜星著 『ゼロから始めるLean言語入門 ― 手を動かして学ぶ形式数学ライブラリ開発』の発売を予定しています。 書名にもある通り、本書はLeanという比較的新しいプログラミング言語の入門書です。プログラミング言語としてのLeanは、いわゆる関数型言語の仲間と言えます。 他の関数型言語、とくにHaskellを使ったことがあれば、典型的なアルゴリズムやデータ構造を扱うLeanのコードをなんとなく書けるかもしれません。その程度には「ふつうの言語」であるとも言えます。 しかしLeanには「ふつうの言語」にはない大きな特長もあります。具体的には、「数学の証明をソフトウェアとして形式化できる」あるいは「プログラムの挙動に対する証明ができる」という、定理証明系としての側面です。本書では、そのうち「数学の証明をソフトウ
貧しい国々はどうにかして豊かになるしかない.これは,実地で立証済みの方法だ. Photo by Fahad Faisal via Wikimedia Commons 今日はアメリカ政治について書く気でいたんだけど,ネット上の議論でスウェットショップが話題にのぼったので,かわりにこれをとりあげよう.ソーシャルメディアで経済について興味深くて中身のある議論を交わす機会なんて滅多にない.だから,いざそういうネタが出てきたときにはすかさず楽しませてもらうことにしてるんだ. 議論の発端は,アメリカンイーグルのブルージーンズ広告だった.その広告で女優のシドニー・スウィーニーが「いいジーンズ」(good jeans) をもってるというダジャレが使われているのを,ソーシャルメディアで進歩派の一部が見とがめた.これは「白人が遺伝的に優れている」のを意味してるというのが,彼らの解釈だ.それからずいぶんとバカげ
倉敷市にある弥生時代後期の国内最大級の墳丘墓「楯築遺跡」について、市の教育委員会は遺跡の復元に向けた新たな発掘調査を行うことになり、専門家による委員会を立ち上げました。 倉敷市で開かれた楯築遺跡発掘調査委員会の初会合には、考古学の専門家からなる6人の委員が出席し、発掘調査の具体的な方法やスケジュールなどを協議しました。 「楯築遺跡」は弥生時代後期の国内最大級の墳丘墓で、昭和51年から岡山大学が行った調査で、埋葬施設から首飾りなどの副葬品とともに、大量の朱が見つかり、当時岡山にあった「吉備」の国をまとめていた首長が葬られていると考えられています。 昭和56年に国の史跡に指定されていますが、一部は昭和40年代の宅地開発による造成や、給水塔の建設に伴って破壊され、これらの箇所は史跡指定から除外されています。 このため倉敷市教育委員会は、ことし2月に撤去した給水塔の跡地などで、遺跡の復元に向けた新
鶴田一郎ギャラリー【公式】 @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「コスメティックルネッサンス」シリーズで起用されたことで有名となった。近年は美人画のみならず、現代の鶴田流琳派をテーマに「雪」「月」「花」や「海を
《この記事を読むのに必要な時間は約 16 分です(1分600字計算)》 「ぽっとら」は、HON.jp News Blog 編集長 鷹野凌がお届けするポッドキャスト「HON.jp Podcasting」の文字起こし(Podcast Transcription)です。2025年4月22日に配信した第28回では、政府がまたサイトブロッキング法制化の検討を始めたという話題について語っています。 #28 またサイトブロッキングが検討 こんにちは、鷹野です。今回は「サイトブロッキングがまた検討」というテーマでお話します。サイトブロッキングといえば、2017年くらいですか。「漫画村」なんかの海賊版サイトが猛威を振るって大きな問題になりました。そのとき、ブロッキングをしようかという(政府による)検討がなされたことが、けっこう記憶に新しいです1揺れる「通信の秘密」、ブロッキング問題の根幹〈日経クロステック(
これまでの研究で、歯の健康は認知症リスクや糖尿病リスクに関連しているほか、重度の歯周病が心血管疾患のリスクを高めることも指摘されてきました。新たな研究では、重度の歯周病を治療すると動脈硬化につながる「頸(けい)動脈の肥厚」を遅らせることができると示されました。 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
「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ページを開く