内田樹 on Twitter: "EVへの移行が話題ですが、ガソリンエンジンにするか蒸気機関にするか電気自動車にするのかの技術的選択があったのは２０世紀はじめの話でした。さまざまなエンジンの車でレースをした結果ガソリン車が速かったことがガソリン車が主流になった理由とされていますけれど、最大の理由は"
BIOSからUEFIへ BIOSはなぜ終わらなければならなかったのか
BIOSからUEFIへ BIOSはなぜ終わらなければならなかったのか：“PC”あるいは“Personal Computer”と呼ばれるもの、その変遷を辿る（1/4 ページ） 昔ながらのIBM PC、PC/AT互換機からDOS/Vマシン、さらにはArmベースのWindows PC、M1 Mac、そしてラズパイまでがPCと呼ばれている昨今。その源流からたどっていく連載。第16回はWindows 11で注目された、UEFIとその前身であるBIOSについて。 第1回：“PC”の定義は何か まずはIBM PC登場以前のお話から 第2回：「IBM PC」がやってきた エストリッジ、シュタゲ、そして互換機の台頭 第3回：PCから“IBM”が外れるまで 「IBM PC」からただの「PC」へ 第4回：EISAの出現とISAバスの確立 PC標準化への道 第5回：VL-Bus登場前夜 GUIの要求と高精細ビデオ
正規表現の"正規"とは何か気になったら正規表現の歴史を紐解くことになってしまった話
正規表現の"正規"って何 ある時ふと思いました。 「正規表現の"正規"って何だろう？」 「何を根拠に"正規"を名乗っているのか？」 と。 「誰かが『これが正規の表現だ』と言ったはず」で、 「それは周りにどうやって"正規"だと認められたのだろう」 ということが気になったので調べてみました。 "正規表現"という名前でなくて、"ジャックさんの表現"とか"記号ごちゃごちゃ表現"だったらこんな疑問も持たなかったのですけど。 数学における"正規"とは 一般に"正規"というと、"正規品"や"正規の手順"といったように"本物の(genuine)"や"公式な(official)"といった意味がありますが、数学の"正規"はちょっと違います。 数学で"正規"(および"正則"、英語では"regular"または"non-singular")は、ある概念に強い制限をかけたもの、という意味です。強い制限をかけたものは取
万里の長城の「修復」がちゃんと修復だった話し
Rynax（リーナックス） @Rynax_zxc 前日の万里の長城のニュースまた続きがあったよ 設計者が本当の同じ箇所での修復前後の写真をアップして説明した あれは廃墟化した箇所を固めただけ（見栄えは良くないが固めないと数年のうちに消えてしまうため） マスコミが写真を間違ったらしい(･_･; 写真は真・修復前 #万里の長城 pic.twitter.com/C2DraWE6N2 2016-09-25 14:33:16 “最美野长城被抹平”的设计者如是说 ——答《央视新闻1+1》及《北京青年报》、《新京报》等诸媒_风雨行进 “最美野长城被抹平”的设计者如是说 ——答《央视新闻1+1》及《北京青年报》、《新京报》等诸媒体 先表明一下本人的身份，本人陈术石，1970年10月生人，2006年至2014年4月间，曾任辽宁省文物保护中心副主任，负责文物保护工程设计工作，研究员，九三社员。《“最
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
