bxmcrのブックマーク / 2024年2月16日

bxmcr id:bxmcr

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

数学の定義は本当に厳密で一意なものと言えるのか気になりました
たとえばユークリッド幾何学での直線は「幅をもたず、両側に方向に無限にのびたまっすぐな線」だそうですが、これも「幅」とは？「(幅を)持つ」とは？両側とは？「方向」の定義は？「無限(限りが無く)」とは？そもそも「限り」って何？「のびる」とは？「まっすぐ」とは？「線」と結論づけるのは循環論法じゃないの？と突っ込む人にとっては厳密ではなくなっていませんか？ここで、これらの言葉の意味は、国語辞典に載っている意味と同じものだよなどといおうものなら、それこそ数学の厳密性を否定したようなものになってしまっていると思います。たとえば「方向」を調べたら「向くこと」とでます。これを調べると「物がある方向を指す」というふうに出ます。これは循環論法に陥ってますし、「物の正面があるものに面する位置にある」という別の語釈もありますが、物とは？正面とは？面するとは？位置とは？となります。これを繰り返せば結局どこかで
bxmcr 2024/02/16
リンク
史上初のiOSに対応したトロイの木馬「GoldPickaxe」が発見される
開発者がアプリを実験的にリリースするための仕組み「TestFlight」等を悪用して端末に侵入する史上初のiOS版トロイの木馬が発見されました。報告によると、「GoldPickaxe」と名付けられた当該マルウェアは、被害者の銀行口座から資金を引き出すために利用されるそうです。 Face Off | Group-IB Blog https://www.group-ib.com/blog/goldfactory-ios-trojan/ First ever iOS trojan discovered — and it’s stealing Face ID data to break into bank accounts | Tom's Guide https://www.tomsguide.com/computing/malware-adware/first-ever-ios-trojan-d
bxmcr 2024/02/16
リンク
SpaceXが運用中のStarlink衛星100基を自主的に大気圏に突入させて処分することを発表
SpaceXが2024年2月12日、軌道上での故障の懸念があることから、運用中のStarlink衛星のうち、100基を軌道から離脱させ、大気圏に突入させて処分する計画を発表しました。 Commitment to Space Sustainability (PDFファイル)https://api.starlink.com/public-files/Commitment%20to%20Space%20Sustainability.pdf SpaceX takes a proactive step toward responsible behavior in orbit | Ars Technica https://arstechnica.com/space/2024/02/spacex-takes-a-proactive-step-toward-responsible-behavior-in-
bxmcr 2024/02/16
リンク
選択的夫婦別姓　保守色強い町議会に広がった共感 | 毎日新聞
婚姻時に夫婦が同姓か別姓かを選べる「選択的夫婦別姓」制度。導入に向けて法務省の法制審議会が民法改正を答申してから28年がたつが、自民党保守派が「家族の伝統が壊れる」などと反対し実現していない。一方、保守色が強いとされる地方で、共感が広がった町議会がある。理解を広げるヒントを探しに、現場を取材した。【佐々木雅彦】「仲間の多くの議員は家族が崩壊するような気がしていた。でも説明を聞いたら、そんなことはないと思えるようになったようだ」。香川県小豆島町議会の保守系グループ「さつき会」会長の谷康男さん（67）＝自民党＝はこう話す。さつき会は、全町議14人のうち9人が所属する。
bxmcr 2024/02/16
自民党

政治

結婚
リンク
- 2024年2月17日
- 2024年2月16日
- 2024年2月15日