嘘を見抜ける人工知能が衝撃的すぎる (1/5)
鳥肌が立った。人間は本当にこの方向に進んでいくべきなのかと、人工知能の研究ではじめて戸惑いを感じた。 人工知能を使ったゲーム大会「第1回人狼知能大会」があると教えてもらって見に行ったのだ。パシフィコ横浜で開催の開発者イベント「CEDEC 2015」で27日に開催されたものだ。大会は大人気で、観客の長い行列ができていた。 人工知能に会話ゲーム「人狼」をプレイさせ、勝者を決める。人工知能が将棋を指す「電王戦」のようなもので、まずは人工知能の中でゲームの優勝者を決める。 人狼というのは「スパイ探しゲーム」だ。 プレイヤーにあたる「村人」たちの中には、夜ごと人をとって食う「人狼」が数人ひそんでいる。村人たちはテーブルを囲み、人狼が誰なのかを推理して村から追放する（処刑する）。人狼は誰が人狼なのか知っていて、自分は人狼ではないと嘘をつく。村人側には人狼かどうかを見抜く「占い師」など特殊能力を持ってい
衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基本用語を知りたいときはコチラ、… って、……、ゴメン！[/追記] 内容： はじめに 本の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使
[読書]Understanding Cryptography(前半:1-5章): ある開発エンジニアの備忘録
Understanding Cryptography by Christof Paar etc. 難易度：中級～上級 オススメ度：★★★★★ 何冊か暗号の本を読んだのですが、分類すると大体は2種類に分かれます。ひとつは、整数論や楕円理論をバリバリ説明する数学書系。もうひとつは、暗号アルゴリズムの概要のみを説明するだけの啓蒙書系。残念ながら、暗号を手っ取り早く実装したい人には、どちらも不十分です。暗号動作の理屈を理解するために、数学書系の本を読むのはいいですが、実装するまでに時間がかかりすぎます。恐らくそこまで時間をとれるお仕事はそうそう無いでしょう。もうひとつの啓蒙書系の本は、暗号がどういうものかを理解するのにはいいですが、実装する際には殆ど役に立ちません。暗号の利用法用とかを理解する分には、十分なのでユーザとして使う分には、これで十分かもしれません。どっちも重要なのですが、実際に実装する
Backus–Naur form - Wikipedia
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article is written like a manual or guide. Please help rewrite this article and remove advice or instruction. (December 2023) This article may be too technical for most readers to understand. Please help improve it to make it understandable
この機会にマスターしようぜ、正規表現、構文図、オートマトン - 檜山正幸のキマイラ飼育記 (はてなBlog)
正規表現と構文図について解説します。オートマトンについても詳しく述べます。オートマトン・スゴロクで遊びましょう！ 世間でよく知られている／使われている概念・方法にはこだわらず、僕（檜山）の感覚で一番わかりやすいと思われる筋書きと用語法／図式法を使って説明します。この記事に目を通して“感じ”が掴めたら、形式言語理論の教科書を読み始めることが出来るでしょう。 [追記]この記事の内容に対する具体例は、「正規表現とオートマトン：なんだ簡単じゃん、JavaScriptによる実装」にあります。[/追記] 内容： 正規表現 正規表現の例 構文図 基本記号 連接 選択 省略可能 繰り返し ストレートワイヤーによるレイアウト調整 有限状態オートマトン 有限状態オートマトンの実行 バックトラックと先読み スゴロクとオートマトン コマをたくさん使うスゴロクと並列処理 非決定性オートマトンと決定性オートマトン 正
Level of measurement - Wikipedia
Nominal level[edit] The nominal type differentiates between items or subjects based only on their names or (meta-)categories and other qualitative classifications they belong to; thus dichotomous data involves the construction of classifications as well as the classification of items. Discovery of an exception to a classification can be viewed as progress. Numbers may be used to represent the vari
高校で配られた教科書が酷過ぎる件:ハムスター速報
高校で配られた教科書が酷過ぎる件 カテゴリ☆☆☆☆ 1：以下、名無しにかわりましてVIPがお送りします：2010/12/05(日) 11:07:47.35ID:ei6co7d00 ボトラーズとか卑猥すぎだろjk... 3：以下、名無しにかわりましてVIPがお送りします：2010/12/05(日) 11:08:54.20ID:DDGvo9R90 涼宮カルビはやりすぎだろう 10：以下、名無しにかわりましてVIPがお送りします：2010/12/05(日) 11:10:33.60ID:jWossR5d0 アズナブル大佐って… これ教科書なのか、マジで… 16：以下、名無しにかわりましてVIPがお送りします：2010/12/05(日) 11:11:59.75ID:ND8XQQMN0 テニスウェア萌えハァハァってマジか 以下、名無しにかわりましてVIPがお送りします：2010/12/05(日
www.さとなお.com（さなメモ）: 高校の「情報」の教科書がすごい件
ムスメが学期末試験真っ直中で一夜漬けの日々を送っている。 彼女はリビングで勉強したがるので何やっているのかわかっちゃうのだが、その中で気になることをやっていた。「フォトショの拡張子は…」とか声を出して暗記しているのだ。そして「お父さん、AVIファイルってデータ量が大きいんだっけ？」とか訊いてくる。 なんだなんだ？ そしたら「情報Ａ」とかいう科目と試験があるらしい。ほぉ。そういえばそんなこと言っていたな。ちょい見せてｗ 教科書を見せてもらって驚いた。 いやぁ、なるほど。いまどきの高校生ってこういうの体系的に教えてもらっているのね。 メディアの概念や記録メディアの変遷から入り、「メディア・リテラシー」とか「ディスクロージャー」とかいうキーワードを習い、「フィッシング」とか「クッキー」とか「アクセスログ」とかがいきなり冒頭で出てくる。この時点でついていけない大人とか普通にいそうだｗ ネットの仕組
コンピュータが仕事を奪う - hiroyukikojima’s blog
新井紀子さんの新著『コンピュータが仕事を奪う』日本経済新聞出版社を読んだ。 非常に面白い本だった。新井さんの本については、これまで当ブログでは、数学は言葉 - hiroyukikojimaの日記とか、女子系数学書の誕生〜「式で書けること」と「計算できること」は違う - hiroyukikojimaの日記とかで扱ったけど、本書がこれまでの新井さんの本の中で最も勉強になった本となった。こういういい方も不遜だとは思うが、ぼくも数学ライターのはしくれで、新井さんよりキャリアが長い。だから、新井さんのこれまでの本は、もちろん、その主張や書きっぷり、構成の巧みさには感心するものの、それは「観客席」からの拍手ではなかった。どちらかというと、楽屋のモニターで腕組みしながらよそのバンドの演奏を聴き、「お、そんなとこでキメをいれるのか」とか「ここで、こういうコード展開をするのは勉強になるなあ」などと高みの見物
プログラミング言語処理
プログラミング言語処理 講義資料 一覧 全講義資料 pdf版(version 1.1, 108ページ)は、 こちら 言語処理系とは インタプリタとコンパイラ 言語処理系の基本構成 例題：式の評価 ＢＮＦと構文木 解釈実行：インタプリター コンパイラとは ソースコード 字句解析の基礎：正規表現によるパターンマッチ 字句解析と正規表現 自動字句解析生成プログラム：lex 数式の構文解析：top-down parserの作り方 構文規則 top-down parser の作り方 構文解析の基礎 top-down parserとbottom-up parser 上向き構文解析と還元 演算子順位構文解析法 ＬＲ構文解析法 構文解析生成プログラムyacc tiny Cについて tiny Cの言語仕様 tiny C
コンパイラ最適化 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "コンパイラ最適化" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2018年10月） コンパイラ最適化（コンパイラさいてきか、英語: Compiler optimization）では、コンピュータ・プログラムの最適化に関する話題のうち、もっぱらコンパイラに関係するものに関して説明する。最も一般的な要求はプログラムの実行時間を最小化することであり、その次に使用するメモリ量を最小化することである。また、携帯可能なコンピュータが増えるにつれて、消費電力を最小化するという最適化も生まれてきた。 一部のコード最適化問題はNP完全問題であることが示さ
Introduction to Algorithms (SMA 5503) | Electrical Engineering and Computer Science | MIT OpenCourseWare
This course teaches techniques for the design and analysis of efficient algorithms, emphasizing methods useful in practice. Topics covered include: sorting; search trees, heaps, and hashing; divide-and-conquer; dynamic programming; amortized analysis; graph algorithms; shortest paths; network flow; computational … Show more This course teaches techniques for the design and analysis of efficient al
ビザンチン将軍問題 - Wikipedia
ビザンチン将軍問題（ビザンチンしょうぐんもんだい、英語: Byzantine Generals Problem）とは、相互に通信しあう何らかのオブジェクト群において、通信および個々のオブジェクトが故障または故意によって偽の情報を伝達する可能性がある場合に、全体として正しい合意を形成できるかを問う問題である[1]。フォールトトレラントシステムでの多数決の妥当性や分散コンピューティングの処理の妥当性に関わる問題と言え、二人の将軍問題を一般化したものと言える。 ビザンチン将軍問題に帰結される故障や障害をビザンチン故障（Byzantine Failure、あるいはビザンチン障害）と呼ぶ。また、ビザンチン将軍問題が発生しても全体として正しく動作するシステムをビザンチン・フォールトトレラント性（Byzantine Fault Tolerance）があるという。 問題[編集] ビザンチン将軍問題は、東ロ
ぜひ押さえておきたいコンピューターサイエンスの教科書
僕はバイオインフォマティクスという生物と情報の融合分野で研究を行っています。東大の理学部情報科学科にいた頃は同僚のマニアックな知識に驚かされたものですが、そのような計算機専門の世界から一歩外に出ると、それが非常に希有な環境だったことに気が付きました。外の世界では、メモリとディスクの違いから、オートマトン、計算量の概念など、コンピューターサイエンスの基礎知識はあまり知られていませんでした。コンピューターサイエンスを学び始めたばかりの生物系の人と話をしているうちに、僕が学部時代に受けた教育のうち、彼らに欠けている知識についても具体的にわかるようになってきました。 バイオインフォマティクスに限らず、今後コンピュータを専門としていない人がコンピューターサイエンスについて学ぶ機会はますます多くなると思われます。そこで、これからコンピューターサイエンスを学ぼうとする人の手助けとなるように、基礎となる参
イギリス首相の謝罪によりアラン・チューリングが55年ぶりに名誉回復 - YAMDAS現更新履歴
Slashdot や Boing Boing など各所で伝えられているが、第二次世界大戦においてドイツのエニグマ暗号解読に多大な功績を残した天才数学者でありながら（みんなサイモン・シン『暗号解読』読もうぜ！）、同性愛者であることにより有罪判決を受け、自殺に追い込まれるという非業の死を遂げたアラン・チューリングに対し、ゴードン・ブラウン英首相が彼に対し謝罪する声明文を発表し、チューリングの名誉回復がなされた。 個人的には、今まで謝罪がなかったことに驚いたが、今回は嘆願書が後押しした模様。あと Number10.gov.uk ってのがイギリス首相の公式サイトなのね。 そうそう、プロジェクト杉田玄白にチューリングの論文「計算する機械と知性」が公開されている。 甦るチューリング―コンピュータ科学に残された夢 作者: 星野力出版社/メーカー: NTT出版発売日: 2002/09メディア: 単行本購入
リポジトリ - Wikipedia
この項目では、バージョン管理システムにおける用法について説明しています。その他の用法については「リポジトリ (曖昧さ回避)」をご覧ください。 リポジトリ（英: repository[1]）またはレポジトリは、バージョン管理システムでは、ソースコードやディレクトリ構造のメタデータを格納するデータ構造のこと。 概要[編集] 「リポジトリ」の原義は「貯蔵庫」、「保管場所」である（wikt:repository）。バージョン管理システムではソースコード等の管理対象を溜めておく場所をリポジトリと呼ぶ。すべてのユーザーのシステムに重複したリポジトリを持つ分散型 (GitやMercurial) と、単一のサーバーでリポジトリが管理される集中型 (Subversion、CVSなど) が存在する[2]。あらゆる第三者に開かれているリポジトリをパブリックリポジトリ（英: public repository）と
High Performance Programming 高速化
High Performance Programming 高性能プログラミング この講義は、応用数理工学特論、数理工学特論 II、材料応用数学特論に対 応します。 レポート課題１ レポート課題２ レポート解答 参考書 R. Allen and K. Kennedy, "Optimizing Compilers for Modern Architectures", Morgan Kaufmann. M. Wolfe, "High Performance Compilers for Parallel Computing", Addision-Wesley. 寒川光、「RISC 超高速化プログラミング技法」、共立 中澤喜三郎、「計算機アーキテクチャと構成方式」、朝倉 天野英晴、「並列コンピュータ」、昭晃堂 D. E. Culler, J. P. Singh, A. Gupta, "Paral
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.youtube.com/view_play_list?p=112A527F83F7A5E4
ホットスペア - Wikipedia
コンピュータサイエンスはこう学べ (1) - 将来が不安
