タグ

関連タグで絞り込む (35)

タグの絞り込みを解除

CSに関するnobyukiのブックマーク (35)

  • コンピュータサイエンスってなんだろう


    北米など海外では数十年の歴史がありながら、日本ではあまり聞かない学問分野であるコンピュータサイエンス。﹁コンピュータに関する学問﹂ではなく、﹁森羅万象を、情報の動きとして表現することで、自然法則を発見したり便利なモノを創り出す﹂ことを目的とした学問分野です。 ﹁プログラミング教育﹂への関心が高まっている日本。社会におけるコンピュータ活用の重要性が増していることを反映した動きと言えますが、コンピュータ活用全般を扱う学問分野である﹁コンピュータサイエンス﹂への関心は高くないようです。プログラミングは、コンピュータを動かすための手段であって、コンピュータサイエンスを構成するスキルの一つ。例えていうならば、﹁自動車の重要性が高まっているので、自動車を作る工具の使い方の教育を始めようとしているが、そもそも自動車を動かすのに利用している自然法則や、内燃機関などの自動車の構成要素についての教育については
    コンピュータサイエンスってなんだろう

  • セキュリティエンジニアを将来の夢にしているのですが現在高2なのですが現在大学選びに悩んでいて、セキュリティエンジニアは自分が... - Yahoo!知恵袋


    徳丸さんにご推薦を頂いて光栄です。立命館大学の上原です。 私からも補足を。 セキュリティの分野で今、最先端で活躍しておられる方の中には、少なからず﹁大学でも専門学校でもセキュリティのことを学ばなかった﹂方がおられます。中には、そもそも高校を出てすぐこの世界に入ってこられ、全くの独学で大変高い技術を身につけられた方もいらっしゃいます。なので、﹁セキュリティエンジニアは技術さえあれば学歴は関係ない﹂と言われるのだと思います。 ですが、こういう先達の方々はご自分で大変努力されていること、また、セキュリティの問題がそれほど複雑でなかった時代から、複雑化した現代までの経過をずっとリアルタイムで追ってこられたという、言わば﹁産まれた時代が良かった﹂という点は見逃せないと思います。これからセキュリティエンジニアを目指す方がその境地追いつくのは大変です。そのためには、基礎からきっちりと体系立てて学ばれるこ
    セキュリティエンジニアを将来の夢にしているのですが現在高2なのですが現在大学選びに悩んでいて、セキュリティエンジニアは自分が... - Yahoo!知恵袋

  • MIT、マルコフ連鎖モンテカルロ法を高速化するアルゴリズムを発表


    印刷する メールで送る テキスト HTML 電子書籍 PDF ダウンロード テキスト 電子書籍 PDF クリップした記事をMyページから読むことができます マサチューセッツ工科大学︵MIT︶の研究者らは、マルコフ連鎖モンテカルロ法︵MCMC︶を現在よりも最大で200倍高速化できるアルゴリズムを開発したと発表した。MITのこのアルゴリズムは、ほとんどすべての計算モデルに適用できる。このアルゴリズムの目的は、問題中に存在する未知のパラメータの値を局所近似から推定することで、対象となる解を絞り込むというものだ。 発表のなかで、MITはこのアルゴリズムについて以下のように述べている。 このアルゴリズムは、モデルを複数回実行するなかで、いくつかの適切なデータ点を組み合わせていくことにより解、すなわち未知のパラメータそれぞれの確率分布をインクリメンタルなかたちで絞り込んでいくものだ。そういった点で、
    MIT、マルコフ連鎖モンテカルロ法を高速化するアルゴリズムを発表

  • IoT時代のIT人材育成 - 国立情報学研究所／ 国立大学法人 総合研究大学院大学 複合科学研究科 情報学専攻 佐藤一郎

  • TechCrunch | Startup and Technology News

    When Manny Griffiths worked with a personal injury lawyer after his wife’s car accident, he was surprised by the lack of information and communication from their lawyer regarding their claim.… Proton, the Swiss company behind a suite of privacy-focused apps such as ProtonMail, is following in the footsteps of Signal and Mozilla by transitioning to a new non-profit foundation model. The newly setup

    TechCrunch | Startup and Technology News

  • レジスタ (コンピュータ) - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "レジスタ" コンピュータ – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年7月） レジスタ（英: register）はコンピュータのプロセッサなどが内蔵する記憶回路で、制御装置や演算装置や実行ユニットに直結した、操作に要する速度が最速の、比較的少量のものを指す[1]。 概説[編集] 一般に、論理回路において、フリップフロップなどにより状態を保持する装置をレジスタと呼ぶ。コンピュータにおいては、プロセッサが内蔵しているそれを指す。プロセッサには、命令セットで明示的に操作するレジスタ以外に、プロセッサ自身が動作するためのレジスタがあり

    nobyuki
    nobyuki 2012/12/14
    リンク

  • Understanding Computation

    Now available in Japanese and Chinese! Hello! Understanding Computation is (I hope) a fun and interesting book about computation theory, with explanations written in real Ruby code instead of mathematical notation. It contains old, deep ideas from theoretical computer science, deconstructed and explained in an engaging, practical way for an audience of working programmers without assuming any acad

  • 言語理論とコンパイラの日程

    青山学院大学 2012 年前期、Martin J. Dürst 4 月 13 日 授業の概要、言語理論とコンパイラの応用分野、コンパイラ全体の仕組み 4 月 20 日 形式言語の重要性、種類、定義 4 月 27 日 有限オートマトンと線形文法 (5 月 4 日 みどりの日) 5 月 11 日 正規表現と字句解析 5 月 18 日 lex 系ツールの演習 5 月 25 日 字句解析と構文解析 6 月 1 日 上向き構文解析 6 月 8 日 下向き構文解析 6 月 15 日 yacc 系ツールの使い方 6 月 22 日 yacc 系ツールの演習 6 月 29 日 yacc 系ツールの演習 (続き)・意味解析と中間表現 7 月 6 日 コード生成 7 月 13 日 最適化 7 月 20 日 実行環境・仮想計算機・ゴミ集め・動的コンパイラ 7 月 23 日から 8 月 4 日まで 期末試験期間

  • Computer Systems Research Group - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Computer Systems Research Group" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2020年12月） Computer Systems Research Group（コンピューター・システムズ・リサーチ・グループ、CSRG）はカリフォルニア大学バークレー校が国防高等研究計画局の資金援助でAT&TのUNIXを改良するために作った研究グループである。 歴史[編集] ボブ・ファブリー[1]教授がAT&TよりUNIXのライセンスを手に入れたのが1974年のことである。そのときからカリフォルニア大学バークレー校では改良

  • 電子計実I(Top)

  • アルゴリズム情報理論 - Wikipedia


    アルゴリズム情報理論︵あるごりずむじょうほうりろん、英: Algorithmic information theory︶は、情報理論と計算機科学の一分野であり、計算理論や情報科学とも関連がある。グレゴリー・チャイティンによれば、﹁シャノンの情報理論とチューリングの計算複雑性理論をシェイカーに入れて、力いっぱいシェイクしてできたもの﹂である[1]。 概要[編集] アルゴリズム情報理論は、文字列︵または他のデータ構造︶についてコルモゴロフ複雑性や他の複雑さの尺度を研究する分野である。数学的オブジェクトの多くは文字列︵または文字列の級数の極限︶を使って表されるので、アルゴリズム情報理論は整数や実数を含む様々な数学的オブジェクトの研究に適用できる。 ﹁情報﹂という用語は、圧縮性の概念に依存するので、その使用は少し誤解を招くかもしれない。アルゴリズム情報理論の観点から大雑把に言えば、文字列の情報量は

  • データ圧縮（アルゴリズム一覧） - Wikipedia


    ﹁圧縮ファイル﹂はこの項目へ転送されています。複数のファイルを一つのファイルにまとめることについては﹁アーカイブ (コンピュータ)﹂をご覧ください。 データ圧縮︵データあっしゅく、英: data compression︶とは、あるデータを、そのデータの実質的な内容︵情報、あるいはその情報量︶を可能な限り保ったまま、データ量を減らした別のデータに変換すること。高効率符号化ともいう。 データ圧縮は、データ転送におけるトラフィックやデータ蓄積に必要な記憶容量の削減といった面で有効である。しかし圧縮されたデータは、利用する前に伸長︵解凍︶するという追加の処理を必要とする。つまりデータ圧縮は、空間計算量を時間計算量に変換することに他ならない。例えば映像の圧縮においては、それをスムーズに再生するために高速に伸長︵解凍︶する高価なハードウェアが必要となるかもしれないが、圧縮しなければ大容量の記憶装置を必

  • コルモゴロフ複雑性 - Wikipedia


    コルモゴロフ複雑性︵コルモゴロフふくざつせい、英語: Kolmogorov complexity︶とは、計算機科学において有限長のデータ列の複雑さを表す指標のひとつで、出力結果がそのデータに一致するプログラムの長さの最小値として定義される。コルモゴロフ複雑度、コルモゴロフ＝チャイティン複雑性 (Kolmogorov-Chaitin complexity) とも呼ばれる。 この画像はフラクタル図形であるマンデルブロ集合の一部である。このJPEGファイルのサイズは17KB以上︵約140,000ビット︶ある。ところが、これと同じファイルは140,000ビットよりも遥かに小さいコンピュータ・プログラムによって作成することが出来る。従って、このJPEGファイルのコルモゴロフ複雑性は140,000よりも遥かに小さい。 コルモゴロフ複雑性の概念は一見すると単純なものであるが、チューリングの停止問題やゲー
    コルモゴロフ複雑性 - Wikipedia

  • [iPad, iPhone] iCircuit: 理系教育者・技術者必見！電気回路の設計とシミュレーションができる！2206 | AppBank


    動画で回路を作っているところを確認！ 起動するとファイルやフォルダがみえますが﹁New Circuit﹂で回路を作成開始！ 画面下部に、全30種類以上の素子が用意されています。素敵☆ こんな感じです。 さて、4つの素子を選択して、画面上に配置してみました。 次に、画面上部の鉛筆ボタンをタップして、導線をひいてみました。 ひとまず完成。 右上の﹁ON﹂をタップすると、電流が流れ始めます。直流で電気を流しているので、電流の方向は一定です。 さて、導線をタップすると、名前を付けたり、電流・電圧表示をONにすることが出来ます。 抵抗をタップすれば、抵抗の大きさを変更することも出来ます。右下に、様々なメーターも表示されていますね。 さて、電源の設定をみてみましょう。現在の設定は直流ですが・・・ 交流、パルス派など、全6種類が用意されています。︵画面下にPulseがあります︶ ﹁Square Wave

  • 自動定理証明 - Wikipedia


    アルゴンヌ国立研究所は1960年代以降2000年代まで、自動定理証明のリーダーだった。 自動定理証明︵英: automated theorem proving, ATP︶とは、自動推論 (AR) の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。ベースとなる論理によって、定理の妥当性を決定する問題は簡単なものから不可能なものまで様々である。 歴史[編集] 論理学的背景[編集] 論理学の起源はアリストテレスまで遡るが、現代的数理論理学は19世紀末から20世紀初頭に発展した。フレーゲの﹃概念記法﹄(1879) が完全な命題論理と一階述語論理の基本的なものを導入[1]。同じくフレーゲの﹃算術の基礎﹄(1884)[2]でも、形式論理の数学︵の一部︶を説明している。この流れを受け継いだのがラッセルとホワイトヘッドの﹃プリンキピア・マテマティカ﹄で
    自動定理証明 - Wikipedia

  • 言語処理のための機械学習入門を読んだ - 射撃しつつ前転 改


    言語処理のための機械学習入門という本が出版される、という話はtwitterで知っていたのだが、8月ぐらいに出るのだろうとばかり思っていたら、なんかもう発売されているらしい。Amazonでは早速売り切れていたので、某大学生協の書籍部まで行って購入してきた。おかげで、この週末は280円で過ごすハメになってしまった。 まだざっと眺めただけだが、 ラベルを人手でつけるのに隠れマルコフモデルと言うのは本来はちょっとおかしいんだけどNLPの分野だとそう表現する事が多いよ 対数線形モデルと最大エントロピーモデルは同じものだよ 出力変数の間に依存関係がなければCRFではなく対数線形モデルとか最大エントロピーモデルと表現するべきだよ といった、これまでの教科書にはあまり載っていなかったような事が載っているのはとても良いと感じた。こういった情報は、これまではどこかの大学の研究室で学ぶか、もしくはウェブ上の資料
    言語処理のための機械学習入門を読んだ - 射撃しつつ前転 改

  • カール・ヒューイット - Wikipedia

    カール・ヒューイット（Carl E. Hewitt）- 2022年12月7日[1]は、マサチューセッツ工科大学(MIT)の電気工学・計算機科学科の名誉准教授[2]。 業績[編集] ヒューイットは世界初の人工知能向けプログラミング言語 Planner の設計で知られている。Planner は手続き的計画に基づいた言語であり、表明とゴールからパターンに基づいて手続きを呼び出す。ヒューイットは1971年、マービン・ミンスキー、シーモア・パパート、Mike Peterson の指導の下で数学の学位を取得した。彼の高レベルな手続き的計画という形式の「手続き的知識の埋め込み」という方法論は、ジョン・マッカーシーの提唱した論理学的手法（数理論理学による宣言的知識表現）とは一線を画していた。Planner のサブセット Micro Planner は Gerry Sussman、Eugene Charni

    カール・ヒューイット - Wikipedia
    nobyuki
    nobyuki 2010/07/12
    リンク

  • Amazon.co.jp: 知能の原理 ―身体性に基づく構成論的アプローチ―: Rolf Pfeifer (著), Josh Bongard (著), 細田耕 (翻訳), 石黒章夫 (翻訳): 本

    Amazon.co.jp: 知能の原理 ―身体性に基づく構成論的アプローチ―: Rolf Pfeifer (著), Josh Bongard (著), 細田耕 (翻訳), 石黒章夫 (翻訳): 本

  • 原始再帰関数 - Wikipedia


    原始再帰関数︵げんしさいきかんすう、英: Primitive Recursive Function︶とは、原始再帰と合成で定義される関数であり、再帰関数︵計算可能関数︶の部分集合である。原始帰納的関数とも。 再帰理論において原始再帰関数は、計算可能性の完全形式化のための重要な要素となる関数のクラスの1つである。このような関数は証明論においても重要である。 数論が扱う関数の多くや、実数を値とする関数の近似は原始再帰的であり、加法、除法、階乗、指数、n番目の素数を求める関数などがある (Brainerd and Landweber, 1974年)。実際、原始再帰的でない関数を考案するのは難しいが、いくつかの例が知られている︵限界の節を参照︶。 計算複雑性理論では、原始再帰関数の集合をPRと呼ぶ。 原始再帰関数のクラスとは、while文を使用せずに計算できる︵すなわちfor文のみで計算可能な︶

  • 再帰理論 - Wikipedia


    この記事は、全部または一部が他の記事や節と重複しています。 具体的には計算可能性理論との重複です。記事のノートページで議論し、 重複箇所を重複先記事へのリンクと要約文にする︵ウィキペディアの要約スタイル参照︶か 重複記事同士を統合する︵ページの分割と統合参照︶か 重複部分を削除して残りを新たな記事としてください。 ︵2023年12月︶ 再帰理論︵さいきりろん、英‥Recursion theory︶は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。 発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や エフェクティブ記述集合論(en)とも密接に関係する。 再帰理論の根本的疑問は﹁自然数から自然数への関数が計算可能であるとはどういう意味か?﹂と、﹁計算不能関数は、その計算不能性のレベル
  • 1 2 次のページ

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.