JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
明治大学 情報科学科 特別講義 コードの寿命・データの寿命・互換性の寿命 三廻部 大 @ Treasure Data, 2023-06-02
計算量についてのお話です。対象は、プログラミング経験はあるが計算量のことを知らない初心者から、計算量のことを知っているつもりになっている中級者くらいです。 数式を見たくない人にとっては読むのが大変かもですが、深呼吸しつつ落ちついて読んでくれるとうれしいです。 それから、この記事が自分には合わないな〜と思ったときは、(別の記事を Qiita とかで検索するよりも)この記事の一番下の 参考文献 にある本を読むことをおすすめします。Amazon の試し読みで無料で読めます*1。 TL; DR 関数の増加度合いのことをオーダーと呼ぶよ 計算量は、入力サイズ(など)を受け取ってアルゴリズムの計算回数(など)を返す関数だよ その関数のオーダーについての議論がよく行われるよ オーダーを上から抑えるときは \(O\)、下から抑えるときは \(\Omega\) を使うよ オーダーを上下両方から抑えたいときは
17 August 2004 Quenya 5 April 2004 Маяковский 20 February 2004 国会の議長になったら...Viscuit...になったら...備忘録 10 January 2004 German irregular verbsGerman 9 January 2004 When I become a real mayor, I'll.. 4 January 2004 AdventsKalendar 3 January 2004 chomswiki Swiki 14 December 2003 読みたい本 9 December 2003 気になるものUser Interface 2 December 2003 tide triple helix oral history Smalltalkプロジェクトは私たち一人一人が持つ創造性を計算機によって支
Garbage Collection Advent Calendarの5日目の記事です。 私はGCが嫌いです。GCは幼稚で礼儀知らずで気分屋で 甘やかすといつまでも動き、ほったらかすとセグフォする。 そんなGCのために、私達人間は何もする必要はありませんよ ♪ ということで、GC撲滅の1方法としてLinear Lispなるものを紹介します。Linear Lispは線形論理という論理に基づいたLisp処理系です。 元論文はこれです。 Lively Linear Lisp -- 'Look Ma, No Garbage!' http://home.pipeline.com/~hbaker1/LinearLisp.html 線形論理については、ここのページが感動的なほどわかりやすいです。 線形論理って何? (情報科学演習 III 課題紹介(小林研究室)) http://web.yl.is.s.u
Which way? (Image: Andre Konieczny/Imagebroker/FLPA) Species: Bombus terrestris Habitat: Throughout Europe and north Africa, outsmarting salespeople Anyone who has used an in-car satnav will be familiar with Jane, the calm voice that tells you to turn around because you’ve gone the wrong way. Many users will also be familiar with the response: yelling “Shut up, Jane!” while performing illegal turn
『代数学は得意だけど,数学基礎論とかさっぱり分からない.論理とかマジイミフ』そんなアナタを対象に,ゲーデルの不完全性定理を解説してみよう! のコーナーです. 論理学と代数学(可換環論)との対応については,檜山さんによる素晴らしい記事があります: 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ,『論理学といえばまずコレ!』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので,ちょっぴり魔が差して,ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました. だが,単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……!というわけで,プラスアルファとして,その他色んな分野との関わりを含めて紹介します. 0. 理論は対応する代数を持つよ!: リンデンバウム代数 まず,論理学と代数学を対応させる第一の架け橋
http://www.atmarkit.co.jp/news/analysis/200707/17/trans.html : トランザクションメモリはマルチコアの救世主となるのか? − @IT これに対して、1993年にMaurice Herlihy氏とJ.Eliot B. Moss氏が提案したコンセプトがトランザクションメモリ(Transactional Memory)という考え方だ。これは、基本的に共有リソースに対するロックを事前に行うのではなく、各実行スレッドがそのコピーをローカルに持ち、処理終了時点で参照数値が変更されていないことの確認と、結果の書き込みを一気に行ってしまうというものだ。 仮に依存数値がほかのスレッドによって書き換えられている場合は処理そのものを廃棄してやり直す必要がある。この点、データベースのトランザクション処理と類似していることからトランザクションメモリと命名さ
トップ > 科学・デジタル > 科学一覧 > 記事 【科学】 だいたい正しい 世界最低速の計算機 2008年11月4日 計算機の中にセットした粘菌の様子を見る青野真士さん=埼玉県和光市の理化学研究所で 世界がスパコンの速さを競う中、理化学研究所で「世界最低速の計算機」が開発された。そのうえ、単細胞でときどき間違えるのが特長という。まるで私のようだ−と思ったら大正解。人間の脳のように情報を処理する未来の計算機のヒントがその中にあるのだという。 (永井理) 地下の一室。ガラス扉のついた箱の中に、防犯カメラのようなものが下向きに付けられた装置がある。「これが世界最低速の計算機です」と原正彦さん。物質の“揺らぎ”を利用した研究を進める国際連携研究グループのディレクターだ。 ■動く粘菌 カメラの真下の台にはボタンほどの大きさの金色の円盤がある。「中心に小さな粘菌を置いて計算をさせて
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …4曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。9曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
「オブジェクト指向でなぜ作るのか」以来、OOP が解らなくなってしまった三猫です。あーー、もう、わっかんない、と混乱のまっただ中にいる私にかけられた、sumim さんの優しい言葉。 とりあえず、ケイのメッセージングのOOとストラウストラップら(リスコフ、メイヤーなど)の抽象データ型のOOの要点について、みねこあさんなりの解釈を簡単でいいので箇条書きにでもしてもらうことはできますか? そこからすりあわせたほうがよいと思います。 http://d.hatena.ne.jp/minekoa/20080803#c1217824520 よーし! 箇条書きといわず、がんばっちゃうぞー。(と暴走する私。) ストラウストラップのOOP ストラウストラップの考える OOP 、本当は、What is.. 論文 に当たるのが正しい姿なのですが、今の私の脳内というと、実は申し訳ないことに「プログラミング言語 C+
コンピュータサイエンス専攻の学生が日々チェックしているであろう学術論文誌を教えてください。 国内と国外の両方を知りたいので両方の回答をいただけると嬉しいですが、片方でも構いません。 よろしくお願いいたします。
Google Tech Talks November, 29 2007 In the 1980's, new learning algorithms for neural networks promised to solve difficult classification tasks, like speech or object recognition, by learning many layers of non-linear features. The results were disappointing for two reasons: There was never enough labeled data to learn millions of complicated features and the learning was much too slow in deep
SMELLMANのMouth drummer、ハヤシの口ドラム+ベースの同時演奏 at the TILT HOUSE STUDIO SMELLMAN:アカペラグループ「チン SMELLMANのMouth drummer、ハヤシの口ドラム+ベースの同時演奏 at the TILT HOUSE STUDIO SMELLMAN:アカペラグループ「チン☆パラ」解散後、元メンバーが中心となり結 成 オリジナルなサウンド追求のため、数回のメンバーチェンジを経て現在に至る 類を見ないオリジナルなアカペラサウンドは定評 都内ライブハウスを中心に活動中 ワンマンライブ「ロスタルジア」決定! 2008.12.26 at SHIBUYA O-WEST http://www.smellman.com (続き) (一部表示)
▼ 「計算的な深さと脳」 で書いた計算的深さの概念はシンプルかつ重要だと思う。 もしそうならこの程度の概念がすでに専門の学者によって発明されていないはずはない。そう思ったのだけど、相変わらず私のアンテナにはかかってこない。もしかしたらまだ存在しないのだろうか。 (中略) ここで、試論として、「2入力NANDゲートだけで最速な回路構成をした時の計算時間」と定義する。こうすれば大きさNのメモリによる解決はlog N時間かかる事になる。同じ問題を、テーブルで解いてもハードワイアードロジックで解いても同じ程度の時間になるだろう。 ご想像の通り, 既にあります. (並列計算量とか回路計算量の文脈で調べると良いんじゃないかと.) Complexity Zoo - Qwikiから引っ張ってくると, こんな感じ. ACi 多項式サイズ/unbounded fan-in/AND, OR, NOT/深さO(l
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く