タグ

computerに関するa2ikmのブックマーク (70)

  • 位置独立コード - Wikipedia

    位置独立コード(いちどくりつコード、英: position-independent code、PIC)または位置独立実行形式(いちどくりつじっこうけいしき、英: position-independent executable、PIE)とは、主記憶装置内のどこに置かれても絶対アドレスに関わらず正しく実行できる機械語の列である。PICは主に共有ライブラリに使われ、各プログラムが(例えば他の共有ライブラリに)使われていない任意の別々のアドレスに同じ共有ライブラリをロードして使うことができる。PICはMMUによる仮想記憶の仕組みが無い古いコンピュータシステムでも使われていた[1]。PICを使えば、MMUのないシステムであってもオペレーティングシステム (OS) が単一のアドレス空間内で複数のアプリケーションを共存させることができる。 位置独立コードはメモリ上の任意の位置にコピーでき、修正することな

  • Position-independent code - Wikipedia

    "PIC code" redirects here. For "presubscribed interexchange carrier code", see Carrier access code. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Position-independent code" – news · newspapers · books · scholar · JSTOR (January 2007) (Learn how and

  • 非厳密計算で確率的に解釈するコンピューティングへの流れ - 人間とウェブの未来

    ここ数ヶ月、沢山の国際会議や自分の専門分野外のトップカンファレンスに採録されるような多種多様な研究発表を聞いていた。そんな中、自分の中で各発表に共通するコンピューティングの流れみたいなものが少し見えてきた気がするのでメモしておく。 機械学習やコンピュータビジョン、ヒューマンインターフェース、コンピュータセキュリティ、計算機アーキテクチャ、量子コンピューティング等のトップカンファレンス発表報告を聞く中で、印象的だったのは、まさに新しい発見という研究もある中で、もはや枯れた技術で確立されたアーキテクチャにおいて、新たな貢献を示す研究があったことだ。例えばデータベースにおけるメモリ管理の話やCPUのパイプライン処理の効率化、スパコンの文脈におけるネットワーク通信の高速化の話など、いずれも登壇者が冒頭で随分と研究されてきた確立されたテーマであることを述べていた。 そういった確立された領域の中で、ど

    非厳密計算で確率的に解釈するコンピューティングへの流れ - 人間とウェブの未来
    a2ikm
    a2ikm 2020/09/28
    “コンピューティングはこれから厳密計算の流れから非厳密計算かつ確率的コンピューティングのハイブリッド、そして、粒子の振る舞いをビットとして解釈した汎用コンピューティングの世界になっていく”
  • うっかりチューリング完全になっちゃったもの

    Accidentally Turing-Complete ― Andreas Zwinkau 来なら、チューリング完全となるべきではなかったものがある。これは、そのようなうっかりチューリング完全になってしまったものの例である。 C++テンプレート 当初はチューリング完全を目指していなかったが、C++テンプレートはチューリング完全になってしまった。その証明は、この論文にある(PDF) x86 MMU x86のpage fault handlingは、単純なマシンの実装に使える。原理としては、page faultが1 wordをスタックに積み、それによりアンダーフローを起こして別のトラップを生成する。この仕組みは、「減算して0以下ならば分岐」処理を実現する。チューリングマシンを実装するには十分である。デモ動画、講演動画 マジック・ザ・ギャザリング マジック・ザ・ギャザリングはカードゲームであ

    a2ikm
    a2ikm 2020/07/07
    といいつつ、SQLはチューリング完全らしい。
  • Cコンパイラ作成集中講座 (2020) 第4回

    a2ikm
    a2ikm 2020/07/07
    チューリング不完全にするのって有限時間で停止することを保証するためなのか。確かに任意のSQLを投げて永遠に終わらないとなったら困る。
  • コンピュータサイエンス教育事業を開始 - 株式会社Preferred Networks

    第1弾として小学生から始めるプログラミング教材「Playgram」を開発、やる気スイッチグループと提携し、教室とオンライン授業に導入 株式会社Preferred Networks(社:東京都千代田区、代表取締役 最高経営責任者:西川徹、プリファードネットワークス、以下、PFN)は、深層学習などAI技術の実用化が進むこれからの時代に不可欠な論理的かつ創造的な思考力を育み、世界レベルで活躍できる人材の育成を目指してコンピュータサイエンス教育事業を立ち上げます。 その第1弾として、PFNは小学生から始めるプログラミング教材「Playgram™(プレイグラム)」を開発しました(公式サイト: https://playgram.jp)。総合教育サービス事業を展開する株式会社やる気スイッチグループ(以下、やる気スイッチグループ)と提携し、2020年8月より、プログラミング教室パッケージとして首都圏の3

    コンピュータサイエンス教育事業を開始 - 株式会社Preferred Networks
  • ACM Digital Library

  • アポロ誘導コンピュータ - Wikipedia

    命令セット[編集] 命令フォーマットは3ビットがオペコードで12ビットがアドレスとなっている。Block Iは11種の命令、TC, CCS, INDEX, XCH, CS, TS, AD, MASK(基)と SU, MP, DV(拡張)を持つ。先頭の8個は基命令と呼ばれ3ビットオペコードで直接指定される。残り3個は拡張コード命令と呼ばれ、特別なINDEX命令(EXTENDと呼ぶ)の直後に実行される。 Block I AGC の命令の概要は以下のとおり。 TC (transfer control) 無条件分岐。サブルーチンコールにも使用。アドレス部で分岐先命令のアドレスを指定する。リターンアドレスは自動的にQレジスタに格納される。 CCS (count, compare, and skip) 複雑な条件分岐命令。まずアドレス部で指定された位置のデータをAレジスタにロードする。AGCは1の

    アポロ誘導コンピュータ - Wikipedia
  • Googleの「量子超越性」実証とは何なのか? | つくばサイエンスニュース

    量子コンピューターは量子力学の原理を利用して計算する次世代コンピューターです。大手IT企業の開発競争や無数のスタートアップの誕生、そして米中貿易摩擦の舞台となるなど、世界的な関心が高まっています。最近の注目トピックスは、Financial Times誌が9月21日付けで掲載した、Googleの研究チームが量子コンピューターの「量子超越性」を実証したとするニュースでしょう[1]。 この文章を書いている時点で、これに関する正式な論文発表はまだありません。当であればとても画期的な成果で、物理学や計算機科学の歴史に刻まれるような、重要なマイルストーンですが、専門性の高い内容のため憶測や誤解も生じています。ここではGoogleの研究者チームが挑戦したと考えられることと、その結果の重要性についてご紹介します。 1.量子超越性とは? 「量子超越性」(Quantum Supremacy)とは、スパコンを

    Googleの「量子超越性」実証とは何なのか? | つくばサイエンスニュース
  • 足し算を使わずに足し算する — KaoriYa

    int add(int a, int b) { while (b != 0) { int c = (a & b) << 1; a ^= b; b = c; } return a; } はい。この関数では足し算(演算子)を使わずに、ビット演算とループだけで足し算(加算)を実現しています。いわゆる全加算器ってやつで、これと同じ事が電気回路的に行われるのがCPUにおける足し算(演算子)です。 ざっくり解説しますと、一時変数cには各桁のキャリーを計算しています。キャリーはこんな真偽値表なので、 abc

  • 「海外は量子アニーリングに見切り」──ハードもソフトも開発する量子ベンチャー「MDR」に聞いた「量子コンピュータの今」

    会社名はMDR。東京大学出身の湊雄一郎さんが2008年に設立した。湊さんは元々建築事務所で建築デザインを手掛けており、MDRも設立当初はデザインを仕事としていた。しかし、あるきっかけで13年ごろに金融工学のビジネスへと舵を切る。 金融工学の効率的な計算を模索する中で量子コンピュータに注目した。15年にカナダの量子コンピュータベンチャー「D-Wave」を訪問した後、D-Wave製量子コンピュータの計算を再現するシミュレーターを個人で作成。以来、量子コンピュータ分野で総務省のイノベーター支援プログラム「異能vation」最終選考通過、内閣府「革新的研究開発推進プログラム」(ImPACT)の山喜久プログラムマネジャー率いる「量子人工脳」(※)プロジェクトのプログラムマネジャー補佐と着実に実績を積み上げる。 ※正式名称は「量子人工脳を量子ネットワークでつなぐ高度知識社会基盤の実現」。同プログラム

    「海外は量子アニーリングに見切り」──ハードもソフトも開発する量子ベンチャー「MDR」に聞いた「量子コンピュータの今」
  • プログラマだったら当然知ってるよね?という知識一覧

    2019年11月11日追記 ただのタイトルで煽ってるだけの記事に半年経っても未だに大量のアクセスがあるので追記しておきます。 ここで言いたいことは、「プログラマならコンピュータサイエンスを勉強してると役に立つよね」、ということ だけ です。 この一文以上に有用な言葉は以降の文章では出てきません。みなさんの時間を無駄にしないために注意書きをしました。 それでも良いという人は読んでみてください。 Twitterで「〇〇ができるという人が面接に来たけど、『じゃあXXXやYYYって知ってます?』というと知らないという人が多いんだよねぇ」とかいうツイートを見かけて、私はXXXやYYYってのを知らなかったので調べた見たところ、常識とまでは言えない概念だったり、名前は知らなくても誰もが知ってる概念だったり、むしろもっと良いアプローチがあるのではという思想だったりでなんだかなぁと思っていたところ、半日くら

    プログラマだったら当然知ってるよね?という知識一覧
  • 高木浩光@自宅の日記 - Coinhive事件、なぜ不正指令電磁的記録に該当しないのか その2

    ■ Coinhive事件、なぜ不正指令電磁的記録に該当しないのか その2 昨年6月10日の日記「懸念されていた濫用がついに始まった刑法19章の2『不正指令電磁的記録に関する罪』」の「なぜ不正指令電磁的記録に該当しないのか」の節は、続きを書くつもりだったが、それからだいぶ経ってしまった。今改めてそれを書いておく。 当時、私が「Coinhiveの使用が不正指令電磁的記録の供用でない」と主張したことに対して、「それではあれが処罰できなくなる」だとか、「俺のPCのリソースが無断で消費されるのは許せない」とか「電気窃盗だろ」といった反応がチラホラ見られた。これらについて整理しておく。 刑法は「利益窃盗」を不可罰とする 刑法の講学上の概念として「利益窃盗」なる言葉がある。これは、刑法に規定された財産犯が二つのタイプに分けられることから来ている。すなわち、強盗、詐欺、恐喝には1項と2項が規定されていて、

  • プログラミング教育は割と大丈夫かもしれない — 但しChromeが入れられればね。

    先ほど、地元の小学校の6年生の全児童を対象に、プログラミングの「体験」授業をしてきた。受験シーズンで欠席がちらほらあったが、3クラスで合計90人ほどが参加した。放課後ではなく、正規の授業枠である。 CoderDojo仲間の田中さん。一緒に、授業してきた帰り道。対象とした小学校世田谷区の公立校で、今年度利用を開始した新校舎のため、インフラは恵まれている。渋谷区のように児童全員にPCがあるほどではないが、無線LANの速度などは十分と言えそうだ。 世田谷区の公立小学校Windows タブレットが全校で40台ほどWiFiの速度が15~50Mbps6年生のスマートフォンの普及率はかなり高そう (8~9割か) ※英語の分かる児童が1割くらい ※実は私の母校でもある。’90年当時、FM TOWNSが2台放置されていて、よく遊んでいたのを覚えている。30年経ってタブレットに替わり、一般教室でも使えるように

    プログラミング教育は割と大丈夫かもしれない — 但しChromeが入れられればね。
    a2ikm
    a2ikm 2019/02/11
    なぜそこまでIEに固執するんだろう。
  • The Yoda of Silicon Valley (Published 2018)

    For half a century, the Stanford computer scientist Donald Knuth, who bears a slight resemblance to Yoda — albeit standing 6-foot-4 and wearing glasses — has reigned as the spirit-guide of the algorithmic realm. He is the author of “The Art of Computer Programming,” a continuing four-volume opus that is his life’s work. The first volume debuted in 1968, and the collected volumes (sold as a boxed s

    The Yoda of Silicon Valley (Published 2018)
  • 量子機械学習の一歩踏み出す、伊チームがパーセプトロン実装に成功

    イタリアのパヴィア大学の研究チームは、IBMの5キュービットの量子プロセッサー上にパーセプトロンを実装し、単純なパターンの初歩的な分類ができることを確認した。その後、IBMは16キュービットの量子プロセッサーをWeb上で利用できるようにしており、量子パーセプトロンの性能が飛躍的に向上するのは時間の問題だ。 by Emerging Technology from the arXiv2018.12.12 294 279 18 0 コンピューティング革命超初期の1958年、米海軍海事技術部(ONR:Office of Naval Research)は記者会見を開き、コーネル航空研究所(Cornell Aeronautical Laboratory)の心理学者フランク・ローゼンブラットが考案した装置を発表した。ローゼンブラットはこの装置をパーセプトロンと呼んだ。ニューヨーク・タイムズ紙はパーセプ

    量子機械学習の一歩踏み出す、伊チームがパーセプトロン実装に成功
  • Ctrl-D の話 - ひげぽん OSとか作っちゃうかMona-

    Mosh の REPL が Ctrl-D で抜けられないとご指摘いただいていた件。 そもそも Ctrl-D って何だっけ?と立ち止まり調べましたが当たり前すぎて(?)記事にすらなってないので書いておきます。 ユーザーから見た Ctrl-D 入力終了を対話型のプログラムにしらせることに使う。 例えば irb から抜けるとき。 dekisugi% irb irb(main):001:0> puts "Hello" Hello => nil irb(main):002:0> # Ctrl-D で irb から抜ける その対話型プログラムが持つ exit や quit などの終了コマンドを入力するよりも楽ですね。 人によっては Ctrl-C を使う場合もあるかもしれません。(そのプログラムが SIGINT をどう扱っているかに依存するので、Ctrl-c で終了しない場合もよくあります。) 追記 i

    Ctrl-D の話 - ひげぽん OSとか作っちゃうかMona-
  • 機構と方針の分離 - Wikipedia

    機構と方針の分離[1]とは、計算機科学における設計原則の1つ。機構(操作の認可と資源配分を制御するシステム実装部分)は、どの操作を認可するかやどの資源を割り当てるかといった決定を行う際の方針を表すべきでない(あるいは過度に制限すべきでない)という考え方である。 主にセキュリティ機構(認証と認可)に関して議論されるが、様々な資源配分問題(CPUスケジューリング、メモリ割り当て、Quality of Serviceなど)にも当てはまる考え方であり、オブジェクト抽象化全般に関わる課題でもある。 機構と方針を分離すべきだと主張した計算機科学者として Per Brinch Hansen がいる[2][3]。 1987年の論文で Artsyらは「機構と方針を極端に分離」させたオペレーティングシステムの設計技法を論じた[4][5]。 Chervenakらは2000年の論文で、「機構中立性」と「方針中立性

  • finally-a-problem-that-only-quantum-computers-will-ever-be-able-to-solve-20180621

    Early on in the study of quantum computers, computer scientists posed a question whose answer, they knew, would reveal something deep about the power of these futuristic machines. Twenty-five years later, it’s been all but solved. In a paper posted online at the end of May, computer scientists Ran Raz and Avishay Tal provide strong evidence that quantum computers possess a computing capacity beyon

    finally-a-problem-that-only-quantum-computers-will-ever-be-able-to-solve-20180621
  • 究極の大規模汎用量子コンピュータ実現法を発明

    1つの量子テレポーテション回路を繰り返し利用 東京大学工学系研究科教授の古澤明氏と同助教の武田俊太郎氏は2017年9月22日、大規模な汎用量子コンピュータを実現する方法として、1つの量子テレポーテーション回路を無制限に繰り返し利用するループ構造の光回路を用いる方式を発明したと発表した。これまで量子コンピュータの大規模化には多くの技術課題があったが、発明した方式は、量子計算の基単位である量子テレポーテーション回路を1つしか使用しない最小規模の回路構成であり、「究極の大規模量子コンピュータ実現法」(古澤氏)とする。 今回発明した光量子コンピュータ方式。一列に連なった多数の光パルスが1ブロックの量子テレポーテーション回路を何度もループする構造となっている。ループ内で光パルスを周回させておき、1個の量子テレポーテーション回路の機能を切り替えながら繰り返し用いることで計算が実行できる 出典:東京大

    究極の大規模汎用量子コンピュータ実現法を発明