世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
数学なんていつ使うの？という質問にガチで答える１枚の表がすごいｗｗｗｗｗｗｗｗｗｗｗｗ:ハムスター速報
TOP > 星５ > 数学なんていつ使うの？という質問にガチで答える１枚の表がすごいｗｗｗｗｗｗｗｗｗｗｗｗ Tweet カテゴリ星５ 0 ：ハムスター２ちゃんねる 2014年9月4日 11:10 ID：hamusoku 数学なんていつ使うの？という質問にガチに答えるとこうなった 元記事：100の職業でどんな数学を使うのか１枚の表にまとめてみた 数学なんていつ使うの？という質問にガチに答えるとこうなった 元記事：100の職業でどんな数学を使うのか１枚の表にまとめてみた http://t.co/Gg3H5v0mlP pic.twitter.com/AQ3luQvZJm— kurubushi_rm (@kurubushi_rm) 2014, 9月 3 1 :ハムスターちゃんねる2014年09月04日 11:10 ID：.22uMrj20 表を見るだけで頭いたくなる嫌数学病…………ｳｯ 2 :ハ
量子情報処理の実用化に道筋、東大が室温で単一光子発生に成功
東京大学 ナノ量子情報エレクトロニクス研究機構の荒川泰彦教授らは、位置制御されたGaN（窒化ガリウム）系ナノワイヤ量子ドットを用いて、300K（27℃）の室温で単一光子の発生に成功した。今回の開発成果は、量子暗号通信や量子コンピュータなど、量子情報処理システムの実用化に向けた研究に弾みをつける可能性が高い。 東京大学 ナノ量子情報エレクトロニクス研究機構の荒川泰彦教授、マーク・ホームズ特任研究員らは2014年2月12日、位置制御されたGaN（窒化ガリウム）系ナノワイヤ量子ドットを用いて、300K（27℃）の室温で単一光子の発生に成功したと発表した。今回の開発成果は、量子暗号通信や量子コンピュータなど、量子情報処理システムの実用化に向けた研究に弾みを付ける可能性が高い。荒川氏は、「位置制御されたGaN系量子ドットを用いて、室温で単一光子の発生に成功したのは世界でも初めて」と話す。研究成果の論
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ナチスの暗号を破った数学者、チューリングの伝記映画：カンバーバッチ主演の予告動画が公開
