2024年2月16日のブックマーク (10件)

  • 数学の定義は本当に厳密で一意なものと言えるのか気になりました

    たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは?「(幅を)持つ」とは?両側とは?「方向」の定義は?「無限(限りが無く)」とは?そもそも「限り」って何?「のびる」とは?「まっすぐ」とは?「線」と結論づけるのは循環論法じゃないの? と突っ込む人にとっては厳密ではなくなっていませんか? ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。 たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは?正面とは?面するとは?位置とは?となります。これを繰り返せば結局どこかで

    数学の定義は本当に厳密で一意なものと言えるのか気になりました
    otchy210
    otchy210 2024/02/16
    哲学だな。あなたにとっての赤のクオリアと私にとっての赤のクオリアが異なっていても同じ赤として話に食い違いが生じないように、あなたにとっての線と私にとっての線が異なっていても数学は出来そうに思うが。
  • 立腹…知り合った男性、彼女と浮気か ハンマー買った彼氏、男性と飲酒中に嘔吐…あざ笑った男性に激怒、ハンマーで殴り殺害 遺体入れたキャリーバッグ捨てた彼氏、法廷で認める 弁護士、計画性を否定「犯行は笑いが原因」(埼玉新聞) - Yahoo!ニュース

    2021年12月、職場の同僚のインドネシア人男性=当時(29)=を殺害し、遺棄したとして、殺人や死体遺棄などの罪に問われた、インドネシア籍で無職の男(36)=埼玉県鴻巣市稲荷町=の裁判員裁判の初公判が14日、さいたま地裁(小池健治裁判長)であった。男は「間違いありません」と起訴内容を認めた。争点は量刑で、検察側、弁護側双方とも起訴内容についての争いはない。 女性を監禁し暴行、男ら逮捕 解放するも崖下に突き落とす 女性の泣き声が聞こえ…付近住民が通報 冒頭陳述で検察側は、男は17年に男性と知り合い、自身の交際相手との浮気を疑うなど悪感情を抱くようになったと説明。犯行前日にホームセンターでハンマーを購入し、犯行直前には共に飲酒していたが、酒に酔い、吐いていたところを見られ、嘲笑されたことに腹を立て犯行に及んだと指摘した。 一方弁護側は、犯行は笑われたことが原因で突発的だったとして計画性を否定し

    立腹…知り合った男性、彼女と浮気か ハンマー買った彼氏、男性と飲酒中に嘔吐…あざ笑った男性に激怒、ハンマーで殴り殺害 遺体入れたキャリーバッグ捨てた彼氏、法廷で認める 弁護士、計画性を否定「犯行は笑いが原因」(埼玉新聞) - Yahoo!ニュース
    otchy210
    otchy210 2024/02/16
    「インドネシア籍の男性、職場の同僚をハンマーで殴打し殺害 交際相手との浮気を疑った相手に飲酒中の嘔吐を嘲笑されて 法廷で起訴内容を認める」とか?
  • 「圏外」が無くなる!? 楽天モバイル、スマホと衛星直接通信「面積カバー率100%」へ - すまほん!!

    左:楽天モバイル 代表取締役会長 三木谷浩史氏、右:AST SpaceMobile社の創業者でありChairman兼CEOを務めるAbel Avellan氏 楽天モバイルは戦略説明会を開催。米AST SpaceMobileと共同で、衛星と携帯電話の直接通信によるモバイルブロードバンド通信サービスを2026年内に国内提供を目指すと発表しました。 AST SpaceMobileには、楽天が初の大きな投資を行った経緯があります。その延長線上から戦略提携。 宇宙にある衛星とiPhoneAndroid端末を接続。どこでもインターネットを可能にします。 SpaceMobileの最大の特徴はその衛星の大きさ。巨大なサイズで高出力という発想で、大きな衛星を少なく打ち上げる構想。小さな衛星をたくさん打ち上げるSpaceXのStarlinkとの違いはそこにあります。SpaceMobileなら90基で世界をカ

    「圏外」が無くなる!? 楽天モバイル、スマホと衛星直接通信「面積カバー率100%」へ - すまほん!!
    otchy210
    otchy210 2024/02/16
    なるほど。いったん打ち上げたらハードウェアの更新が難しい衛星通信と、楽天モバイルが持つソフトウェアによる基地局の仮想化ネットワークは確かに相性が良いな。技術的にはかなりの挑戦だけど応援してる。
  • Sora: Creating video from text

    Sora Creating video from text Sora is an AI model that can create realistic and imaginative scenes from text instructions. Read technical report We’re teaching AI to understand and simulate the physical world in motion, with the goal of training models that help people solve problems that require real-world interaction. Introducing Sora, our text-to-video model. Sora can generate videos up to a mi

    Sora: Creating video from text
    otchy210
    otchy210 2024/02/16
    まじかすげぇ。もう進歩が早すぎるんよ。
  • 印税の誤解が広まる前に|紅林 直

    まず印税10%の誤解ですが 多くの方は素人なので分かりにくいと思いますので 紙の単行と電子にわけて話をします。紙の単行の話から 雑誌に掲載されまとめられたものを200P前後で販売するものを 漫画では単行と呼びます。 リミックスと呼ばれたりコンビニ と呼ばれるのが廉価版になります。 廉価版とはお求めやすい価格になった サイズや紙の品質を落としたです。 小説は ハードカバーが単行に相当し 文庫が廉価版になります。 僕たちがよく読む文庫は廉価版になります。 世間で言われている安いという印税10%ですが 安くはないのです。 社会経験者なら分かる数字ですが 世間を知らない人だと安く感じるのです。 各社実は数字が違います。竹書房は紙は初版8%、重版分から10%ですし 名前は言えませんが少なくない数の出版社が 売り上げ分の印税しか払わない会社も存在します。 刷った分の10%が業界で統一さ

    印税の誤解が広まる前に|紅林 直
    otchy210
    otchy210 2024/02/16
    現代の視点から見ると紙時代はそれはそれは無駄の極みだったんだなという風に見える。店頭に置いて売れるか売れないか分かんない物を全国に流通させて 7 割売れたらそりゃすげぇってのはそうだけど、古い仕組みよね。
  • 「povo2.0」が23年末に契約増加、コミケの前週比で2倍超

    「povo2.0」が23年末に契約増加、コミケの前週比で2倍超
    otchy210
    otchy210 2024/02/16
    家族割等のしがらみが一切無い東京住みなら、一台持ちでの現行最強は、メイン回線に楽天でサブ回線に povo だろうと思う。
  • 前明石市長が「壊れてないが保証期間が切れたので交換したい」に対して「止まったら修理すればいい」と返したスタンスは危険に感じる話

    PRESIDENT Online / プレジデントオンライン @Pre_Online プレジデント社のメディアサイト「PRESIDENT Online」の公式アカウントです。前向きに働くすべての人に、明日使える話題の経済や政治、社会のニュースをお届けします。 【Podcast 音声版】podcastranking.jp/1525273315 president.jp

    前明石市長が「壊れてないが保証期間が切れたので交換したい」に対して「止まったら修理すればいい」と返したスタンスは危険に感じる話
    otchy210
    otchy210 2024/02/16
    人の命を預かる機械でこれをやるの違法だったりしないの?
  • 政治家はどこで酒を飲むのか

    「料亭に行きたい」、初当選直後のインタビューで答え、話題となった新人議員がいた(今はいない)。カツラメーカーのコマーシャルは政治家をモチーフにしているが、やはり料亭の一室での密談のシーンだ。映画テレビドラマの影響で、「政治家が飲むところ=料亭」というのがお決まりとなっている。しかし、実際のところ「料亭に行ったことがありますか」と聞かれれば、「ある。でも、ほとんど無い」という答えになる。理由は三つある。一つ目は、「今の政治家は余裕が無い。特に僕のような陣笠は、ものすごく余裕が無い。」ということだ。二つ目は「料亭自体が潰れて、ほとんど残っていない。」、三つ目は「居酒屋チェーンの流行が個室型になり、充分プライバシーが保たれる上に、とっても安い。回転が良いからビールが新鮮で美味い」からだ。確か料亭には当選直後にお祝いで先輩が連れて行ってくれた記憶があるので答えは「ある。でも、ほとんど無い」という

    otchy210
    otchy210 2024/02/16
    読みやすく賢い人の文章だなと言う印象を持った。政治家としての力量は存じ上げないが。
  • 「最近のNISA推しへの疑問」について思ったこと 何も考えずオルカン投資に..

    「最近のNISA推しへの疑問」について思ったこと 何も考えずオルカン投資に違和感一般人が、株式に投資する場合の商品選びは、何も考えずオルカン投資で良いという意味。 持っているお金をすべてオルカンに突っ込めばいいとか、そういう意味ではない。 投資期間について投資に晒す金額x年数で期待リターンがある程度決まるので、若い頃から長期間投資する方が望ましいのはその通り。 たった10年程度の投資ではリターンが不安定なのもその通り。 中高年になってから投資を始めるのは慎重になったほうが良いと思う、 そもそも、元記事の方だと20年以上の投資期間は確保できそうな気がするので、ある程度のリターンは期待して良いんじゃないかと思う。 出口について出口時点で暴落が来たらゲームセットは違うかなと思う。 基的には必要になった金額を必要なだけ取り崩せば良い。 取り崩しを手動で行うのが面倒な場合は、定率や定額で取り崩す機

    「最近のNISA推しへの疑問」について思ったこと 何も考えずオルカン投資に..
    otchy210
    otchy210 2024/02/16
    "定率や定額で取り崩す機能が多くのネット証券で導入" へー、これ知らんかった。いいな。将来普通に個人年金代わりに使うのにとても良い。
  • コンビニの店員は「おにぎりの中身が生か調理済みか」を英語で質問してくる客に英語で対応するべきなのか問題

    寺ピー @DeptofTeraP コンビニのレジ横で商品を見ていると英語が耳に入ってきた。中国からの旅行客らしき女性がレジで店員に "Is this raw or cooked?" 「生なのか調理されてるのか」 と聞いているのが耳に入ってきた。 店員からの返事が聞こえないのでチラッと見ると、持っているのは鮭おにぎり。店員が固まっているので→ 寺ピー @DeptofTeraP 「鮭が生なのか調理済みなのかと聞いてるようですよ」と親切心で店員に伝えた。てっきり訛があって聞き取りにくいのかと。すると店員まっすぐ僕を見て日語で「調理済みです」。いや僕は知ってる…。女性にcookedと言えば良いのでは?2人とも僕を凝視。仕方なくこちらから女性にcookedと伝えた→ 寺ピー @DeptofTeraP 女性は僕に頭を下げてThank you。店員は無言。僕は礼を求めてる訳ではない。ただ、外国人に面と

    コンビニの店員は「おにぎりの中身が生か調理済みか」を英語で質問してくる客に英語で対応するべきなのか問題
    otchy210
    otchy210 2024/02/16
    raw は中高レベルの単語だと思うけど、この文脈の cooked は普通にレベル高い英語では?問題提起した人も「調理した」だと思っているが、raw との対比で「加熱されているか」が聞かれているのよ。