OCamlPro tackles complex design challenges (blockchains, Domain Specific Languages) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
Blog Building a CPU with Haskell Part 1 October 2017 Today, we're going to build a simple CPU. We're going to write it in Haskell and use CLaSH to compile it to hardware. This entire webpage is a literate Haskell file. You can see it here on Github. To load the file into an interactive REPL, install CLaSH and run clashi CPU1.lhs. If you want to simulate the Verilog hardware code or put it on an FP
A modern, functional, hardware description language Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. It provides a familiar structural design approach to both combinational and synchronous sequential circuits. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, V
新大久保は「韓流だけじゃない」 韓流の街というイメージが強い新大久保。しかし、駅から一歩出ればもっと「複雑」であることに気づく。行き交う人たちの出身国は2〜3ヶ国では済まなさそうだ。 街頭の看板も日本語、韓国語、英語に加えて、ネパール語やベンガル語らしきものが並んでいる。色やデザインも独特だ。 驚いたのは、駅構内の多言語アナウンス。なんと24ヶ国語で、「事故防止のために、階段や通路は右側を歩いてください。階段は止まらずに進んでください」と流れている。駅構内の様子を実際に音声付きの動画で撮影してきたので一度聞いてみてほしい。 【動画】新大久保駅のアナウンス(クリックして再生) この多言語アナウンスは2015年に始まったという。前代未聞の24ヶ国語アナウンスを導入した当時の駅長、阿部久志さんに、取り組みのきっかけや狙いについて話を聞いてみた。 阿部久志さん。JR新大久保駅の前駅長(2012-2
タイラー・コーエン 「娘のリベラル化効果? ~娘を持つ親は左寄りになる?~」(2005年12月25日)/「娘の保守化効果? ~娘を持つ親は右寄りになる?~」(2010年4月5日) ●Tyler Cowen, “Does having daughters make you more interventionist?”(Marginal Revolution, December 25, 2005) こちらの記事は大変面白い。ほんの一部になるが、引用しておこう。 ・・・(略)・・・しかしながら、最も強烈な証拠を提供しているのは「転向者」だ。オズワルド(Andrew Oswald)教授とポータヴィー(Nattavudh Powdthavee)博士の二人が1991年から2004年までの期間を対象に(イギリスの)有権者の投票行動に関する自己申告データを調査したところ、左派政党から右派政党へと「転向」し
宮城や福島で炊き出し100回、なぜならそれがジハードだから。被災地でカレーをふるまい続けたムスリムたちの話 大塚にある細長いモスク JR大塚駅から徒歩5分ほど、商店街を抜けたところにその小さなモスクはある。「マスジド大塚」だ。「マスジド」とはアラビア語でモスクを意味する言葉。モスクはムスリム(イスラーム教徒)のための礼拝所である。このマスジド大塚が創立されたのは2000年のことだ。 私が初めてこの場所を訪れたのは4年前のこと。持ち金が尽き、泊まる場所がなくなったナイジェリア出身の難民申請者がモスクでお世話になっていたときのことだった。その日は外国から来た難民だけでなく、日本人のホームレスの方たちもモスクで寝泊まりしていた。 マスジド大塚。小さなドームとミナレット(尖塔)が目印 モスクというとトルコの「ブルーモスク」のような豪華絢爛なイメージもあるが、マスジド大塚は質素なつくりをしている。横
皆さん、こんにちは。戸倉彩です。 今回は先日、2017年12月11日にマイクロソフトが公開した新しいプログラミング言語「Q#」について、まずはいち早くサンプルを動かしてみたい!という方を対象に、マイクロソフト社がYouTubeで公開したMicrosoft Quantum Development Kit: Introduction and step-by-step demo(英語)の動画で取り扱っている「量子テレポーテーション」のサンプルを動かす方法をご紹介します。 Q#とは (読み方:キューシャープ) マイクロソフト社が公開した量子コンピュータ向けプログラミング言語です。現時点では、Windows版 Visual Studio 2017の開発環境に統合され、30理論量子ビットのローカル量子シュミレーターを使うことでローカルのマシン上でデバッグ実行が可能です。 ※マイクロソフトのクラウド、M
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く