第15回日曜数学会の発表資料です．当日の発表の様子は https://live2.nicovideo.jp/watch/lv320692098 で視聴できます（2時間24分から10分間程度）．Read less
スーパーマリオメーカーはチューリング完全（日曜数学会発表）
第15回日曜数学会の発表資料です．当日の発表の様子は https://live2.nicovideo.jp/watch/lv320692098 で視聴できます（2時間24分から10分間程度）．Read less
第7回 徹底予習：AI時代の組込みシステム開発のお仕事 | 組込みの輪郭 | [技術コラム集]組込みの門 | ユークエスト株式会社
ユークエスト株式会社は2021年10月1日をもちまして、 株式会社東光高岳に吸収合併を致しました。 Webサイトは下記のURLに移転しました。 https://uquest.tktk.co.jp/ ※5秒後に移転先にジャンプします。
甦るＭａｘｗｅｌｌの悪魔
NEWS: (2010/11/15) 東京大学・中央大学の共同研究により、世界で初めて情報をエネルギーへ変換することに成功したそうです。 これによって、このサイトに書かれていたことが単なるＳＦではなくなりました。 >> 世界初「情報をエネルギーへ変換することに成功」 -- リンク先、中央大学ニュースからの引用： 19世紀から150年もの間議論されてきた、「マックスウェルの悪魔」と呼ばれる科学史上の重要な概念があります。今回、サブミクロンスケールでの極めて精密な加工技術と、リアルタイムでの正確な制御システムを組み合わせ、これまで理論上の存在であった「マックスウェルの悪魔」を、世界で初めて実験により実現しました。これにより、観察から得た「情報」を用いて「エネルギー」を取り出すこと、すなわち「情報をエネルギーへ変換できること」を実証しました。 >> 情報をエネルギーに変換することに成功！(PDF
数理助教の会
新年度第1回の助教の会は数理6研の林浩平さんに「Generalization of Tensor Factorization and Applications」というタイトルで話して頂きました。林さんは3月に奈良先端科学技術大学院大学情報科学研究科で博士号を取得し、4月から日本学術振興会特別研究員として数理6研に所属しています。 林さんは博士課程の間からデータマイニングにおけるテンソル分解 (Tensor Decomposition) と呼ばれる手法を研究しています。今回は二つの話題を紹介していただきました。前半はノイズにガウス分布を仮定しない多種多様な要素を持つテンソルに対するテンソル分解、後半はテンソルに低ランク性を仮定しないテンソル分解です。 前半のお話は、一昨年の国際会議ICDM2010で発表[1]された、多種多様な（ヘテロな）要素を持つテンソルに対するテンソル分解です。 そもそも
階差機関 - Wikipedia
階差機関（かいさきかん、英: difference engine）[注釈 1]は、歴史上の機械式用途固定計算機で、多項式の数表を作成するよう設計された。対数も三角関数も多項式で近似できるため、そのようなマシンはかなりの汎用性があった。 完全動作する階差機関。カリフォルニア州コンピュータ歴史博物館 歴史[編集] ドイツ・ヘッセンの軍人で技術者のヨハン・ヘルフリッヒ・フォン・ミュラー (Johann Helfrich von Müller) は1786年に出版した本の中で階差機関に類する機械のアイデアを公表しているが、資金が集められず、それ以上実現に向けて進めることができなかった[1]。 階差機関（一号機） 階差機関は一旦は忘れられ、1822年にチャールズ・バベッジによって再発見（再発明）された。彼は6月14日、王立天文学会に「天文暦と数表の計算への機械の適用に関する覚え書き」と題する論文を提
外村彰 - Wikipedia
外村 彰（とのむら あきら、1942年4月25日 - 2012年5月2日[1]）は、日本の物理学者・工学者。学位は、工学博士（名古屋大学・論文博士・1975年）（学位論文「電子線ホログラフィーに関する研究」）。元沖縄科学技術大学院大学教授。日本学士院賞恩賜賞受賞。文化功労者。日本学士院会員。 日立製作所で電子顕微鏡、電子線フォログラフィーの研究開発に従事。アハラノフ＝ボーム効果を実験的に検証することに成功した。 人物・来歴[編集] 1942年、兵庫県西宮市生まれ。東京都立新宿高等学校を経て1965年東京大学理学部物理学科を卒業、日立製作所に入社した。同社中央研究所で電子顕微鏡開発に携わる。 電子線の干渉による顕微鏡像を得る「電子線ホログラフィ」で先駆的な業績を挙げ、世界で初めて実用化に成功した。1975年学位論文「電子線ホログラフィーに関する研究」で名古屋大学より工学博士の学位を取得。 こ
精度保証付き数値計算入門
講義の概要 精度保証付き数値計算の基礎になる区間演算は九大の須永教授の発明である． また，精度保証付き数値計算という日本語は山本哲朗先生の発案である． 精度保証付き数値計算の研究はこの１０年間に大きく発展し，実用段階に発展し た．これは，本来，数値計算はその精度が保証されたものでなければならないという 必然性からも大変重要なことである． 本講義では，精度保証付き数値計算の理論と実際のプログラミングについて 基礎から第一線まで丁寧に解説を加える． 特に，精度保証付き数値計算は実際に計算してみてこそ，その偉力を感じること ができると思われるので，Scilabという数値計算言語を利用して，簡単に，しか し実用的な計算ができることを明らかにする． 最終的には，積分方程式などの関数方程式の解の計算機援用存在証明まで実際に 行ってみることを目標とする． Scilabのインストール Scilabは誰
決定的アルゴリズム - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "決定的アルゴリズム" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年3月） 決定的アルゴリズム（けっていてきアルゴリズム、英: deterministic algorithm）は、計算機科学におけるアルゴリズムの種類であり、その動作が予測可能なものをいう。入力を与えられたとき、決定的アルゴリズムは常に同じ経路で計算を行い、常に同じ結果を返す。決定的アルゴリズムは最も研究の進んでいるアルゴリズムであり、その多くは実際のコンピュータで効率的に実行できる実用性を備えている。決定性アルゴリズムと言うことも多い。 決定的アルゴリズムは、同
Blue Brain Project
The goal of the Blue Brain Project is to build biologically detailed digital reconstructions and simulations of the mouse brain. EPFL’s Blue Brain Project is a Swiss brain research Initiative led by Founder and Director Professor Henry Markram. The aim of Blue Brain is to establish simulation neuroscience as a complementary approach alongside experimental, theoretical and clinical neuroscience to
Numerical analysis - Wikipedia
Babylonian clay tablet YBC 7289 (c. 1800–1600 BCE) with annotations. The approximation of the square root of 2 is four sexagesimal figures, which is about six decimal figures. 1 + 24/60 + 51/602 + 10/603 = 1.41421296...[1] Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished
Language Evolution and Computation Bibliography and Resources
>> Join the mailing list by sending email to: langev-subscribe@yahoogroups.com, a moderated announcement list -- low traffic. For more information: click here. NEW Article: Cumulative cultural evolution in the laboratory: An experimental approach to the origins of structure in human language, PNAS, August 2008 Article: Quantifying the evolutionary dynamics of language, Nature, Oct 2007 Article: Fr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Turing Machines: Part III
gooビジネスEXサービス終了のお知らせ