このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論

Published 2024/06/07 18:30 (JST) Updated 2024/06/07 23:44 (JST) 宮崎県延岡市の読谷山洋司市長は7日の定例記者会見で、過去に2回、男性職員らの前で男性器の俗語を使った表現で業務の指示をしていたと明らかにした。「より砕けた表現を用いて真意を伝えようとして、不適切な発言をしてしまった」と謝罪した。 市長によると、市の新規事業に関して庁内で協議していた際、担当部署が作成した資料に対して男性器の俗語を交え「覚悟がない」という趣旨の発言をし、文章の表現変更を指示。女性職員は同席しておらず、詳細な時期は不明という。 市長は「少年時代に叱咤激励される際に言われた表現だった。強い意志と責任感を持って事業を進めなければいけないと言うべきだった」と述べた。

ニューヨーク（ＣＮＮ） 米炭酸飲料業界紙は６日までに、市場シェアで「ドクターペッパー」が昨年、長らく２位の座にいた「ペプシコーラ」をついに抜いたと報告した。 首位は依然、コカ・コーラで、２位に大差を付ける１９．２％の占有率を獲得。同業界紙「ビバレッジ・ダイジェスト」のデータによると、ペプシコーラとドクターペッパーは共に８．３％だったが、「厳密に言えば」としてドクターペッパーが上位にあるとした。 他のブランドではコカコーラ系列の「スプライト」が８．１％、「ダイエットコーク」が７．８％だった。 同紙の編集責任者はＣＮＮの取材に、ペプシコーラとドクターペッパーは競り合っているが、ドクターペッパーには勢いがあり、ペプシコーラは失速していると指摘した。 ２３種類の原料を使っているとされるドクターペッパーはここ数年、人気を高めており、ぴりっとした飲み口はコーラの代替品になるとの評価も得てきた。 ドクタ

唐木元 @rootsy おれがいちばんトキシックマスキュリニティというやつを痛感したのは、アメリカにはかなりの数「運転中に方向指示器を出さない人」というのがいるんですが、あれが怠惰というより「方向指示器を出すのはなんか女々しい」という心理によって駆動されているということがわかってきたときです。 2024-06-05 11:53:19 唐木元 @rootsy 正確には「女々しい」と「優等生くさい」のミックスなのだが、こういうくだらない話は本を紐解いてもほとんど書かれていなくて、いちいち現場で少しずつ聞き集めた結果わかってきたことだった。 2024-06-05 11:56:00

鮎 @SH51_mitkat ネットにおいて、広告って「迷惑コンテンツ」で、アプリ課金で広告が消えるみたいなのって「迷惑を取り除いてもらう代金」になってるじゃないですか　こんな状況で広告主は広告に価値があると信じて、金を出して広告を載せたがるの、かなり信じられない状況で、虚構なんじゃないかと思う 2024-06-02 01:28:38 鮎 @SH51_mitkat いつかその虚構性が暴かれて、誰も広告を出さなくなって、金を払わないとコンテンツを享受できない状況になってしまうかもしれない、と想像することがある 2024-06-02 01:36:05

初手でさっさとペニス出すのが良いんだけど、思ったより出すの難しいので、正しいペニスの出し方を解説してみたい。 俺も全然モテない時は、出し方をしくじりまくって逃げられたり、隠しすぎて後からぬいペニ（当時はそんな言葉はなかったけど）状態になったことが、何度もある。 この手のものは何十回も失敗するより、正しいやり方知ってる方が圧倒的に正着打てるようになるので、知見を共有しておく。 俺以外でも成功したペニスの出し方を知ってる方がいたら、ぜひその時のロールプレイを紹介してあげて欲しい。 ・早い段階で「自分は（あなたが）好き」と軽く告白する 自分は○○さんのことめっちゃ好きだけどね。と直接伝える。 もちろん重めに言ったらヤバいやつなので、あくまで軽く。 その布石として「性格が超良い」「趣味めっちゃ合う」「話が面白い」「人の気持ちなんでそんなわかるの？？」 など相手を褒めまくって、まんざらでもなさそうな

共働きで生活を楽にしたかったので婚活して所得が近い人と結婚した 子どもは双方納得の上つくらないと決めている 私は家庭環境に難があったので実家とは絶縁しており頼れる身内はいないし、友人も少ない かといって趣味もないし、何事も中途半端で人に誇れる特技もない 自己顕示欲は醜いものという感覚があり、SNSはROM専で一言も発言していない そして子どもがいないと本当に暇 一方で自己研鑽するわけでも仕事に打ち込む熱意もない じゃあ何してるのかというと、ここ3年ほどは無限に猫の動画を見ている 強いて言えばやりたかったことは、猫と暮らすことだったが 配偶者が猫アレルギーなので諦めている 最近あまりにも人生が無為すぎて トラックが突っ込んでこないかなとか シャワー浴びる時に心臓が止まらないかなと考えてしまう 能動的に死にたいほどではないのだけど

市立船橋で一時代を築いた名将が高校サッカー界で再出発。朝岡隆蔵監督がふたば未来学園で描く新たな未来 06-10 16:42

太鼓屋P @taikoyaP 「快活CLUBの『鍵付き個室』では店で売っている飲食物を食べられない。持ち込みはOK」 という話を聞いたので理由を調べてみたら、 「鍵付き個室内で『飲食をさせる』と風営法3号営業に該当するが、客が持ち込んだ物を食べる分には該当しない」 というトンチみたいな理由らしいと判明して爆笑してる。 2024-05-31 12:05:00

anond:20240531110922 これを読んで昔の彼氏のことを思い出したのでちょっと書く。この増田の話と私の話が同じとか言うつもりはない思い出しの書き散らしだ。 私の元彼は優先席でなくても電車でお年寄りや子供連れを見つけたら速攻で立って譲るとか、ゲームセンターで取れたぬいぐるみを子供にあげるとか、街中で迷ってるぽい人がいたら声かけて道案内するとか、お年寄りの荷物持ってあげるとか、フィクションの登場人物か？ってくらい人助けをする人で、それは別にデート中とか関係なく行われる超正しい人であった。そういうところが好きだったんだけど、そういうところが原因で別れた。 ひとつのことが原因というより積み重ねだったのだけれど、一番決定的だったのは彼と私が好きだったキャラクターのショップに限定商品を求めて並んだときのことだ。この手の行列にしては短いのかもしれないけど、一時間半くらい外で並んで整理券を手

東京の人、美術館にすぐいけるって言うわりに、具体的に好きな画家や写真家、彫刻家の話は出ない 大きい本屋や図書館が充実してるっていうわりに、本の話題はラノベしか漫画しか出ない イベントにしょっちゅういける、ライブハウスがたくさんあるっていうけど、話題になるのはせいぜいオタクライブ 文化資本にアクセスしやすい＝文化資本があるではないんだよな 家にギターがあってもギターが弾けないみたいな感じ 追記ブコメでいっぱいイキってる人が出てきて良いもの見せてもらったって感じある よかった。

リンク 日本経済新聞 キャリア官僚合格、東京大学出身者が過去最少 試験倍率は最低に - 日本経済新聞 人事院は28日、2024年度春に実施した国家公務員総合職試験の合格者を発表した。合格者数は1953人だった。大学別にみると東大出身は189人で、12年度に現在の試験制度となって以降、過去最少となった。総合職試験の倍率は7.0倍で、23年度春の7.1倍に比べて低下し最低となった。女性の合格者は652人で合格者全体の33.4%を占め、過去2番目に多かった。出身大別では京大（120人）、立命館大（ 36 users 336 ところてん @tokoroten お手伝い先の新人に 「できるビジネスパーソンは、自らの仕事上の課題を、マックの隣の席の女子高生の雑談だとして友人に相談する」 という話をした 社会人において優秀かどうかは、本人の能力ではなく、人脈を活用してでも仕事ができるかどうかであり、ND

お笑いコンビ、千原兄弟の千原せいじ（54）がYouTube番組で話した西アフリカ・シエラレオネ共和国に関する情報について、同国でさまざまな支援活動を行うNPO法人アラジの代表理事、下里夢美氏が自身のX（旧ツイッター）で誤りを指摘し、公式に謝罪するよう忠告した。 せいじは26日、YouTubeチャンネル「ReHacQ－リハックー」に出演。リモート出演した「2ちゃんねる」開設者で元管理人の「ひろゆき」こと西村博之氏（47）と対談し、これまで仕事やプライベートなどで訪れた海外の国々での危険な体験などについてトークした。訪れたアフリカの国々は33カ国以上にもおよぶといい、各国の文化の違いや民族の特色などについて語る中で、シエラレオネについても言及。ひろゆき氏から「ゲリラが多くてめっちゃヤバいところじゃないですか」と指摘されると、「そうです、めちゃくちゃヤバかった。半分の人は腕ないんですもん。ダイヤ

東京都知事選（6月20日告示、7月7日投開票）への3選出馬が確実視されている現職の小池百合子知事に28日、都内に62人いる区市村長のうち実に52人の有志が参加して立候補を要請した。この動きに加わらなかった首長たちは何を思っているのか。（社会部、立川支局、デジタル編集部）

この記事の概要 ・本記事は、東京都の文章生成AI利用ガイドラインに基づき、都職員による生成AIの活用事例集の評価と改善案を提案しています。 ・著者は生成AIを利用した事業でCTOを務める株式会社Trippyのsaip (@_saip_) です。 ・東京都が提供する事例集には創意工夫が見られる一方で、プロンプトの誤用や古い認識も指摘されています。 ・平易な言葉を使用し、ChatGPTの活用法について解説しており、AIを使ってストレスフリーな生活を送る方法を提案します。 ・良いプロンプトの作成方法やマークダウン記法の正しい使用方法、高品質なプロンプトの例も紹介しています。 ・AIとの効率的なコミュニケーションを促進するための具体的なテクニックが多数含まれています。 GPT-4で作成こんにちは、saip (@_saip_) です。 生成AIを利用した事業をしている株式会社TrippyでCTOを務

コブ＠いつも心に別アース @kobu_wird 「そのTシャツいいね！どこで買ったの？」って聞いたら、「あっ彼女居ます」って言われたことあるな 話を聞けそのTシャツはどこで買ったんだよ！！！！ x.com/whoareyou0912/… 2024-05-28 15:13:07 ゆー @whoareyou0912 大学の飲み会で「趣味は旅行です」と話したら、前に座っていた男の先輩から「次はどこに行きたいの？」と聞かれて「まだ具体的には決めていなくて。○○さんのオススメはありますか？」と世間話を広げたつもりが、なぜか「いや、俺、彼女いるんで😅💦」と誘ってもないのに謎にお断りされたことがある🥹 x.com/usagitoseino/s… 2024-05-26 15:35:14

簡単に特定できてしまうので少しフェイクを入れてある。 頭がパッパラパーになっているので読みにくいかもしれない。 先週土曜日、25日の話だ。 結婚しようと決めたので結婚指輪を作ろうとした。ただそれだけのシンプルな話になる予定だった。 「指輪のベースができた」と指輪屋から連絡があったので、フィッティングとオプションの「自分達で刻印を入れる」をやる日時を決めた。これは両者合意の上での決定。このオプションは婚約者がかなり乗り気だったので追加したものだ。 交通の便の関係で、どうしても店周辺には2時間程早く到着してしまう。 「その間に昼食をとればいいだろう」という事で、飲食店に入って食事をとっていた。が、この直前ぐらいから婚約者の様子が明らかにおかしい。 水木金と体調を崩して仕事を休んでいたのでそれがまた悪化したのかもしれない。 婚約者は公共交通機関が苦手なので、それを乗り継いできたから気分が悪いのか

人気ラーメン店「ラーメン二郎」の新宿歌舞伎町店で28日、調理中に火事があった。 分厚いチャーシューと、山盛りのモヤシが特徴的なラーメン二郎は、行列の絶えない店として知られ、「ジロリアン」と呼ばれる熱狂的なファンが数多くいる。 長野県から来たというジロリアンの男性は火事でラーメンを食べられなかったのか、「楽しみだったんですよ。あとちょっとだったんですけどね...」と話した。 火災発生時、店内に居合わせた客が撮影した動画を見ると、炎が天井近くまで上がっていた。 しかし、居合わせた客によると、煙が立ち込め始めたあとも、しばらくは店員から何も指示されず、ラーメンを食べ続けていたという。当時の様子について「火とか煙が出ている中、普通に営業していた。客は15人ほどいて、みんな座っていた」と振り返った。 店員が避難の指示を始めたのは、炎が大きくなってからのことだったという。 火災に居合わせた客は、「火が

東京オリンピック・パラリンピックの選手村を改修した巨大マンション群「晴海フラッグ」。 ここでは販売にあたって申し込みが殺到し、多額の投資マネーが入っているのではないかという指摘がありました。その実態はどうなっているのか。私たちは1000戸あまりの登記簿を取得し、すべての所有者を調べてみることにしました。その驚きの結果は… ※私たちは「不動産のリアル」と題して、各地の不動産事情を取材しています。ぜひ晴海フラッグに関する情報などもこちらまでお寄せください。 （首都圏局 不動産のリアル取材班／記者 牧野慎太朗・竹岡直幸） 今月（5月）26日、「晴海フラッグ」で開かれた「まちびらき」のイベントに足を運びました。イベントには、東京大会のオリンピアンも参加し、ここが選手村だったことを思い起こさせました。周囲には新たな商業施設もオープン。家族連れなどの姿も目につき、新たな街の誕生を感じさせました。 晴海

たくさん食べるのがかわいくて結婚した妻は結婚十年で70kgになっていた。そろそろ痩せたら？とアドバイスしたら「こんな食生活で痩せられるわけないじゃん」と言われた。正直この時は痩せられない言い訳としか思えなかった。 妻が何しても俺からは文句言わないという約束の元ダイエットスタート。妻は人が変わったようだった。 今まで食べていた子どもの残した飯は捨てる。賞味期限が切れた食材、傷んだ食材も容赦なく捨てる。ねぎらいの気持ちでときたま俺が買っていたスイーツも「ありがとう〜」と言いながら即ゴミ箱行きになったのは衝撃だった。 これは精神衛生上よろしくないと話し合いの場をもうけたところ、妻は今まで嫌々食べていたものが山ほどあったことが発覚した。 俺が何度言ってもスイーツを買ってくること、俺に「食べてみたら？」と勧められたものは断っても「意地張らないで」など食べるまで言われ続けるから早く解放されたくて食べて