[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

タグ

Programmingとcomputerに関するkamei_rioのブックマーク (10)

  • チューリング賞、コンパイラ技術の開発に貢献した研究者2人に

    コンパイラと呼ばれる重要なソフトウェア開発ツールがなければ、コンピューターを制御するために、人間には理解が難しい機械語の世界まで降りていく必要が生じていたことだろう。この功績を称えて、高い権威を誇るチューリング賞の2020年の受賞者に、コンパイラの開発に貢献したAlfred Aho氏とJeffrey Ullman氏が選ばれた。 計算機学会(ACM)は毎年チューリング賞の受賞者を選出し、100万ドル(約1億1080万円)の賞金を授与している。ACMによると、コンパイラ技術の先駆けとなったUllman氏とAho氏の共同研究は、1967年にAT&Tの著名な研究施設であるベル研究所で始まった。 現在、Ullman氏はスタンフォード大学の名誉教授で、コンピューターサイエンス関連のeラーニング企業Gradianceで最高経営責任者(CEO)を務めている。Aho氏はコロンビア大学の名誉教授だ。

    チューリング賞、コンパイラ技術の開発に貢献した研究者2人に
    kamei_rio
    kamei_rio 2021/04/05
    "コンパイラ技術の先駆けとなったUllman氏とAho氏の共同研究は、1967年にAT&Tの著名な研究施設であるベル研究所で始まった"
  • TechCrunch | Startup and Technology News

    Former Autonomy chief executive Dr Mike Lynch issued a statement Thursday following his acquittal of criminal charges, ending a 13-year legal battle with Hewlett-Packard which became one of Silicon Valley’s…

    TechCrunch | Startup and Technology News
    kamei_rio
    kamei_rio 2016/05/05
    "IBMがこのプロジェクトのために作ったプログラミング言語は、まるで音楽の作曲用の言語のようだ" 5キュービットを意識せよ!
  • コンピューター科学のアカデミック業界の残念な現状

    mhoye on Twitter: "Extremely angry with the state of academic CS research right now. (1/n)" MozillaでFirefoxのエンジニアリングコミュニティマネージャーであるMike Hoyeが、コンピューター科学におけるアカデミック研究の残念な現状に激怒している。 コンピューター科学のアカデミック研究の現状に激怒している。 MozillaがBugzillaを始めとした多数の情報を公開した結果として、多くの研究論文が書かれている。 我々はそのような研究には注目している。論文はじっくり読んでいるし、研究結果にしたがって今後の方向性も決めている。 しかし、我々は常に変化する世界に生きている。そのため、我々はデータをもとに結果を再検証して、仮定が正しいことを確認する。 ここで我々が行いたいことは、我々はある意

    kamei_rio
    kamei_rio 2016/05/03
    "検証可能なデータと動くコードなしには、お前のコンピューター科学の博士論文の命題とやらは命題ではない。それは単に命題が存在するかもしれないという未検証の主張に過ぎない。"
  • 正規表現を解析して可視化してくれるサイトが凄すぎる件

    ある正規表現に対して、特定の文字列がマッチするかどうかをチェックするツールやサイトは沢山ありますが、正規表現そのものが何を意味しているのか、どんな文字列を期待しているのかを解析・解読・説明してくれるツールやサイトってなかなか見ない気がします。 他人の書いた正規表現を見て、「ん?」ってなったことはありませんか? 例えばこれ。 1 ^[a-zA-Z0-9-_.]@([a-zA-Z0-9_-]+\.)+[a-zA-Z]{2,4}$ これくらいなら分かりますが、複雑になってくるとつらい… いつかはマスターしたいけど…今は楽したい。 そう思ってググってみると…ありました! それがこちら。 Regexper http://www.regexper.com/ 正規表現を入力して Display をクリックすると、その正規表現が表す内容を図にして表示してくれます。 例えば先程の正規表現は、当記事の一番上の

    正規表現を解析して可視化してくれるサイトが凄すぎる件
    kamei_rio
    kamei_rio 2014/10/19
    可視化大事
  • コンピューターサイエンスのカリキュラムに不足しているものは? | スラド デベロッパー

    頭が悪かったので、コンピュータ業界をあきらめた爺の寝言です。 8086が世に出たころ、医学生だった爺はバイトでPC作ってました。当時は 基板をおこして、プロセッサ、メモリ、周辺の石を乗せる ハンドラを書いて、ROMに焼く(アセンブラないしはCでコーディング) 画面に文字が出るまで四苦八苦(文字化けしていても何か表示されたら後は何とかなる) 当時の私は、「出来そこないのハードウェアを蘇らせるのがプログラマの仕事」と信じていました。 しかし、386が普及してから、ハードウェアを扱うことはほとんどなくなりました。 (システムプログラマは別として)アプリケーションプログラマはハードウェアの呪縛から解放された訳です。 しかし、今でもコンピュータはハードウェア基盤の上に成り立っているんですよね。 題に戻ります。私 javaは大嫌いです(と言いつつ、使ってますが・・・)。 下層(ネイティブIOインタフ

    kamei_rio
    kamei_rio 2014/08/11
    メモリについてはアドレスとか知ってた方がいいけど、純粋な計算機科学が必要か?というと……
  • Stephen Wolfram Wants To Make Computer Language More Human

    kamei_rio
    kamei_rio 2014/03/16
    キャーWolframサーン #読んでない
  • うっかりチューリング完全になっちゃったもの

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

    kamei_rio
    kamei_rio 2013/10/21
    つまり八兵衛もチューリング完全(それは違う
  • 脳と同じように機能するコンピューター

    kamei_rio
    kamei_rio 2013/09/03
    「情報を順番に処理するノイマン型アーキテクチャーの情報構造とは異なり、TrueNorthは並行して作業を行う」誰かここ教えて
  • 「数学の研究にコンピューターを用いるべきか?」:学会を二分する問いについて

    kamei_rio
    kamei_rio 2013/04/10
    四色問題やケプラー予想だって、コンピューターで解ける所まで人間が導かなきゃいけないんだから、区分を考えても意味がないと思うんだけど
  • ライフゲームの世界 - 人工知能に関する断創録

    ニコニコ動画の複雑系コミュニティの発起人のはむくんがライフゲームの世界というとても面白い動画を投稿されています。Twitterでは何度かツイートしてたけど完結したのでブログでも紹介させていただきます。 ライフゲームの世界1 John Horton Conwayが提案したライフゲーム(Conway's Game of Life)の基的なルールを解説しています。また頻繁に現れる4種の物体(ブロック、蜂の巣、ブリンカー、グライダー)を紹介しています。最後の作品紹介は、P416 60P5H2V0 gunというすさまじいパターンが出てきます。グライダー銃から発射したグライダーたちが滑走路を通ります。グライダーの集合先では、発射された複数のグライダーが合体して宇宙船が組み立てられます。 ライフゲームの世界2 いろんな振動子(パルサー、タンブラー、銀河)が鑑賞できます。作品紹介では大量の振動子が勢揃い

    ライフゲームの世界 - 人工知能に関する断創録
    kamei_rio
    kamei_rio 2013/01/06
    ライフゲーム動画まとめ。しかしニコニコ動画の複雑系コミュニティって……
  • 1