タグ

dokidokiに関するjyakky7のブックマーク (10)

  • 書籍『数学ガール』:

    数学ガール」シリーズは、 高校生の「僕」が数学ガールたちと数学に取り組む物語です。 読み物形式でありながら、取り扱う数学的内容は格的。 ひとあじ違う数学にチャレンジしてみませんか。 学生さんから社会人まで大人気! コミックスも英語版もあります。 もちろん、電子書籍も! 「数学ガールの秘密ノート」シリーズは、 対話形式でやさしい数学に取り組む物語です。 高校生の「僕」、高校生のミルカさんやテトラちゃん、 中学生のユーリといっしょに数学に触れてみましょう。 中学生・高校生が数学に親しむのにぴったり! どの巻からでも読めますよ。 英語版もあります。 もちろん、電子書籍も! 新シリーズ「数学ガールの物理ノート」は、 対話形式でやさしい物理学に取り組む物語です。

    書籍『数学ガール』:
  • 村上研究室 ニューラルネットワーク

    ニューラルネットワークとは、脳神経系をモデルにした情報処理システムのことです。学習能力を持ち、必要とされる機能を、提示されるサンプルに基づき自動形成することができます。文字認識や、音声認識など、コンピュータが苦手とされている処理に対して有効です。 このページでは、そのニューラルネットワークの考え方、動作について、わかりやすくご紹介していきたいと思います。

  • ニューラルネットワーク入門

  • 量子論と複雑系のパラダイム

    appendix:年表・出典文献リスト・全てのリンク・人 名引き 哲学、宗教、文学、芸術、そして科学など、我々の全ての知的創造行為は「我々は何処から来て、何処へ行くのか」という疑問への探求ではないだろうか? 残念ながら我々は、こうした究極の問いに最終的な回答をだせる知的レベルに未だ至っていない。 この探求に必要なのは、あらゆる分野@の、それぞれの知を一つ一つ検証し、次にそれぞれ検証された知のパーツを結集し統合化を図ることだろう。 しかし、知のパーツは未完成であり、統合化への手法はその存在すら疑問というレベルにある。それ故、究極の理論を組み上げるのは、二重の意味で不可能な状態にあるといえるだろう。 今の我々に可能なのは、それぞれの理論を比較し、矛盾を探し、その根的な問題は何なのか、なぜそれが問題なのか、どこが難しいのか、なにが欠けているのか、何処までが解かっているのかを問い、それぞれの理論

  • よぼいちのメモ

    『情報通信理論のハイパーテキスト』 大変多くの訪問を頂いていましたが、管理者の高齢を考え、ハイパーテキストを下記へ移動したので引き続き利用してください。 http://www.mnc.toho-u.ac.jp/v-lab/ 『高等学校の情報教育』 パソコンのリテラシーや情報モラルや雑多な豆知識ばかり! なぜ、「情報科学の美しい理論体系」を教えないのでしょう。 高校生のポテンシャルはもっともっと高いのです! 下記をクリックしてください。 情報科学の教育歴史 『小学校の算数教育』 2011年、沖縄県南城市に移住し、市の小学校と中学校の学習支援ボランティアに入会しました。このボランティアを通じて、小学校算数の内容に疑念をもち、小さなを自費出版しました。 小学校でドリルの計算問題を勉強していたとき、引き算の解答がすべて正の数になっていることに初めて気が付きました。このことに疑問を抱き、小学校と

  • ラムダ計算 - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2020年5月) ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論

  • シャノン符号化 - Wikipedia

    シャノン符号化(シャノンふごうか、Shannon coding)は、クロード・シャノンによって考案された、可逆圧縮の方法である。 概要[編集] 記号の(推定もしくは実際の)出現確率に基づく接頭符号を使用している。同じ接頭符号でも、常に最短の符号長を表すことができるハフマン符号に比べ、シャノン符号化は最適化されていない。シャノン・ファノ符号化とは同程度かそれより劣る。 シャノン符号化は接頭符号の最初のもので、1948年のシャノンの記事『通信の数学的理論』でシャノンの情報源符号化定理の証明のために用いられた[1]。 この符号化法は情報理論の分野に進歩をもたらした。そして、シャノン符号化を元にして多くの符号化が生み出された(シャノン・ファノ符号化、ハフマン符号、算術符号など)我々の日々の生活はデジタルデータに大きく影響されているが、これは、シャノン符号化やその後継の符号化の恩恵なくしては不可能で

  • 情報理論 - Wikipedia

    情報理論(じょうほうりろん、英: Information theory)は、情報・通信を数学的に論じる学問である。応用数学の中でもデータの定量化に関する分野であり、可能な限り多くのデータを媒体に格納したり通信路で送ったりすることを目的としている。情報エントロピーとして知られるデータの尺度は、データの格納や通信に必要とされる平均ビット数で表現される。例えば、日々の天気が3ビットのエントロピーで表されるなら、十分な日数の観測を経て、日々の天気を表現するには「平均で」約3ビット/日(各ビットの値は 0 か 1)と言うことができる。 情報理論の基的な応用としては、ZIP形式(可逆圧縮)、MP3(非可逆圧縮)、DSL(伝送路符号化)などがある。この分野は、数学、統計学、計算機科学、物理学、神経科学、電子工学などの交差する学際領域でもある。その影響は、ボイジャー計画の深宇宙探査の成功、CDの発明、携

    情報理論 - Wikipedia
  • 人工無脳は考える

    人工無脳は気軽に「らしさ」を楽しむことができる、知能を持たない会話プログラムです。しかし人工無脳との会話はときとして、論理で固められた人工知能が持ち得なかった人間らしさ ― 即興、いたずら心、感情 ― を私たちに感じさせてくれます。その意味では知能の質を追求するための別の切り口なのかもしれません。このようなロマンを追い求めて日頃とりとめもなく考える雑談的トピックをまとめてみました。 最近の記事より 厳選おすすめ&人気書籍 2008/09/28■自我状態を考慮した人工無脳 - 追記 人工無脳は会話の中でユーザに不自然さを感じさせ、会話が続かなかったり、拒絶されるという点が課題となっている。この原因の一つに人工無脳の印象やムードがでたらめに変化し安定していないことが挙げられる。一方、人は通常意識することなく相手に不適切なメッセージが伝わることを避けてうまくコミュニケーションをはかっている。

  • 順列都市<上>

    順列都市<上>
    jyakky7
    jyakky7 2006/11/19
    どきどき。
  • 1