現在に至る種を広範囲にわたってまきつづけてきた悪魔的な天才──『未来から来た男 ジョン・フォン・ノイマン』 - 基本読書

2023/10/05 603 users ノイマン 際限 伝記 数学 天才

未来から来た男 ジョン・フォン・ノイマン みすず書房Amazonこの『未来から来た男 ジョン・フォン・ノイマン』はその名の通りフォン・ノイマンの伝記である。1903年生まれの1957年没。数学からはじまって、物理学、計算機科学、ゲーム理論など幅広い分野で革新的な成果をあげ、史上最高の天才など、彼を称える言葉に際限... 続きを読む

記事『計算機科学とディープラーニング』とHagiya triple - bonotakeの日記

2019/07/09 51 users www.lambdanote.com n月刊ラムダノート

本日（というかついさっき）刊行された雑誌『n月刊ラムダノート vol.1, No.2』に記事を寄稿しました。ということで宣伝エントリーです。 www.lambdanote.com この中で、『計算機科学とディープラーニング』という記事を書かせていただきました。 この記事を書くことになったきっかけは2つありました。 まず、ラムダノー... 続きを読む

私はこうして Google に入った (SWE・新卒編) - ふしみのブログ

2019/03/26 289 users コンパイラ Swe 専攻 computer science

最近、Googleや大学が開催しているキャリアイベントなどに参加する機会がおおかったので、そこで話したことをまとめて書いてみました。 応募時の経歴 狭義の Computer Science 専攻ではありませんでしたが (電気情報工学科→学際情報学)、選択科目によってはコンパイラやプログラミング言語を自作する実験など計算機科学... 続きを読む

制御理論としての動的計画法 - Qiita

2018/12/24 195 users 冷戦 アルゴリズム Qiita Wikipedia 分類

はじめに：冷戦と動的計画法 動的計画法とは何でしょうか？ いきなりですが、日本語版Wikipediaを引用します。 動的計画法 - Wikipedia 動的計画法（どうてきけいかくほう、英: Dynamic Programming, DP）は、計算機科学の分野において、アルゴリズムの分類の1つである。対象となる問題を複数の部分問題に分割し、部分問... 続きを読む

「偽のバグを大量に埋め込む」ことでソフトウェアのセキュリティがアップすると研究者が指摘 - GIGAZINE

2018/08/08 60 users ソフトウェア開発 GIGAZINE 条件下 かなり 全て

ソフトウェア開発では、バグの数をゼロに近づければ近づけるほど、セキュリティが高くなるとされています。しかし、かなり特殊な条件下でしか発生しないバグについては発見するのも困難で、バグを全てつぶすことは不可能とも言われています。ニューヨーク大学タンドン工科校で計算機科学の助教を務めるブレンダン・ドー... 続きを読む

私と型システムとポエム - The curse of λ

2018/06/02 271 users ポエム あくま 時流 tl;dr 言及

最近巷では俄に型システムについての言及が増え、型システムポエマーが増えてる気がするので自分もその時流に乗りたい。 完全にポエムだけどなんかあったら随時指摘ください。直します。 TL;DR 言いたいことはまとめると次 型システムは程度問題なのでちょうどいいところを探すべき 型は万能でも強さが正義でもない(だから未だに研究されてる) よく知りもしないくせに計算機科学を侮辱するのはやめろ 予防線 あくま... 続きを読む

過去最大の素数発見、２２３３万８６１８桁　米大学教授：朝日新聞デジタル

2016/01/23 132 users 朝日新聞デジタル 米大学教授 素数 解読 過去最大

米セントラルミズーリ大は２１日、１とその数自身以外では割りきれない素数を研究している同大のカーチス・クーパー教授（計算機科学）が、過去最大となる約２２３３万桁の素数を発見したと発表した。これまでより約５００万桁大きい。 　素数は無限に存在することが証明されているが、どのように出現するかは現在もわかっていない。素数は電子商取引などで使われる暗号に応用されている。大きな素数の発見は、より解読が困難な暗... 続きを読む

#99%のプログラマがIQ145のJKに「ダサい」と言われてしまう理由とは？【その１】「計算機科学のほんとうの基礎」を理解していない。IQ145のJKと同じ事を語るMITの権威とSICPという聖典の権威

2015/05/15 158 users SICP 聖典 MIT プログラマ 権威

2015年5月16日土曜日 #99%のプログラマがIQ145のJKに「ダサい」と言われてしまう理由とは？【その１】「計算機科学のほんとうの基礎」を理解していない。IQ145のJKと同じ事を語るMITの権威とSICPという聖典の権威を借りてマインドコントロールを解いてみよう Ken OKabe 3:42 No comments 関数型プログラミングそのものが「何」であるか？そんなことはとりあえず＜ま... 続きを読む

「木構造と自然数の重複あり集合は等価だよね」というはなし - EchizenBlog-Zwei

2014/01/30 65 users LOUDS EchizenBlog-Zwei 既知 はなし

計算機科学「木構造と自然数の重複あり集合は等価だよね」というはなしをする。簡潔データ構造な人向けに言うとLOUDSの話。とはいえこの記事は特に簡潔データ構造の知識を要求しない。データ構造とか情報量とかに興味がある人全般を対象としている。※簡潔勢にとっては既知な話のはずなのであえて読む必要はないです。 まず結論から述べる。以下のような幅優先で番号を振った木構造を考える。 親 → 子 ==== (1)... 続きを読む

英国政府、アラン・チューリングに没後59年目の恩赦。計算機科学の父 - Engadget Japanese

2013/12/24 283 users 恩赦 チューリング エニグマ 死後恩赦 アラン・チューリング

英国政府、アラン・チューリングに没後59年目の恩赦。計算機科学の父 By Ittousai posted 2013年12月24日 14時01分 0 英国時間で12月24日、英国政府が科学者アラン・チューリングに与えた死後恩赦が正式に確定しました。 アラン・チューリングは1912年ロンドン生まれ、1954年没 (41歳)。天才的な数学者として多方面で業績を挙げ、第二次大戦中にはドイツの有名なエニグマ... 続きを読む

PHP ソフトウェアメトリック « BEAR Blog

2013/02/06 55 users PHP wikiped 尺度 BEAR Blog 威力

ソフトウェア測定法（ソフトウェアそくていほう）またはソフトウェアメトリック（英: Software metric ）とは、ソフトウェアやその仕様の属性の尺度である。 定量的手法の威力は他の分野で証明されていたことから、計算機科学の分野でも同様の手法をソフトウェア開発に持ち込もうとする努力が続けられてきた。Tom DeMarco は「測定できないものは制御できない」と記している。 — Wikiped... 続きを読む

「入門 機械学習」を献本していただきました - EchizenBlog-Zwei

2013/01/20 64 users 数式 アルゴリズム 本書 EchizenBlog-Zwei

計算機科学「入門機械学習」を献本していただきました。ありがとうございました。というわけで早速読み終わったので感想を書いておく。 機械学習の入門書ではない本書はタイトルから連想されるような機械学習に入門するような内容は書かれていない。一切数式は登場せずアルゴリズムはすべてブラックボックス化されている。では本書はダメな本なのかというとそんなことは全くない。少なくとも「入門 機械学習」というタイトルに興... 続きを読む

「高速文字列解析の世界」を読む前に知っておくと良いこと - EchizenBlog-Zwei

2013/01/08 248 users 本書 メモリ 敷居 ディスク キャッシュ

計算機科学「高速文字列解析の世界」という大変すばらしい本が発売された。わりと敷居が高い本ではあるので読む前に知っておくとよさそうなことを書いておく。 「高速文字列解析」とは本書でいう高速文字列解析というのは主に2つのことを指している。ひとつはデータを圧縮して小さくしてディスクよりメモリ、メモリよりキャッシュというようにより高速な記憶装置で扱いましょう、という話。もうひとつはデータ構造を工夫すること... 続きを読む

ウェーブレット木の効率的で簡単な実装 "The Wavelet Matrix" - EchizenBlog-Zwei

2012/08/01 58 users EchizenBlog-Zwei ウェーブレット木 論文

計算機科学久しぶりに論文を読んだ。http://www.dcc.uchile.cl/~gnavarro/publ.htmlThe Wavelet Matrix Claude & Navarro; SPIRE2012"The Wavelet Matrix"はSPIRE2012のNavarro無双のうちの一本。タイトルからするとウェーブレット木の拡張のように思える。機能としてはウェーブレット木と同一で... 続きを読む

JavaScript - 小学生のためのクロージャ

2011/12/08 52 users クロージャ 変数 関数 一種 小学生

http://konno-freesoftware.blogspot.com/2010/02/javascript_10.html より。 計算機科学におけるクロージャとは クロージャ - Wikipedia 引数以外の変数を実行時の環境ではなく自身が定義された環境静的スコープにおいて解決する関数の一種 なのであるがさすがにこの説明だけではピンと来ないかと言って function newCount... 続きを読む

[ＩＴ]wizardofcrowdsの日記 - 浅い技術、深い技術と教育・IT産業、そしてより深い技術

2006/04/06 86 users 備忘録 初対面 焼酎 夕食 前半

今日は日記モード、しばらく前に、計算機科学の研究者としても有名なある若い技術者の方と夕食をご一緒する機会があった。その時聞いたこと、思ったことを備忘録として書こうと思う。この方は複数の重要な問題提起をされていた。 「深い技術」と「浅い技術」 おいしい魚と焼酎をいただきながら、この方とは初対面であるにもかかわらず、不思議と話が弾んだ。話の前半で話題になったのは、「深い技術」と「浅い技術」についてであ... 続きを読む