A compact zero knowledge proof to restrict message space in homomorphic encry...
楕円曲線入門�トーラスと楕円曲線のつながり
A compact zero knowledge proof to restrict message space in homomorphic encry...
AlphaGoが誇大広告ぎみな件 - Ａ級リーグ指し手１号
Googleが開発した囲碁ソフトのAlphaGoが、世界で初めてプロ棋士に勝ったコンピュータとして大きなニュースになっています。Nature誌に論文が掲載されたのですが、仔細に読むといくつか不可解な点がありましたので、調査・考察してみました。 AlphaGoの論文はこちらから見えます。プロ棋士に勝ったこともありますが、何よりコンピュータ囲碁開発者（及び隣の分野のコンピュータ将棋開発者）を驚かせたのは、「既存の他の囲碁プログラムと対戦させた結果、495戦494勝だった」との報告でした。この報告は衝撃的で、これを読んだ他のコンピュータ囲碁開発者たちからは「俺の今までの努力が否定された」「目標を見失ってしまった」などの悲嘆の発言が相次ぐ始末でした。 論文から、AlphaGo、対戦相手のプロ棋士、及び他のソフトのレーティングを示したグラフを引用します。 CrazyStoneとZenはこれまでは最強
Google DeepMindの囲碁ソフト AlphaGoの衝撃 - カレーなる辛口Javaな加齢日記
「Mastering the Game of Go with Deep Neural Networks and Tree Search」https://storage.googleapis.com/deepmind-data/assets/papers/deepmind-mastering-go.pdf http://deepmind.com/alpha-go.html 「AlphaGo: Mastering the ancient game of Go with Machine Learning 」http://googleresearch.blogspot.jp/2016/01/alphago-mastering-ancient-game-of-go.html 「AlphaGo: マシンラーニングで囲碁を 」http://googlejapan.blogspot.jp/2016/01/
最近よく聞くQuorumは過半数(多数決)よりも一般的でパワフルな概念だった - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 最近では珍しくもなくなった"Quorum"という言葉。Zookeeper, etcd, Serfといったクラスタ中でデータのレプリケーションを行ってくれるようなツールや、Cassandra, Riakといった分散データベース(NoSQL系)のようなツールにおいても、データの複製に一貫性を持たせる仕組みとしてよく聞かれます。 しかしながら、多くのスライドやWebの記事を読んでも、"Quorum"という語が意味するところは要するに「過半数ノードによる多数決」というような説明が多いように感じていました。 にも関わらず、"Quorum"と呼ばれ
画風を変換するアルゴリズム - Preferred Networks Research & Development
Deep Neural Networkを使って画像を好きな画風に変換できるプログラムをChainerで実装し、公開しました。 https://github.com/mattya/chainer-gogh こんにちは、PFNリサーチャーの松元です。ブログの1行目はbotに持って行かれやすいので、3行目で挨拶してみました。 今回実装したのは”A Neural Algorithm of Artistic Style”(元論文)というアルゴリズムです。生成される画像の美しさと、画像認識のタスクで予め訓練したニューラルネットをそのまま流用できるというお手軽さから、世界中で話題になっています。このアルゴリズムの仕組みなどを説明したいと思います。 概要 2枚の画像を入力します。片方を「コンテンツ画像」、もう片方を「スタイル画像」としましょう。 このプログラムは、コンテンツ画像に書かれた物体の配置をそのま
More preview enhancements for Windows Azure AD Premium - Active Directory Blog - Site Home - TechNet Blogs
Microsoft is holding an AI Agents Hackathon, and we want to see what you can build with Python! We'll have 20+ live streams showing you how to build AI agents with Python using popular agent frameworks and Microsoft technologies. Then, you can submit your project for a chance to win prizes, including a Best in Python prize!
DXTC(S3TC)圧縮のアルゴリズムとは？～前編～ - OPTPiX Labs Blog
初めまして、R&D部 上田と申します。 「OPTPiX Labs Blog」には初登場です。今回から、よく使われるいくつかの画像圧縮アルゴリズムについて解説していきたいと思います。 第一回目はDXTC（S3TC）圧縮について、です。 DXTCって何？ DXTCとは画像圧縮アルゴリズムの一種で、DirectX Texture Compressionの略称です。DXTCを使うと画像容量を小さくすることができます。ただし、非可逆圧縮なので画像が劣化します。また、S3 Graphics社の開発した技術なので、S3TC(=S3 Texture Compression)とも呼ばれています。 DXTCってどんなところで使われているの？ NINTENDO GAMECUBE®、Wii®、Wii U™、PSP®、PS3®、Xbox®、Xbox360®などの家庭用ゲーム機や、Windows PCのほとんどのグラ
コンピュータサイエンスアンプラグド
コンピュータサイエンスアンプラグドは、コンピュータを使わずに情報科学を教えるための学習法です。 カードなどを用いたゲームやグループ活動を通して、コンピュータの基本的なしくみを楽しく学ぶことができます。 （日本語版の紹介） このサイトではニュージーランドで開発された Computer Science Unplugged を翻訳した内容を紹介しています。今後は、日本での実践例や日本で開発したアンプラグド教材についても紹介していく予定です。 データ：情報を表す素材 点を数える（２進数） 色を数で表す （画像表現） それ、さっきも言った!（テキスト圧縮） カード交換の手品（エラー検出とエラー訂正） 20の扉（情報理論） ジョニーを探せ（情報理論） コンピュータを働かせる：アルゴリズム 戦艦（探索アルゴリズム） いちばん軽いといちばん重い（整列アルゴリズム） 時間内に仕事を終えろ（並び替えネットワー
細胞や骨をヒントに生まれた航空機部品、ジェネレーティブデザインと3Dプリンタで実現
細胞や骨をヒントに生まれた航空機部品、ジェネレーティブデザインと3Dプリンタで実現：未来の設計・製造の姿 オートデスクと航空機製造大手のエアバスは、共同で取り組んできた航空機のキャビン用パーティションの設計・製造に関するこれまでの成果として、3Dプリントされたキャビン用パーティション「バイオニック パーティション」を公開した。 米Autodesk（オートデスク）と航空機製造大手の仏Airbus（エアバス）は2015年12月2日、共同で取り組んできた航空機のキャビン用パーティションの設計・製造に関するこれまでの成果として、3Dプリントされたキャビン用パーティション「バイオニック パーティション」を公開した。 バイオニック パーティションとは、生物の細胞構造や骨の成長過程を模したデザインを生成する独自アルゴリズムにより設計され、AM（アディティブマニュファクチャリング）技術により製造されたもの
[Ruby]文字の間違い(揺らぎ)を検知するレーベンシュタイン距離とJaro-Winkler距離をRubyで使う方法 - 脳汁portal
Levenshtein距離とJaro-Winker距離両方とも、二つの単語、文章の間の違い(距離)を調べる方法です。 Levenshtein Distanceレーベンシュタイン距離 - Wikipedia 1文字削った文字列の末尾にどのような文字を追加すれば一致するか見ることで、1文字削った文字列との距離から1文字加えた文字列との距離を求めることができる。 数値(距離)が低ければ低いほど、似ている文字列となる Jaro-Winkler DistanceJaro–Winkler distance - Wikipedia, the free encyclopedia ジャロ・ウィンクラー距離も同じく文字列間の距離を調べるが、こちらはミスタイプをより検知することが出来る。ミスタイプはミスワードとは違い、最初の数文字は正しいことが多いという研究結果から、こちらの方法ではPrefix bonusとし
![[Ruby]文字の間違い(揺らぎ)を検知するレーベンシュタイン距離とJaro-Winkler距離をRubyで使う方法 - 脳汁portal](https://cdn-ak-scissors.b.st-hatena.com/image/square/cd8ad006e0deb73309481925e193202acf0c2007/height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F2fc8130669a57d9a8857d90d8013d8e7612d1aa0%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttp%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fp%252Fportaltan%252F20150623%252F20150623075912.png)
A Primer on Bézier Curves
A free, online book for when you really need to know how to do Bézier things. Read this in your own language: English 日本語 (24%) 中文 (37%) Русский (24%) Українська (2%) 한국어 (9%) (Don't see your language listed, or want to see it reach 100%? Help translate this content!) Welcome to the Primer on Bezier Curves. This is a free website/ebook dealing with both the maths and programming aspects of Bezier
ExcelのソルバーをSATソルバーとして使える？ - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 結論 とりあえず使える（整数計画問題に直せばよい）。ただし効率がいいかはよく知らない。 はじめに この記事は、私が11月14日に「わんくま同盟 名古屋勉強会#37」で発表した内容の補足記事となります。 取り扱う問題 「SATソルバー」というソフトウェアがある。これは変数を含む論理式（trueとfalseの組み合わせからなる式。演算子としてand, or, notなどを使う）を与えたときに、論理式全体がtrueになるような変数の組み合わせが存在すればそれを一つ返し、なければ「組み合わせは存在しない」と答えてくれるものである。 例えば数独の
マジックカーネル – 画像のリサンプリングのメソッド | POSTD
マジックカーネルとは？ “マジックカーネル”とは、極めて高速で（一番単純なバージョンなら、必要なのは少しの整数加算とビットシフトのみです）、驚くほどの結果を出してくれる効果的な画像のリサンプリングのメソッドです（エイリアシングノイズやリンギング、細かい物体の”Width beat”の発生を防ぎます）。 私がこのマジックカーネルと出会ったのは2006年、一般的に使われているJPEGライブラリのソースコードを扱っていた時のことです。それ以来、この素晴らしい特性を深く探り、任意のリサンプリングファクタのケースにまでこのメソッドを広げました。 このWebページでは、それらの特性を要約して説明し、画像への適用も含めてマジックカーネルのC#のコード実装の全てをご紹介します。 マジックカーネルはどこから来たのか 2006年に私は、JPEGを過剰に圧縮すると発生するブロックノイズを最小限に抑えるいい方法は
非公式PDF版SICP・新訳 - アスペ日記
計算機プログラムの構造と解釈、通称SICPを一から翻訳し直しました。 ファイル: SICP非公式日本語版 翻訳改訂版 リポジトリ: https://github.com/hiroshi-manabe/sicp-pdf また、今回の翻訳をするにあたって考えたことを別記事にまとめました。 腐った翻訳に対する態度について SICPはMITの有名なプログラミングの教科書です。詳しくはminghai氏の記事をご参照ください。 この翻訳改訂版は、minghai氏の非公式日本語版（以降、minghai氏版）のあまりにも惨憺たる翻訳を見かねて、原著から翻訳をし直したものです。この翻訳を進めるにあたっては、minghai氏版の訳を置き換えていくというやり方で進めていきました。しかし、差分を取ればわかっていただけると思いますが、minghai氏版のテキストは痕跡をとどめていないはずです。この方式を採ったのは、
GitHub - ivmai/bdwgc: The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
This is intended to be a general purpose, garbage collecting storage allocator. The algorithms used are described in: Boehm, H., and M. Weiser, "Garbage Collection in an Uncooperative Environment", Software Practice & Experience, September 1988, pp. 807-820. Boehm, H., A. Demers, and S. Shenker, "Mostly Parallel Garbage Collection", Proceedings of the ACM SIGPLAN '91 Conference on Programming Lang
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - commonsense/conceptnet: ConceptNet: a semantic network of common sense knowledge
GitHub - google/brotli: Brotli compression format
最適化超入門
プログラミング体験ゲーム：アルゴロジック ｜ JEITA
http://tom.cs.byu.edu/~557/text/cagd.pdf