このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論

英語の文章に触れる機会が増えると目につくのが英語の括弧。「英語で括弧はなんと呼ぶんだろう？」「使い方は日本の括弧と違うのかな？」など、気になっている人も多いのではないでしょうか。実は、日本語で何気なく使っている括弧が英語では使われないなど、両者には違いが見られます。 こちらの記事では、英語での括弧の使い方を徹底解説！よく使われる4つの括弧をはじめ、コロンやセミコロンなどの記号についても紹介します。例文も掲載しているので、括弧がどのように使われるのかしっかりと理解できるでしょう。 English Labは、オンライン英会話「レアジョブ英会話」が運営。英語を「話せる」ようになるには、繰り返しアウトプットする機会が必要です。1レッスン142円のレアジョブ英会話で每日外国人講師と話してみませんか。レアジョブ英会話を見る 英語の括弧は大きく分けて4種類！ 日本語と同様に、英語でも様々な括弧が使われま

日本国内における行政関連手続きで個人を特定すべく、識別番号が付与されるプラスチック製のICチップ付きのマイナンバーカード。 2022年10月2日時点での申請枚数は7000万枚で、9月末時点での人口に対しての普及率は49%となっている。政府は23年3月末までに「ほぼ全員が取得」を目指すという。 マイナンバーカード所有者がキャッシュレス決済事業者を選択し、購入金額またはチャージ金額に対して一定額の特典が各決済サービスのポイントで還元される。 そのマイナポイント事業の第2弾について、総務省は当初9月末までとしていたマイナンバーカード（個人番号カード）の申請期限を「2022年12月末」に延長した。これにより、2022年内にマイナンバーカードを申請すればマイナポイント第2弾に応募できるようになる。 そんなマイナポイントとも深い関係を持つマイナンバーカードについて、現状の課題を整理してみたい。 マイナ

黒人を活躍させたいなら既存のキャラを改変するんじゃなくて新たなキャラでやればいい 既に存在してるキャラを無理やり黒人に変えるからおかしなことになる

なんだろう、嘘つくのやめてもらっていいですか？ 大学も技術者認定機関も、いつまで古いまたは間違ったシェルとカーネルの概念を説明し続けるのでしょうか？ シェルはカーネルの言葉をユーザーの言葉に翻訳したり、出力結果をユーザーに中継したり、カーネルを防御したりする層ではありません。指定したコマンドを実行するだけのプログラムです。勉強中の学生か代理執筆業者が適当な文献を調べて書いたとしか思えません。そして他人の説明を自分の言葉に置き換えるのが上手い人がおかしな説明をさらに広めています。個人サイトやオンライン学習サイト程度であれば適当なことを書いていても気にも留めませんが、大学や技術者認定機関のような正しいことを書いているに違いないと思えるような所までもが間違ったことを書いているから困ったものです。 みなさんは大学や技術者認定機関が言っていることなら正しいと思いこんでいないでしょうか？ そんなことあ

世界を震撼させた安倍元総理銃撃事件から数日が経ち、犯人である山上容疑者の犯行動機が明るみになり始めている。報道によると、「家庭を壊した団体を日本に招いたのが岸氏（岸信介）で、その孫の安倍氏を狙った」とし、その「団体」とは世界平和統一家庭連合（旧統一教会、以下旧統一教会）であり、7月11日に田中富広会長が山上容疑者の母親が信者であり、｢1カ月に1回程度の頻度で、教会の行事参加していた｣旨を認めた。 ではこの「家庭を壊した団体を日本に招いたのが岸氏（岸信介）で、その孫の安倍氏を狙った」という山上容疑者の身勝手な世界観をどのようにとらえたら良いのだろうか。 結論として、銃撃は許されざる犯行であるが、山上容疑者の言う「家庭を壊した団体を日本に招いたのが岸氏」というのは、解釈の余地はあるが、事実として極めて的外れである、とは言えない。そして安倍元総理が旧統一教会と関係があるか無いかについては、「ある

「最大の素数が更新された」という報道が今年の1月24日の朝日新聞朝刊でなされたことは、当ブログでも、また、最大の素数が更新された！ - hiroyukikojimaの日記でエントリーした。これは2233万ケタという巨大な素数で、アメリカのセントラルミズーリ大学のカーチス・クーパー教授が、世界中のコンピューター約800台のボランティアを利用して発見したものだ。 発見された素数は、メルセンヌ素数というタイプの素数である。メルセンヌ素数とは、(2のk乗−1)という計算で表される素数。kが素数でないなら、(2のk乗−1)が素数にならないことは簡単にわかるので、kとしては素数だけ試せばよい。今回のものは、(2の74,207,281乗−1)となっており、49番目のメルセンス素数で、当然、74,207,281は素数である。メルセンス素数が発見されることは、偶数の完全数(6=1+2+3のように、自分自身を

概要 2^n-1 型の数はメルセンヌ数と呼ばれ、更に素数である場合にメルセンヌ素数といいます。本記事では、メルセンヌ数に対する高速な素数判定法であるリュカ・レーマーテストを、Rustの任意精度演算用クレート rug を利用して実装します。 実行環境 CPU: Intel Core i7 1.8GHz メモリ: 16GB OS(ホスト): Windows 10 Home 21H1 WSL2: Ubuntu 20.04.3 rustc: Ver. 1.55.0 cargo: Ver. 1.55.0 符号付き整数型の範囲について Rustには組み込みの整数型として 8,\,16,\,32,\,64,\,128 ビット整数[1]がそれぞれ符号付き・符号なしで備わっています[2]。そのうち符号付き整数は、他の多くの言語と同様、2の補数によって負の数が表現されます。したがって、ビット数 n = 8,

特に何かしらの出典はありません. プログラムの複雑さに対する大局的で直感的な指標として, 表面積とグラフの構造というのを個人的に意識しているという話. いわゆる code smell をどう嗅ぎつけているか. 表面積 プログラムは最も単純には 1 つの入力チャンネル (引数) と 1 つの出力チャンネル (戻り値) でモデル化できます. 要するに関数ということですが, 関数型プログラミングに限らず大抵は似たような考え方ができます. graph LR yield[ ] -- 引数 --> program[プログラム] -- 戻り値 --> return[ ] 一方で現実世界で価値のあるプログラムとなるためには引数と戻り値だけでは不十分で, 実際にはその他の入出力チャンネルも必要になってきます. 例えば, 可変な変数の読み書き 環境変数の読み取り ユーザー入力の読み取り 画面への出力 ファイル

フロントエンド開発はフロントエンドで完結すべき過激派としてのGWの活動で、ブラウザでローカルファイルを読み書きするターミナルのプロトを作ってみました。 ローカルファイルをマウントして操作してる風景です。 ソースコード mizchi/web-shell 仕組み FileSystemAccess API を使って、FS API を実装 xterm.js 上で FS を叩く Unix 風のコマンドをいくつか実装 monaco-editor で、open <file> した内容を渡して、Cmd-S で保存した内容をFSに書き込む 最初に開いてるのは navigator.storage.getDirectory() の一時的なストレージで、これはブラウザの機嫌次第で揮発します(仕様にそう書いてある)。ローカルファイルを操作するのに mount を使うのがメインの用途です。 FileSystemAcc

大西洋のロストシティー熱水噴出域にある高さ約30メートルのチムニー。海底の熱水噴出孔では、地球上に生命が出現する鍵となった可能性のある単純な有機分子が急速に生成している。（PHOTOGRAPH BY D. KELLEY & M. ELEND, UNIV. WASHINGTON INST. FOR EXPLORATION/URI-IAO/NOAA/THE LOST CITY SCIENCE TEAM） マルクス・ラルザー氏は、生命の起源を研究するつもりではなかった。氏は主に、細胞が養分を取り込むプロセスや、このプロセスがストレスや病気によってうまく働かなくなる仕組みを研究していた。しかし10年ほど前、英ケンブリッジ大学に在籍していた氏のチームは、まったくの偶然から衝撃的な発見をする。 ラルザー氏らは当時、「解糖系」を研究していた。解糖系とは、細胞が利用できる形やエネルギー源になるように、体内

まとめ管理人 @1059kanri 戦国ちょっといい話・悪い話まとめ というブログの管理人でございます。 iiwarui.blog90.fc2.com 主にブログ更新のお知らせとか戦国時代のこととかそれ以外のこととかつぶやきます。 iiwarui.blog90.fc2.com まとめ管理人 @1059kanri 睡眠という行為は基本的に脳や肉体の「休息」という特殊な状態と考えられていたのが、昨今生物学的に、人間と言うか生物にとってむしろ睡眠時のほうが「常態」であるという考え方が出てきたらしく、多くの生命は寝る環境を整えるために仕方なく起きているという事なのかと。 2022-02-22 20:54:27 まとめ管理人 @1059kanri ソースはこの辺ですね ‘If it’s alive, it sleeps.’ Brainless creatures shed light on why

アイデアにはたいした価値はない。 とよく言われますが、 ただ単に「思いつく」かどうかで勝負が半ば決まってしまう、というケースはけっこう多いです。 たとえば、iモードにJavaが搭載されたとき、「テトリスのように、誰もがやり慣れたシンプルな定番ゲームをiモードJavaで提供する」というアイデアで会社を作って爆速成長、2年後にはJASDAQに株式の店頭公開をしてしまった人がいます。 これ、「誰もがやり慣れたシンプルな定番ゲームを提供する」というアイデアを思いついた瞬間、勝負は半ば決まってるんです。 当時の起業家たちで、「くそ、やられた。なんでこれを思いつかなかったかな」と悔しがってた人はけっこういました。 もちろん、資本を調達し、版権交渉をし、優秀な人材を集め……という部分も難しいですし、それをやりきれるかどうかも運次第なところはありますが、そこは優秀な人が延々と努力し続ければなんとかなること

大航海時代、キリスト教宣教師が世界中を巡って布教を行った。一緒にいろんな西洋文化も持ち込まれた。音楽もその一つ。 染める側だったはずのキリスト教は各地で現地の習俗に融合していく。西洋音楽が現地の音楽に混ざって馴染んでいくのは不思議な話じゃない。 映画やドラマの切支丹のシーンで流れる聖歌、いま聴くクラシックとそんなに変わらない響きなんだけど、そんなア・プリオリな『お約束』をグラグラ揺さぶる音楽をご紹介。同じ時代の、お隣は中国（明王朝）・北京の教会音楽を再現している。衝撃的な音楽体験。まあ聴いてみて。 さてほんとに伴天連衆は初めて西洋音楽に触れてから数十年で今と変わらないレベルで完コピできたのかね？

zick @zick_minoh ((LAMBDA (LAMBDA) `((LAMBDA (LAMBDA) ,LAMBDA) ',LAMBDA)) '`((LAMBDA (LAMBDA) ,LAMBDA) ',LAMBDA)) zick @zick_minoh bitが全巻電子化されたので、全部読みたいけど時間がかかりすぎるから、とりあえずLISPの記事だけ読むことにした。具体的には g000001.cddddr.org/3847385058 ここに書いてる記事。 2021-12-07 12:18:40

カセットからフロッピー、そしてハードディスクを制御するSASI、SCSI、IDE、ATA、SATA――さまよえるストレージ用インタフェース標準を語る：“PC”あるいは“Personal Computer”と呼ばれるもの、その変遷を辿る（1/5 ページ） 昔ながらのIBM PC、PC/AT互換機からDOS/Vマシン、さらにはArmベースのWindows PC、M1 Mac、そしてラズパイまでがPCと呼ばれている昨今。その源流からたどっていく連載。第15回はちょっと目先を変えて、ストレージ用インタフェースの進化について。 第1回：“PC”の定義は何か　まずはIBM PC登場以前のお話から 第2回：「IBM PC」がやってきた　エストリッジ、シュタゲ、そして互換機の台頭 第3回：PCから“IBM”が外れるまで　「IBM PC」からただの「PC」へ 第4回：EISAの出現とISAバスの確立　PC標

ソーシャル経済メディアNewsPicksを開発・運営する株式会社ニューズピックスは2021年9月、これまでサーバサイドの主要な開発言語としてきたJavaに代えて、Kotlinをメインに採用する方針を明らかにしました。 ▶ NewsPicksのサーバーサイド言語をJavaからKotlinに切り替えるために - Uzabase Tech Androidアプリだけでなくサーバサイドも「Kotlinで開発できるようにする」というこの宣言の背景には、数年間にわたってマイクロサービスを中心にKotlinを採用してきた実績と知見の蓄積があるだけでなく、そういった現場からの挑戦をよしとするNewsPicksのエンジニア風土も大いに追い風となっています。 この挑戦をどのように進めようとしているのか？ 開発者体験（DX）をどのように高めようとしているのか？ NewsPicksのCTOを務める高山温さん（上写真

「コンピュータシステムの理論と実装」の実装メモ

「ゼロからの OS 自作入門」の実装メモ