このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
概要 Windows11のコンテキストメニューをWindows10までの従来仕様に戻すスクリプトをまとめた話です。 ググれば同じ話はいくつも出てくるのでn番煎じ感が強いですが、PowerShellだけで行ってる例は少なかったので、そこは新規性があるかも？ コンテキストメニューって？ エクスプローラやデスクトップ上などでファイルとか何もない場所を右クリックしたときに表示されるメニューのことです。 このコンテキストメニュー、Windows10までとWindows11で仕様が大きく異なります。 Windows11では表示をすっきりさせるためなのか、従来のほとんどの操作は非表示になっています。 なので、例えば7zipでの解凍・VSCodeで開く・送るなどの操作をしたい場合は「その他のオプションを確認」をクリックして従来のコンテキストメニューを表示してから対象操作を選択する必要があります。とてもつら
四日市市の新図書館の計画が白紙になったらしい。 新しい図書館を待っていた身としては残念だが、仕方のない話なのだろう。 これは、我が家のポストに、定期的に地元情報を発信しているフリーペーパーが入って居て、近鉄四日市駅近くの計画は白紙になったと書いてあったので知った訳だ。 四日市って何処って？？聞かれるかもしれないが、三重県の北の方にある工業都市だ。 20年位前から図書館を新しくする計画はあった、ジャスコ（今はイオンだけど）が駅前撤退する時に、後の土地を図書館に使って欲しいと言ったとか、単に土地を売ろうとしているだけだったとか、いろんな噂が乱れ飛んだ。 本当のところが如何なのかは知らないが、図書館が古いというのは、誰もが認める物だった。 私には解らないけど、現在の図書館が耐震基準等に問題が有るのなら、他の場所に移転が必要だ。 四日市市というのは特殊（違うかな？）な街で、私が小中学生の頃に市長を
財務省が９日に発表した新紙幣の５千円札に使われる津田梅子の肖像に関し、津田塾大が提供し、新紙幣と酷似している３６歳ごろの写真と顔の向きが逆になっていると指摘されていることが１６日、分かった。津田塾大の広報担当者は「写真が反転されて肖像画に使われたと考えている」としている。財務省は「写真をそのまま写すものではなく、反転などの加工は問題ない」としてそのまま発行作業を進める考えを明らかにした。
鈴木宗男参院議員が、9日までに自身のブログを更新。G7サミットで予定されている岸田文雄首相とゼレンスキー大統領の会談などにふれたうえで、「ゼレンスキー大統領がロシアを挑発しなければ、ウクライナ戦争は起きなかった」と主張した。 鈴木議員は、ウクライナ側に対し岸田総理が裂帛(れっぱく)の気合で「停戦、和平」を言うべきだとし、「ロシアの侵略とか国際法違反と言うが、ならばゼレンスキー大統領が自爆ドローンでロシア人を殺そうとした行為やブタベスト覚書の再協議、核を戻せと言う話がウクライナ戦争の発端ではないか」として、ゼレンスキー大統領の態度について批判した。さらに、「プーチン大統領は自制していたが、ロシア人を守るために、特別軍事作戦を行なったのである」などと持論を展開した。
インターネット上には、無料でさまざまなコンテンツを提供するために、コンテンツと広告を組み合わせて読者に表示するメディアが数多くあります。 コンテンツと一緒に広告を読者に見てもらうことで、広告主からお金をいただき、それをメディアの運営費としているのです。 しかし最近では、不快な画像の広告や、誤クリックを誘うような邪魔な広告、さらには詐欺サイトへ誘導するような広告なども目立つようになり、読者にとって広告は不快で危険なものと認識されるようになってきています。 広告で運営費をまかなっているPublickeyにとって、こうした状況は喜ばしいものではありません。読者が広告を忌避するようになればなるほど、広告によるメディアの運営が難しいものになっていくからです。 Publickeyはこれまでずっと読者が安心して記事を読み、広告主が安心して広告掲載できるように、適切な広告だけを表示することに最大限の努力を
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
