ようこそ!浜村拓夫の世界へ

    ブログ内検索

    最近の記事

    ブックマーク数の多い記事

    Blog Translation

    Powered By FC2ブログ

    Powered By FC2ブログ
    ブログやるならFC2ブログ


    FC2ブログ LOGIN

    with Ajax Amazon

    汎用量子コンピューターは関数型プログラミング言語を採用?

    このエントリーを含むはてなブックマーク はてなブックマーク - 汎用量子コンピューターは関数型プログラミング言語を採用? あとで読む
    マイクロソフトが汎用量子コンピューターを開発しているというニュースがあった。

    ASCII.jp:5年後には実用化か、マイクロソフトが「汎用量子コンピュータ」を開発する理由

    2017年10月16日
    マイクロソフトは、米国時間9月25日の「Ignite 2017」基調講演で、「トポロジカル量子コンピュータ」と呼ばれる量子コンピュータ理論の仕組みを実装したチップ実機、BlueFors社と共同開発した専用の冷却装置、Visual Studioで使える量子コンピュータ向けプログラミング言語を発表した。



    新しい量子プログラミング言語は「F#」に近い
    まだ正式名称がつけられていないこの言語は、榊原氏によれば「関数型プログラミング言語のF#に近い(あるいはF#そのもの)」という。



    Microsoft、「トポロジカル量子ビット」の実現で汎用量子コンピュータの実現に近づく - PC Watch

    日本マイクロソフト、汎用性の高い量子コンピュータの実現に向けた最新の取り組みなどを紹介 - クラウド Watch

    Microsoftが実現を目指す汎用型量子コンピューター | マイナビニュース

    マイクロソフトの汎用量子コンピューターは、ハードとソフトをフルスタックで提供する予定らしい。
    使用されるプログラミング言語は、「F#」のような関数型プログラミング言語になるようだ。

    F#とは?

    F Sharp - Wikipedia

    F#(エフ シャープ)はマイクロソフトが開発した.NET Framework向けのマルチパラダイムプログラミング言語である。Visual Studio 2010より標準開発言語として追加された。
    2002年からマイクロソフトリサーチのドン・サイム(Don Syme) らによってOCamlをベースに開発が始められた。
    F#のFはFunctional programming language(関数型プログラミング言語)およびSystem Fが由来であり、Fortranとは無関係である。



    プログラミングF#
    Chris Smith
    オライリージャパン
    2010/8/26
    3110円


    マイクロソフトで開発された「F#」は、OCamlをベースにしたマルチパラダイムの関数型プログラミング言語とのこと。

    OCamlとは?

    OCaml - Wikipedia

    OCaml(オーキャムル、オーキャメル)は、フランスの INRIA が開発したプログラミング言語MLの方言とその実装である。
    MLの各要素に加え、オブジェクト指向的要素の追加が特長である。



    OCamlは、フランスで開発された関数型プログラミング言語の1つ。
    関数型プログラミング言語の入門として、OCamlはHaskellよりも分かりやすいだろう。
    F#のような言語を使うなら、今のうちにOCamlで関数型プログラミングに親しんでおくと良いと思う。

    プログラミングの基礎 (Computer Science Library)
    浅井 健一
    サイエンス社
    2007-03-01
    ¥ 2484
    関連記事

    コメント

    コメントの投稿


    管理者にだけ表示を許可する

    トラックバック

    トラックバックURL:
    http://hamamuratakuo.blog61.fc2.com/tb.php/1454-42d3a2b0

    FC2Ad