在カナダ米大使館の周辺でデモを行う人々/Ethan Cairns/The Canadian Press/AP via CNN Newsource （ＣＮＮ） カリフォルニア産のトマトはイタリア産のトマトに替え、オハイオ産のペパロニはカナダのオンタリオ産とケベック産の肉に入れ替えた。コカ・コーラは炭酸水にして、カナダ産のメープルシロップで甘味を添えた。 米国のドナルド・トランプ大統領は１月下旬以来、カナダを米国に併合するという脅しを強め、関税措置でカナダ経済を混乱に陥れている。 トロントのウェストエンドでピザ店を営むグレアム・パルマティア氏は、冷蔵庫と棚の中身を入れ替えると客に宣言した。米国産品や米国企業の製品はもう使わない。 怒りというなじみのない感情が、普段は温厚なカナダ人の間に沸き起こっている。 米国とトランプ大統領に対する敵対心は、トランプ氏がカナダからの輸入品に一律の関税をかけると
兵庫県知事選以降、SNSでは誹謗中傷や虚偽を含む動画が拡散しました。似たような動画が大量に作られ、拡散する背景に何があるのか？取材しました。兵庫県知事選を巡っては、立花孝志氏の動画などがネット上に拡散…
Parametric polymorphism is now widely known in the programming community (often by the alternate name generics). They allow one to create types parameterized by another type (e.g. a generic list type), along with functions that work on any type (e.g. the functional programming mainstays map, filter, and reduce ). You may have also heard them called universal types. This last nomenclature comes fro
Existential types are a hot topic in Rust at the moment. In Rust 1.26, a feature was stabilised known as impl Trait. This addition was declared a long-awaited syntax for existential types, but its inclusion was not without some controversy. There seems to be a lot of confusion as to just what impl Trait really means from a type theoretic (viz. precise) perspective, even two months after its stabil
「多相関数を表す全称記号がしゃくに障るワケ」において、多相関数や依存型を表すときに使う全称記号を話題にしました。僕は全称記号反対派ですが、実際には全称記号が使われています。 さてところで、「全称限量された型〈universally-quantified type〉」、「存在限量された型〈existentially-quantified types〉」という言葉を見かけました。型の話に論理の限量子を持ち出すのはやめて欲しいと思っているので、イヤな感じがしました。 とりあえず検索して、解説（らしきもの）を斜め読みしたのですが、現時点では困惑しております*1。$`\newcommand{\mrm}[1]{\mathrm{#1} }`$ 内容： 全称型と存在型（表面的な定義） 集合族の共通部分と合併（なの？） 存在型は指標に関わる？ 指標とモデル 存在型は指標のモデル？ 結局 関連記事： アハハハ
KDDIは、AndroidとiOS間で大容量の画像やデータをやりとりできるRCS（Rich Communication Services）を、β版のiOS 18.4を搭載したiPhone向けに提供している。このほど、利用者向けの専用ページを開設した。 RCSは、GSMAによって世界的に標準化されたメッセージサービスの規格で、SMSを拡張したものだ。長文テキストや画像・動画の送受信に加え、複数人でのグループチャットも利用できる。 Androidでは、Googleの「Google メッセージ」がRCSに対応している。一方、Appleは従来よりApple独自の「iMessage」をiOSでも採用してきた経緯があり、OS標準搭載のメッセージングアプリでOSをまたいだリッチなコミュニケーションは叶わなかった。しかし、iOS 18の登場とともにiOSの「メッセージ」アプリがRCSをサポートした。
Want to learn more about unlimited IOPS w/ Metal, Vitess, horizontal sharding, or Enterprise options? Talk to Solutions By Benjamin Dicken | March 13, 2025 Non-volatile storage is a cornerstone of modern computer systems. Every modern photo, email, bank balance, medical record, and other critical pieces of data are kept on digital storage devices, often replicated many times over for added durabil
はじめに 2022/07から株式会社FOLIOで働いている田口と申します。 私が所属しているチームは、4RAP というプロダクト(金融機関の「投資一任サービス」を実現する SaaS 型プラットフォーム)において、金融機関とのデータのやり取りを行うインターフェイス部分の開発・運用を担当しています。 弊チームではバックエンドの開発言語として Scala を採用していますが、参画するメンバーのうちで Scala を使ったことのある方は2,3割で、大半の方は Scala に親しみがない状態で入社されます。そのため、弊チームでは Scala やライブラリ学習のための知の高速道路としてチュートリアルリポジトリが用意されていることを以下記事では紹介しました。 個人的には Scala に限らず「新しい言語の書き方を勉強するときは競プロなどでめっちゃ簡単な問題をたくさん解く」というのが良いと感じていています
SNSへの投稿が炎上する場合って、無邪気に書いて投稿した結果、検討していなかった軸で見ると、問題があるように見える、という形が多いと思う。 炎上させるぞ、と思って投稿しているわけではなくて、本人が想定していない読解によって、意図しないトラブルが発生している。 投稿：ふるさと納税で淡路島のホテルに来ています。ランチは淡路牛。 筆者の考え：皆に淡路島の魅力を伝えたい 炎上視点：ふるさと納税でホテルに行ける財力をアピールしていて感じが悪い 国語の授業では筆者の考えを読み解きましょう、となるけど、投稿の炎上というのは筆者の考えとは異なる、攻撃力が最大となる軸を発見し、苦言を呈する、という構造。 ベテランのインターネットユーザーなら過去の数々の炎上を体験していることだと思うけど、ベテランになってくると、その投稿まずいんじゃないですか…って身近な人につっこんでもらえにくくなる、という構造もある。 つっ
Background: how we got the generics we have (Or, how I learned to stop worrying and love erasure) 原文はこちら。 This article was written by Brian Goetz (Java Architect, Oracle). http://cr.openjdk.java.net/~briangoetz/valhalla/erasure.html ジェネリクスの方向性を語る前に、まず、ジェネリクスの現在の状況とそこまでの経緯を語る必要があります。この文書では、現在のジェネリクスが、いま作ろうとしている「より良い」ジェネリクスへどのように影響を与えるかの礎として、主として現在のジェネリクスがどのようにしてできあがったのか、そしてその理由についてフォーカスします。 特に、2004
Tweet / Photo allowed. This work by Windymelt is licensed under CC BY-SA 4.0 class: center, middle # AI Coding Agent 時代の Scala <time itemprop="datePublished" datetime="2025-03-14">2025-03-14</title> Scala わいわい勉強会 #5 `id:Windymelt` --- # Windymelt - [Windymelt](https://www.3qe.us/)です - 全宇宙でこの ID を使っています - mixi2 もやってるよ - GitHub, X/Twitter, etc... - PGP: `F2FC 63C2 42C0 4D9D` - 2016- [株式会社はてな](https:
「男は黙れ」「男が産めるのうんこだけ」。政治的メッセージを掲げた黄色い横断幕の前で3人の女性が、こんな不適切表現をラップ調で連呼した―。3月8日の「国際女性デー」に合わせ、市民団体が9日に都内で開催した集会を巡り、波紋が広がっている。 問題の集会は、安保法制廃止などを活動理念に掲げる市民団体の女性らでつくる「フェミブリッジ・アクション東京」が企画し、JR新宿駅前で行われた。集会には社民党首の福島瑞穂氏や前東京都武蔵野市長で立憲民主党の松下玲子氏、共産党の吉良佳子氏ら現職の国会議員も参加した。 主催者側が動画サイト「ユーチューブ」に公開した映像によれば、「男が産めるの」コールは、集会の最後に披露された。主催メンバーで市民活動家の菱山南帆子氏ら3人がマイクを手に問題のコールを連呼し、集まった参加者も声を合わせたが、聴衆からは失笑する声も聞かれた。 また、賛否が分かれる選択的夫婦別姓をテーマにし
売春の客待ち対策として、大阪市の繁華街・キタのラブホテル街一画の路面を黄色に塗り替えて検証した結果、客待ちが約9割減少したことが12日、大阪府警曽根崎署への取材で分かった。署は同日、地域住民らと一緒に、新たに府の相談窓口などを紹介する掲示板などを設置した。 一画では2、3年前から客待ちの女性が集まり、売春防止法違反容疑での逮捕者が令和5年夏以降で約30人に上るなど問題視されてきた。こうした状況を受け、署は昨年12月に心理的に立ちづらくなるよう、長さ約100メートルの路地を黄色に塗り替えた。 塗り替える前と後の1週間、1日4回、署員らが客待ちの人数を目視で確認し、1週間の平均人数を算出した。塗り替え前の昨年11月は7・43人だったが、今年2月には0・86人となり、大幅に減少した。
映画『アプレンティス ドナルド・トランプの創り方』は、そのサブタイトルにある通り、トランプが、どうして「あんな感じ」になってしまったかが見えてくる、事実に基づいた劇映画だ。いかにも弱々しい青年だったトランプが、暴君に生まれ変わっていく姿を描いている。トランプの師匠だった弁護士ロイ・コーンから、とにかく勝てばいい、何をしたっていいんだ、と教えられる。彼から「勝つための3つのルール」として提示されたのが、「ルール1 攻撃、攻撃、攻撃」「ルール2 非を絶対に認めるな」「ルール3 勝利を主張し続けろ」という3つ。確かに今のトランプは、教えられたルールをちゃんと守っている。 何かあればバイデン政権のせいにする。気に入らないメディアは追い出す。戦争を終わらせる代わりにレアアースを寄越せとウクライナに凄む。多様性社会を象徴するような存在を要職から相次いで外す。自分の判断は全て正しく、その判断を褒め称えて
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く