数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
築地行ってる場合じゃねえ！ インバウンド客は「豊田」に行くべき5つの理由
築地にあふれるインバウンド客。先日、そんな外国人旅行者をかき分けながら歩いていたら、お茶碗みたいな海鮮丼が3000円とかで販売されていた。インバウン丼ってマジであるんだ……。 しかし、疑問を抱くことなくそれを食べる外国人旅行者たち。そこでふとこう思った。「インバウンド客は豊田（とよだ）に行った方が良いのではないか」と──。 ・愛知県の豊田ではない 豊田と言っても愛知県の豊田（とよた）市ではない。東京都日野市にあるJR中央線豊田（とよだ）駅だ。新宿からの電車の乗車時間はどちらも約30分。ほぼ同じである。むしろ、乗り換えが無い分、外国人にとっては豊田の方が行きやすいとも言えるかもしれない。青梅方面行きにさえ乗らなければ。 小高い丘のようになっているJR豊田駅。中央線から見える西東京の景色は真の東京の街並みという感じであり、そこも築地にはない味と言える。 ・豊田に行くべき理由その1 そんなJR豊
マイナ保険証にイヤイヤ登録させ…「誤解与えた」大手薬局が謝罪文 「現行保険証を突き返された」抗議を受けて：東京新聞 TOKYO Web
マイナ保険証の利用促進に駆り立てられている薬局や病院。窓口で患者にマイナ保険証の利用を迫るあまり、大手薬局では謝罪文を出す事態に発展した。 この大手薬局は昨年末から、薬の処方に当たって保険資格の確認に現行の健康保険証を使うことを取りやめていた。今年12月の廃止前から現行の保険証が使えないと受け取れるような対応に、問題はないのだろうか。（戎野文菜）
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
