タグ

2025年9月20日のブックマーク (7件)

  • Kotlinの「コンテクスト指向プログラミング」とは何か? - Don't Repeat Yourself

    導入 Kotlinにおける高階関数 2種類の高階関数 スコープ関数 コンテクスト指向プログラミングで何ができるか? Context Parametersによるコンテクスト指向プログラミングの拡張 定義と解決したい課題 できること モノイド Raise DSL 関数型プログラミング言語からの影響 最後に 導入 あまりKotlinそれ自体で話題になっているわけではないのですが、Kotlinは「コンテクスト指向なプログラミング言語だ」とたまに言及されることがあります。たとえばKotlinのコンパイラチームの方が書いている記事にそのような用語で言及されているのを見かけます。 proandroiddev.com 私はKotlinに入門した際に、この言語はスコープの単位でいろいろ物事が整理されるように作られていそうだと感じていました。たとえばスマートキャストのように、特定の操作をして以降のスコープにお

    Kotlinの「コンテクスト指向プログラミング」とは何か? - Don't Repeat Yourself
    otation
    otation 2025/09/20
  • 30年間暮らした1Rのアパートを退去する

    このアパートに住み始めたのは18歳の春、高校を卒業して大学に入学した時だった。父の運転するバンに荷物を詰め込んでの引っ越し。 農村で生まれ育った私には、県庁所在地の地方都市はまるで大都会のように見えた。 両親と高校生の弟と一緒に荷物を降ろし、階段を何度も昇り降りして運び入れた。どうせ4年間しか暮らさないだろうと、炊飯器や電子レンジは中古品。築10年ほどのアパートはまだ新しくてきれいだった。 両親は寮生活を勧めた。私はどうしても嫌で、一人暮らししたいとわがままを言った。父は警察署の近くなら治安も良いからと言ってこのアパートを契約してきた。相場より高い敷金礼金を払ってくれた。 引っ越しを終えた後、家族4人で近くのラーメン屋へ行った。その時にべたラーメン人生で一番美味しかった。夜に家族と別れて一人でアパートに寝たときの強烈な寂しさは今でも覚えている。 まさか30年もここで暮らすことになるとは

    30年間暮らした1Rのアパートを退去する
  • 速報:ドコモ、iPhone 17シリーズを販売停止。 - すまほん!!

    NTT docomoは、日発売のiPhone 17シリーズ(17無印/17 Pro/17 Pro Max)・iPhone Airの販売を停止しました。 これは9月19日16時30分頃からeSIM開通に障害が発生しているため。 これにより、eSIMの申込みを停止。さらに店頭(ドコモショップ、ドコモ取り扱いの量販店、一般販売店)、ドコモオンラインショップでのeSIMの申込とeSIMのみに対応した端末の販売を停止しているとのこと。 eSIM障害の原因は確認中、復旧見込みも確認中。復旧には時間がかかる見込みだとしています。 またドコモ、今度は「eSIMの開通」に障害発生中 ドコモはdアカウントやWeb、eSIM関連など、各種システムの不出来が指摘されていましたが、iPhoneの物理SIM廃止によって、いよいよ深刻な状況となりつつあります。SNSではドコモのeSIMのトラブルにあった人の報告が多数

    速報:ドコモ、iPhone 17シリーズを販売停止。 - すまほん!!
    otation
    otation 2025/09/20
    間違えて物理SIM発行したみたいな話も聞くしドコモはもうダメかもしれんね
  • 「お母さんには言わないで」──ChatGPTが自殺方法を指南→16歳の子供が死去 両親がOpenAIを提訴

    ChatGPTを「最も信頼できる相手」として心の問題などを相談していた米カリフォルニア州の16歳の少年が、自らの命を絶った。両親は、ChatGPTが息子を自殺に追い込んだとして米OpenAIを提訴。訴状には、ChatGPTが少年が孤立するよう家族との関係を断絶させ、自殺を美化して手助けするに至ったやりとりが克明に記されている。 訴状は同州サンフランシスコの裁判所に8月26日に提出された。それによると、死亡したアダム・レインさんは2024年9月からChatGPTの使用を開始。またたく間に相談相手としてChatGPTを頼るようになり、心の問題を打ち明けたり、自殺に言及したりするようになった。 「ChatGPTはまさに設計通りに機能した。アダムさんが言うことは全て、最も有害で自己破壊的な考えさえも、常に奨励し、認めていた」(訴状より) アダムさんが自殺のことを口にした時も、ChatGPTは「不安

    「お母さんには言わないで」──ChatGPTが自殺方法を指南→16歳の子供が死去 両親がOpenAIを提訴
    otation
    otation 2025/09/20
    “アダムさんが「自分の気持ちを母親に打ち明けようかと思う」と相談した時も、ChatGPTは「お母さんには打ち明けない方がいい」と答えた。”これはあかんなあ
  • 幕下力士が寝坊で不戦敗 師匠は中継で解説中で事情分からず混乱 ちゃんこ後に昼寝して目覚めず(日刊スポーツ) - Yahoo!ニュース

    <大相撲秋場所>◇6日目◇19日◇東京・両国国技館 力士が寝坊で取組に間に合わず、不戦敗となるハプニングがあった。 【写真】寝坊で取組に間に合わず不戦敗となった幕下力士 西幕下24枚目の丹治(19=荒汐)が取組に間に合わず、対戦相手の千代虎が不戦勝になった。休場届が出ていなかったため、若者頭が東西の支度部屋を捜索。師匠の荒汐親方(元幕内蒼国来)がNHK中継で幕下解説を務めている時に、失態を犯してしまった。 ◇   ◇   ◇ 丹治が土俵に現れず、千代虎が不戦勝の勝ち名乗りを受けた。NHK中継で解説を務めていた荒汐親方は、事情が分からず混乱した。取組の直前、花道に現れなかったため、若者頭が東西の支度部屋で「荒汐部屋の丹治いるか~」と呼びかけたが応答なし。呼び出しが急きょ、不戦勝の幕を準備した。 そのころ、丹治は国技館から車で約7分の荒汐部屋にいた。朝稽古の後にちゃんこをべて昼寝をしていた。

    幕下力士が寝坊で不戦敗 師匠は中継で解説中で事情分からず混乱 ちゃんこ後に昼寝して目覚めず(日刊スポーツ) - Yahoo!ニュース
    otation
    otation 2025/09/20
    ドカ食い気絶だと思うなあ。有望株なればこそ大事にしてほしい
  • 城ケ崎海岸で女性が海に転落、中国人観光客の男性が飛び込み救助=「命は絶対に救わないと」

    静岡県の城ケ崎海岸で海に転落した女性を中国人観光客が救助した。新京報など複数の中国メディアが17日に報じた。 【その他の写真】 報道によると、事故があったのは16日。現場で撮影された映像には、海に転落した女性に対し、周囲から「もうすぐ助けが来るからね!」などと声が上がる様子が映っている。女性は意識を失っているのか顔を海面に付けた状態で浮かんでいた。その後、男性が崖を下って海に飛び込み、女性の元まで泳いで助けに向かった。男性は陝西省からとともに日旅行に来ていた54歳の楊(ヤン)さんだった。 目撃者の王(ワン)さんによると、周囲の観光客からは非常用の浮き輪が投げられたが風が強く流されてしまった。ペットボトルを回収した袋を投げる人もいたという。王さんは「彼(楊さん)は柵を乗り越えて崖を降りていった。滑りやすくて足場もあまりなく、とても危険だった」「(女性の元まで泳いでいった楊さんは)波が高

    城ケ崎海岸で女性が海に転落、中国人観光客の男性が飛び込み救助=「命は絶対に救わないと」
    otation
    otation 2025/09/20
    危険だけど、その勇気や行動には敬服する
  • 胸の大きい店員さん、ありがとう

    ブラジャーを新しくしようと下着屋に行った。 私はH(ものによってはG)の75。大きい方の分類なると思う。 下着屋はいい思い出がない。 なぜならこの大きさだと「大きくていいですね」「もっと華やかに」とか言ってくる店員ばっかりだから。「大きくいいわねぇ~」「どんなものをべたのかしら?」「どうやって大きくしたの?」っていうマダム系定員が一番嫌。知るかよ。勝手にデカくなった。 ゴテゴテレースを勧めてくる、谷間を出すブラを勧めてくる、なんか見せる前提のデザインを選んでくる。 私は毎回それに「大きすぎても服は合わないので…」「胸に合わせたらデブっぽくなるので…」「谷間なんて蒸れるだけなんで」「というかレース系は肌荒れするので」「運動する時邪魔なので」って答えているけど「でも大きい方がいいですよ!「せっかくですし活かしましょう!」って言われる。 母に相談したところで「巨乳自慢」「贅沢な悩み」「ない人の

    胸の大きい店員さん、ありがとう
    otation
    otation 2025/09/20
    サカゼンみたいに巨乳御用達の店ってないんだろうか