数学の「＝」（等しい）とはどういうことか？ 英ICL教授が発表 「コンピュータの登場で定義が曖昧に」
このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」（シームレス）を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 X： ＠shiropen2 英インペリアル・カレッジ・ロンドン（ICL）の教授であり、数学者のケビン・バザードさんの単著論文「Grothendieck’s use of equality」は、数学者が等式の概念をどのように使用しているか、そしてそれが数学の形式化を試みる際にどのような影響を与えるかについて議論した研究報告である。 バザードさんは「現状、数学者は等式の概念を曖昧に使っており、近年のコンピュータプログラムによる証明（形式化）においてその曖昧さが障害になっている」と指摘する。 「＝」（等号）にみる一般的な等式の定義は、両辺が同じ数学的対象を表しており、一方から他方への論
電力不要「“ゴム”コンピュータ」 伸縮により「0」と「1」をカウント【研究紹介】 レバテックラボ（レバテックLAB）
山下 裕毅 先端テクノロジーの研究を論文ベースで記事にするWebメディア「Seamless/シームレス」を運営。最新の研究情報をX（@shiropen2）にて更新中。 オランダのライデン大学と研究機関AMOLFに所属する研究者らが発表した論文「Controlled pathways and sequential information processing in serially coupled mechanical hysterons」は、ゴムを使った構造物を用いて、エレベーター、自動販売機、改札口、洗濯機などのデバイスに用いられる単純な電子計算タスクを実行できることを示した研究報告である。 従来の電子機器では、複雑な回路を構成する多数の要素を用いてデジタルビットによる計算が行われている。一方、研究チームは、細長いゴム素材を機械的なビットとして使用した構造体を組み立てることで、電子回路を
「BASIC」誕生60周年--コンピューター利用を容易にしたシンプルな言語の歴史
Steven J. Vaughan-Nichols （Special to ZDNET.com） 翻訳校正： 川村インターナショナル 2024-05-15 07:30 「Python」や「JavaScript」が学ばれるようになるずっと前、米国時間1964年5月1日の夜明け前の暗闇の中で、コンピューター史におけるささやかながら非常に重要な出来事がダートマス大学で幕を開けた。数学者のJohn G. Kemeny氏とThomas E. Kurtz氏がGeneral Electricの「GE-225」メインフレームを操作して、独自に考案した言語の最初のプログラムを実行した。その言語こそ、初心者向け汎用記号命令コード、すなわち「BASIC」だ。 BASICは最初に普及した言語ではない。その栄誉を得たのは、ビジネス分野では「COBOL」、エンジニアリング分野では「FORTRAN」だった。しかし、19
24年4月の量子コンピュータ業界の動向がよくわからんというので書いてみました。 by Yuichiro Minato | blueqat
昨年から量子コンピュータ業界は大きな転換期に入りました。これまで人類には難しすぎるという量子コンピュータはみんなで四苦八苦しながら開発をしてきたと思います。具体的な沿革としては、 １、2012年に簡易型量子コンピュータみたいな量子アニーリングマシンが出る。 ２、量子アニーリングマシンは2016年をピークに2018年ごろに廃れる。（デスクトップパソコンと大差ないことがわかる） ３...
ラピダスから振り返る日本の国家プロジェクト
日本がラストチャンスとばかりに開始した「日の丸半導体」ラピダスに多大な公費が追加されていることが話題を集めている今日この頃。 心無い専門家たちからは必ず失敗するだの金ドブだの批判殺到中だが、本当に日本（経済産業省）主導の国家プロジェクトは今まで成功しなかったのだろうか？ この記事では主に経済産業省、旧・通商産業省が中心となって始めた国家プロジェクトを振り返る。 超LSI国家プロジェクト（1976年）結論:成功簡単に:半導体製造の基礎研究に成功 大規模集積回路（LSI）の研究、特に基礎研究に力を入れた国家プロジェクト。 当時、半導体弱小国であった日本で700億円以上の金を基礎研究に投資するのは挑戦的であったが、電子ビーム露光技術などの研究レベルのアイディアを実用・量産レベルに持ってくることに成功。 よく「日本は半導体生産はダメだが、生産機械はまだシェアがある」というが、この40年前の国家プロ
世界初のマイクロコンピュータ2台がハウスクリーニング業者により発見される
1972年に発売されたマイクロコンピュータ「Q1」がロンドンの家屋から見つかりました。現存する同製品は多くなく、今回の発見は大きな収穫でした。 World's first microcomputer goes on display alongside range of other vintage computers in public exhibition at Kingston University - News - Kingston University London https://www.kingston.ac.uk/news/article/2920/13-feb-2024-worlds-first-microcomputer-goes-on-display-alongside-range-of-other-vintage-computers-in-public-exhibiti
古いコンピュータやOSで小文字ではなく大文字が使用されていた理由とは？
by pilot_micha 今日のコンピュータープログラムでは小文字や大文字を区別しつつ入力することがありますが、コンピューターの誕生当時はプログラムの入力に全て大文字を使っていました。その理由について、さまざまなユーザーが解説を行っています。 graphics - Why did older computers and OSes use UPPER case instead of lower case? - Retrocomputing Stack Exchange https://retrocomputing.stackexchange.com/questions/28141/why-did-older-computers-and-oses-use-upper-case-instead-of-lower-case IT技術系Q＆AコミュニティのStack Overflowにおいて、m
量子コンピューター超えの計算能力…東京理科大が開発した「LSIシステム」がスゴイ ニュースイッチ by 日刊工業新聞社
東京理科大学の河原尊之教授らの研究チームは、回路線幅２２ナノメートル（ナノは１０億分の１）の相補型金属酸化膜半導体（ＣＭＯＳ）を使い、現在の量子コンピューターを超える計算能力を持つ大規模集積回路（ＬＳＩ）システムを開発した。創薬や材料開発などに生かせる「組み合わせ最適化問題」を低消費電力かつ高速に解く。複数のチップを並列動作させることで機能を拡張し、大型の設備が必要なクラウドサービスを使わずに大規模な計算を可能にする。 河原教授らが開発したのは、複数のＬＳＩチップをつないで機能を拡張できるスケーラブルな全結合型の「イジングＬＳＩシステム」。これまで１チップ内に収まっていた演算機能を、複数の汎用ＣＭＯＳに分けて接続することで拡張可能なことを実機で実証した。 ２２ナノＣＭＯＳで作製した演算ＬＳＩチップ３６個と制御用ＦＰＧＡ（演算回路が自由に書き換えられる半導体）１個を搭載。現状のゲート方式の量
日本勢の新手法、量子コンピューターの「キラーアプリ」量子化学計算の実現に光明
テラスカイの子会社であるQuemixが、量子コンピューター用のアルゴリズム「確率的虚時間発展法（PITE）」を使えば、現行方式のコンピューターに比べて量子化学計算を高速化できるとの研究結果を発表した。 量子化学計算は、量子状態にある分子や原子の振る舞いをシミュレーションする技術である。シミュレーションする分子のサイズが大きくなると、計算量が指数関数的に増大するため、現行方式のコンピューターにとって非常に難しい。そのため量子化学計算の高速化は、量子コンピューターにとっての「キラーアプリケーション」になり得ると期待されている。 現行方式のコンピューターで量子化学計算を行う場合、よく用いられるのがDFT（密度汎関数法）だ。ある原子核配置をとる分子のエネルギーの近似値をDFTで計算する場合、分子や原子の数が「N」とすると、その計算量は「Nの3乗」に比例して増加する。 さらにDFTを使って分子や原子
『情報セキュリティの敗北史』はサイバーセキュリティ歴史と概念が学べる教科書だった｜一田和樹のメモ帳
『情報セキュリティの敗北史: 脆弱性はどこから来たのか』（アンドリュー・スチュワート、白揚社 2022年10月12日）をご恵投いただいたので読んでみた。実は原題は「A Vulnerable System: The History of Information Security in the Computer Age」でだいぶ印象が違う。 内容はサイバーセキュリティの歴史そのものだった。考えてみると、意外とサイバーセキュリティの歴史についてまとめられた本、特に包括的なものは思いあたらない。特定のテーマや地域に限定したものなら、すぐに思いつく。たとえば、アメリカがサイバー空間でぼこぼこにやられた歴史をまとめた『Dark Territory: The Secret History of Cyber War』（Fred Kaplan、Simon & Schuster、2017年3月28日）や、サイ
スイッチサイエンス、量子コンピュータ始めるってよ
2022年12月、販売開始しました！ 深センSpinQ社の卓上量子コンピュータ。１テスラぐらいの磁力で２つの量子を閉じ込め、計算している @tks です。深圳の量子コンピュータ企業SpinQに行ってきました。 秋田先生のレポート量子コンピュータとのファーストコンタクトをしてきたをぜひ読みましょう デスクトップで量子コンピュータが動く！ 深圳のSpinQ社は、世界で最初のデスクトップ量子コンピュータを商品化し、販売しています。NMRという、磁場と電磁波を加えて原子核の「スピン」の量子状態を操作・計測する方式を用いて量子計算を行う方式で、2020年に販売開始したGeminiと2021年末に販売を始めたGemini-Miniでは2つの量子ビット（Qubit)を操作します。 Gemini-miniの内部 かなり強い永久磁石２つの間に、液体の入ったチェンバーがあり、その液体に電磁波を当て、量子状態を
スティーブ・ジョブズ氏が所有していたとされるApple-1コンピュータが競売で落札 - iPhone Mania
Apple共同創業者のスティーブ・ジョブズ氏が個人的に所有していたという貴重なApple-1コンピュータが、オークションハウスRR Auctionで競売にかけられ、高価格で落札されました。 落札価格は9,000万円超 これまでにも幾度もApple関連のレアな品々を扱ってきたRR Auctionが、ジョブズ氏が所有していたとされるApple-1コンピュータを7月末からオークションにかけていましたが、8月18日にようやく落札者が決定したようです。 落札価格は最低でも50万ドル（約6,845万円）に達すると予測されていましたが、最終的には67万7,196ドル（約9,270万円）で落札されました。 出どころに関する疑いは晴れた？ 今回オークションに出品されたApple-1コンピュータは、ジョブズ氏が所有していたものがThe Byte Shopのオーナーのポール・テレル氏に贈呈されたものとのことでし
紙テープでデバッグするわけないじゃん - いろいろやってみるにっき
どこの国の40年前だろう。40年前って1982年だよね。 t.co まとめの最初のツイートはこちら。 現代プログラマが40年前くらいに転移してしまうと「え？メモリ8KB？え？画面幅40文字？え？コードは紙に。。。え？」とかになってなんも無双できなそう — きしだൠ(K1S) (@kis) 2022年7月15日 1982年当時のコンピュータ、オレがあまり触っていない奴をちょっと調べてみた。 anniversary-net.com どうやらこの機体は16KBらしい。 Wikipediaを見てみると ja.wikipedia.org メモリ RAM 16キロバイト（最大32キロバイト） グラフィック テキスト 32桁×16行 2画面（RAM拡張時は最大4画面）、グラフィック 256×192ドット 2色 または 128×192ドット 4色 1画面（RAM拡張時は最大3画面） となってい
ベーマガこと「マイコンBASICマガジン」やコンピュータホビー，ゲーム関連書籍の事業をマイコンソフト事業部が引き継ぐことに
ベーマガこと「マイコンBASICマガジン」やコンピュータホビー，ゲーム関連書籍の事業をマイコンソフト事業部が引き継ぐことに 編集部：Gueed 電波新聞社の@opaimar氏は本日（2022年6月10日），Twitterアカウントで，電波新聞社・マイコンソフト事業部が，電波新聞社を卒業しフリーとなった大橋太郎氏（関連ツイート※外部リンク）と手を組み，かつて刊行されていたPC関連雑誌「マイコンBASICマガジン」（ベーマガ）やコンピュータホビー，ゲーム関連書籍の事業を引き継ぐことになったと明らかにした。大橋太郎氏はベーマガの元編集長。 ツイートによれば今後は，ペンディングされていた書籍やイベント，新企画などを少しずつ進めていくとのこと。ベーマガは休刊以降，電波新聞社が刊行する電子工作マガジンのコーナーとして登場し，同誌の別冊付録という形にもなっているが，今後は同じ電波新聞社のマイコンソフト事
かつては残業こそ多かったけれどコンピューターにジョブを流したら終わるまで休憩だった→一方いまは高速コンピューターが待ち時間なく働かされている
sat @satoru_takeuchi Rook(メンテナ)/TopoLVM(メンテナ) 「Linuxのしくみ 」著者 amzn.to/3Ioqwix 「入門モダンlinux」 amzn.to/3OmyA79 「入門eBPF」訳者 amzn.to/45OPTCV github.com/satoru-takeuchi sat @satoru_takeuchi かつて聞いた先輩の発言。「昔は残業が多かったけどコンピュータにバッチジョブ流せば終わるまで休憩とか当たり前でノンビリしてた。今は高速なコンピュータが一人一台あって待ち時間なくずっと働いているので労働時間減ってなお仕事はしんどくなってる」 もちろん場所によるだろうけど、そうかもね 2022-03-18 09:24:39
富士通の撤退する「メインフレーム」ってそもそも何？
はじめに 富士通がついに2030年にメインフレーム市場から撤退し、66年の歴史に幕を閉じるという話が出てきました。 富士通といえば国産大型コンピュータの先駆けであり、IBM互換機を作って巨人IBMに食らいついたベンダーでもあります。そんなわけで中々に歴史の転換点を感じる話題ではあるのですが 「ところでメインフレームって何？ 」 という方も多いでしょう。という分けで名前は聞いたことがるけど実態が良く知らない「メインフレーム」 に関して少しだけ解説をする動画を作りました。 この記事は動画では話しきれなかった事も含めて、もう少し深堀した解説をしていきたいと思います。ちょっと長くなりましたが、前半が歴史の話で後半がアーキテクチャの話になるので好きな所にジャンプして読んでみてください。 メインフレーム？ 汎用機？ ホスト？ メインフレームは他にも汎用機とかホスト機と呼ばれることもありますよね。Wik
「1byteはなぜ10bitでなく8bitなのか」に即答できないのはIT素人」説を受けてベテランが「なぜ8bitに収束したのかわからん」と苦悩する世界
SEライダー @Sys_Rider プロ野球好きのITコンサル。バイクネタは非常に稀です。 基本的にIT系属性。 農業IoT、産業系基幹、行政系、エネルギー系、たまに金融系などなどアレコレPMやっていて近年はITコンサルに転向。徐々に経営側の知識得ながら資格取得目指す。 SEライダー @Sys_Rider 面談で未経験なのに経歴盛り盛り詐称を洗い出す究極の質問を編み出した。 「1byteは何故8bitなのか？」 「何故キリがいい10bitじゃなかったのか？」 これ即答出来る人に未経験はまずいない。 そしてしっかり基礎から学んでると即答出来る。 2022-02-01 07:16:51 SEライダー @Sys_Rider 今回の質問は、完璧な答えを望んではいません。 冒頭に言ったように『ITに興味あるか否か』を見るため、敢えてツッコミ所を持たせた質問を考えついたのでした。 もしITに興味がなく
マインクラフトで1HzのCPUを作り上げた猛者が登場、テトリスや関数のグラフ化も可能
累計販売本数が2億本を超えたり、YouTubeでの総視聴回数が1兆回を超えたりと、世界的に人気のある箱庭ゲーム「マインクラフト」はサバイバル生活を楽しんだり、自由にブロックを配置し建築などを楽しんだりできるのが売りです。そんなマインクラフトで「レッドストーン」というアイテムを駆使して周波数1HzのCPU「CHUNGUS 2」を設計したと、YouTuberのsammyuri氏が発表しました。 CHUNGUS 2 - A very powerful 1Hz Minecraft CPU - YouTube CHUNGUS 2は「Computational Humongous Unconventional Number and Graphics Unit by Sammyuri 2」の略称。 CHUNGUS 2はクロック1Hzで10tickの16bitCPUで、3オペランド命令のRISCアーキテク
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【大河原克行の「パソコン業界、東奔西走」】 FM TOWNS誕生から35周年。初のCD-ROM標準搭載パソコンを振り返る
ハーバード大のコンピュータサイエンス講座「CS50」の日本語化が完了し、無償公開
