タグ

論とmathと*資料に関するch1248のブックマーク (52)

  • バッハの曲を数学的に分析 “情報量が多く効果的に伝達している”と判明 米研究者らが検証

    このコーナーでは、2014年から先端テクノロジーの研究を論文単位で記事にしているWebメディア「Seamless」(シームレス)を主宰する山下裕毅氏が執筆。新規性の高い科学論文を山下氏がピックアップし、解説する。 Twitter: @shiropen2 ペンシルベニア大学などに所属する研究者らが発表した論文「Information content of note transitions in the music of J. S. Bach」は、音楽作品を情報ネットワークへと変換し、作品が内包する情報量と伝達効率を調査した研究報告である。この研究では、バッハの楽曲を情報ネットワークとしてモデル化し、楽曲が持つ情報量とその情報をいかに効率よく伝達するかを定量的に評価する。 手法の第一歩として、楽曲の各音符をネットワーク上のノードとして捉え、音符間の遷移をエッジで結び付けている。このエッジは指向

    バッハの曲を数学的に分析 “情報量が多く効果的に伝達している”と判明 米研究者らが検証
    ch1248
    ch1248 2024/02/19
    興味深い
  • 「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn

    それはそうと、軽量な形式手法たる型システム含む形式手法は記号の世界の中での正気はちゃんと証明してくれるが、人間様が頭を捻って作られた、自然言語で書かれた仕様とやらは一体何の正気を保証してくれるんだろう

    「せっかく記号を使った形式手法があるのに自然言語に戻るのか」というツイート - tkgshn
    ch1248
    ch1248 2023/03/29
    形式手法に関して
  • 生き物の形、遺伝子によらず幾何学的に決まる仕組みを発見 金沢大など | Science Portal - 科学技術の最新情報サイト「サイエンスポータル」

    サイエンスクリップ 生き物の形、遺伝子によらず幾何学的に決まる仕組みを発見 金沢大など 2022.05.09 草下健夫 / サイエンスポータル編集部 昆虫の目の多くは六角形の小さなレンズ「個眼」がびっしり集まった複眼だが、どうして六角形になるのだろう。そういえばハチの巣も、六角形の穴が集まっている。こうした自然界が織りなす図形の不思議に斬り込み、2つの単純な力で幾何学的に決まる仕組みがあることが、ハエの目を使った実験で分かった。金沢大学などの研究グループが明らかにした。遺伝子が関わっていない面白さがあるという。 六角形に四角形…どうして 生活を見渡すと、お風呂のタイル、ブロック塀、ボードゲームの升目などなど、同じ形が敷き詰められたパターンはわりと四角形が目につく。これに対し生物界では、冒頭に挙げたように六角形が多いという。この理由は、六辺の長さの合計が短くしかも構造が強くなるため、低コスト

    生き物の形、遺伝子によらず幾何学的に決まる仕組みを発見 金沢大など | Science Portal - 科学技術の最新情報サイト「サイエンスポータル」
    ch1248
    ch1248 2022/11/19
    興味深い研究結果だった。
  • 「ぷよぷよは計算困難」―パズル・ゲームと最適化アルゴリズム― – Ono Laboratory

    はじめに 最近,「一般化ぷよぷよのより強い計算困難性」なる研究を発表しました(東北大学の江藤宏先生,九州大学の木谷裕紀先生との共同研究.国内研究会であるゲームプログラミングワークショップで江藤先生による口頭発表.2021年12月30日現在,pdfはここから取れます). これは有名なビデオゲーム「ぷよぷよ」を一人用のパズルと見立てたとき,かつそれを一般化した場合,どの程度難しいものであるのかを(最適化)アルゴリズム論的に分析したものです.今回「最適化技術の応用・実践」に関する記事を集めよう,ということになりましたので,ちょうどよい題材ということで,この研究をより一般向けに解説してみようと思います.一般向けですので証明自体には踏み込まず,既存の定理と得られた定理の意義をおよそわかっていただくことをこの記事の目標とします.ただし「ぷよぷよ」について関してはおよそルール等がわかっている方を対象とし

    ch1248
    ch1248 2022/01/03
    面白い。
  • アルゴリズムと数学の本を書きました - E869120's Blog

    1. はじめに こんにちは、はじめまして。東京大学 1 年生の米田優峻(E869120)と申します。私は競技プログラミング趣味で、AtCoder や国際情報オリンピックなどの大会に出場しています1。2021 年 11 月時点で、AtCoder では赤色(レッドコーダー)です。また、2020 年以降、アルゴリズムを学べる以下のようなコンテンツや資料を作成してきました。 レッドコーダーが教える、競プロ上達ガイドライン 競プロ典型 90 問 50 分で学ぶアルゴリズム さて、このたびは技術評論社から、書籍を出版させていただくことになりました2。アルゴリズムと数学が同時に学べる新しい入門書です。 「アルゴリズム×数学」が基礎からしっかり身につく - amazon 発売日は今年のクリスマス、2021/12/25 です。電子書籍版も同時期に出る予定です。記事では、このの内容と想定読者について、

    アルゴリズムと数学の本を書きました - E869120's Blog
    ch1248
    ch1248 2021/12/03
    とても興味深い。買うかも。
  • 東大理IIIは本当に男子の合格率が高いのか? - Qiita

    TL;DR 東大の理科3類の男子と女子の合格率の間に統計的に有意(p<0.05)な差はない。 鳥取大,島根大医学部の男女の合格率の間にも統計的に有意な差はない。 背景 最近,上野千鶴子氏の東大での式辞が話題になっていて,その中に,以下のような一節があった。 文科省が全国81の医科大・医学部の全数調査を実施したところ、女子学生の入りにくさ、すなわち女子学生の合格率に対する男子学生の合格率は平均1.2倍と出ました。問題の東医大は1.29、最高が順天堂大の1.67、上位には昭和大、日大、慶応大などの私学が並んでいます。1.0よりも低い、すなわち女子学生の方が入りやすい大学には鳥取大、島根大、徳島大、弘前大などの地方国立大医学部が並んでいます。ちなみに東京大学理科3類は1.03、平均よりは低いですが1.0よりは高い、この数字をどう読み解けばよいでしょうか。統計は大事です、それをもとに考察が成り立

    東大理IIIは本当に男子の合格率が高いのか? - Qiita
    ch1248
    ch1248 2019/04/14
    統計的観点から
  • not found

  • 何なんだろうな。あいじょうって。「10のi乗」みたいな数を考える - アジマティクス

    みなさんは、好きな複素数ってありますか?(ただし実数は除く) 「好きな整数」を持ってる人なら少なくないと思います。それこそラッキー7の7とか。自分の誕生日とか。691とか。 「好きな実数」まで広げても、eとかπとかとか、いろいろあるでしょう。 でも、「複素数」となると? 「私の好きな複素数は○○です」って言ってる人、ほとんど聞いたことないです。あったとしても、2乗して-1の「」そのものとか、3乗すると1になる「ω()」とかぐらいのものでしょう。 これって不思議だと思うんですよね。整数だったら2でも3でも163でも、それぞれに面白い性質が山ほどあることを思うと、例えば「」や「」などという個別の複素数にもそれぞれに面白い性質はいくらでもある、と考えるのは当然でしょう。でも、個別の整数について面白い性質を知っているほどには、個別の複素数の持つ面白い性質をわれわれは知らない。不思議です。 そういう

    何なんだろうな。あいじょうって。「10のi乗」みたいな数を考える - アジマティクス
    ch1248
    ch1248 2019/03/15
    よかった
  • これから群論を学ぶ方のための入門講座 – びりあるの研究ノート

    物理学や情報科学を学ぶ中で数学の一分野である「群論」の知識が必要となる場面が多々あります。 しかしながら群論は抽象数学の入門的な分野であり、抽象数学に慣れ親しんだ方でないとなかなか厳しい物があると思います。 実は群論を学ぶためには微積分や行列・線形代数といった高度な前提知識は全く必要なく、 中学生程度の数学の知識さえあれば理解できるはずなのですが、 基的な考え方が非常に抽象的ですので、 東大の情報科学科の学生であってもかなり苦労しているようです(筆者調べ)。 確かに群論を系統的に学ぼうとすると抽象的な概念が多く、躓くとこも多いと思いますが、 情報科学や暗号理論で必要な最低限の知識のみに絞れば、さほど難しくはありません。 また、必要な前提知識も先程述べたように中学生レベルの数学の知識のみですので、 文系の方でも十分理解していただける内容だと思います。 そこで記事では、これから群論を学ぼう

    これから群論を学ぶ方のための入門講座 – びりあるの研究ノート
  • 遠山啓『代数的構造』から、いまいちど遠山啓の数学観と、ピアジェの構造主義を覗く。 |  TETRA’s MATH

    遠山啓『代数的構造』[新版](日評論社/1996年)の第6章を読んでいます。 遠山啓はこんなことを語っています。 数学はどれほど抽象的であっても,その究極の根源は実在のなかにあるといわねばならない.もちろんその実在とは数学を創り出した人間をもそのなかに含んだものとして考えているのである. (p.230) 私は、遠山啓の「量の理論」の根思想のうちの1つは上記のような数学観だろうと思っていますし、私もそれに共感しています。 ところで実在は単に空間的でもなく,単に時間的でもなく,双方を兼ねた時間・空間的なものである.だとすれば数学も当然時間・空間的なものでなければならないだろう. たとえば生物はそのようなものであるといわねばならない. (p.230) 生物は空間的な構造をもちながら、しかも時間的に変化しているが、そのようなものを取り扱うのにふさわしい理論が数学のなかで創り出されているかという

    遠山啓『代数的構造』から、いまいちど遠山啓の数学観と、ピアジェの構造主義を覗く。 |  TETRA’s MATH
    ch1248
    ch1248 2017/12/17
    遠山啓、ピアジェについて触れてたのか。
  • 寺田寅彦 電車の混雑について

    満員電車のつり皮にすがって、押され突かれ、もまれ、踏まれるのは、多少でも亀裂(ひび)の入った肉体と、そのために薄弱になっている神経との所有者にとっては、ほとんど堪え難い苛責(かしゃく)である。その影響は単にその場限りでなくて、下車した後の数時間後までも継続する。それで近年難儀な慢性の病気にかかって以来、私は満員電車には乗らない事に、すいた電車にばかり乗る事に決めて、それを実行している。 必ずすいた電車に乗るために採るべき方法はきわめて平凡で簡単である。それはすいた電車の来るまで、気長く待つという方法である。 電車の最も混雑する時間は線路と方向によってだいたい一定しているようである。このような特別な時間だと、いくら待ってもなかなかすいた電車はなさそうに思われるが、そういう時刻でも、気長く待っているうちには、まれに一台ぐらいはかなりに楽なのが回って来るのである。これは不思議なようであるが、実は

    ch1248
    ch1248 2015/07/11
    山手線とか特に顕著。すごく波がある。
  • 異様に欲しくなった電卓の話 カシオCLASSWIZ - 週刊アスキー

    電卓か。そうだ電卓だ。なぜ電卓か。欲しいのだ。なぜ電卓が欲しいのか。いや電卓が欲しいわけじゃない。じゃあ何なんだ。この電卓だから欲しいのだ。 カシオの関数電卓『CLASSWIZ』だ。正確にいえば、数学自然表示関数電卓だ。電卓なのでそこまで高くない。最上位機種『fx-JP900』も5700円前後だ。 恥ずかしながら三角関数も指数、対数も関係ない人生を歩んできた。今後もおよそ関係するとは思えない。思えないのだが、異様に欲しいのだ、これが。 実はこの電卓、電卓の歴史に新たな1ページを刻んだと言えるほど、進化を遂げた1台なのだ。電卓が進化なんてするのか。進化したらしいのだ。機能だけ説明しても理解しづらいと思うので、ぜひとも開発ストーリーをお聞きいただきたい。 わたしのような文系人間もトリコにした、魂こもった計算器屋の話である。 入試に電卓を使うのは当たり前 第一章。そもそも関数電卓とはいつ誰が使っ

    異様に欲しくなった電卓の話 カシオCLASSWIZ - 週刊アスキー
  • サービス提供終了のお知らせ

    日頃より、Momoたろうインターネットクラブをご愛顧いただきまして誠にありがとうございます。 「ホームページサービス」のサービス提供は2015年11月30日をもちまして終了させていただきました。 これまで長らくご利用いただき、誠にありがとうございました。 今後も、皆様によりよいサービスをご提供させていただけるよう、サービス品質向上に努めて参りますので、何卒、ご理解いただけますようお願 い申し上げます。 <Momoたろうインターネットクラブをご契約のお客様へ> 後継サービスとして「userwebサービス」を提供させていただいております。 詳しくは、以下のリンクをご参照ください。 ▼「userwebサービス」のご案内 http://www.ejworks.info/userhp/mmtr/index.html 今後ともMomoたろうインターネットクラブをご愛顧いただけますようお願い申し上げます

  • 圏論とは何か

    数学に圏論という分野が出来てから半世紀ほど経つ事になる.大学の数学科過程で登場する集合位相,複素解析,環論体論などと比べれば,これはかなりの「若手」である.それゆえか,いまだに日数学課程で圏論の授業が行われることは(集中講義などを除けば)ほとんどない.(これは海外でも大差ないという話を聞く.)しかし,ひとたび大学院に入ると,幾何学や代数学を扱う人は,勝手に「圏論」の言葉が出てくる事に驚くかもしれない.圏論は現代数学の言葉として当然のように用いられ,その基礎学習は自習に任されるというのが現状である. しかし,このことは大きな問題を生み出している.というのも,少し齧った程度の自称「専門家」が様々な「圏論万能論」といった怪情報をインターネットに発信してしまっている事が多く見受けられる.また,当然のことながら「どの程度勉強するか」というのは,何をどのように専攻しているかに依存する.にも関わらず

  • 第14回:全ての植物をフィボナッチの呪いから救い出す

    連載コラム 「生命科学の明日はどっちだ」 目次 第14回:全ての植物をフィボナッチの呪いから救い出す ロマネスコ(左)とマンデルブロ集合の一部(右) 植物にかかったフィボナッチの魔法 このオーラ全開の野菜、なんだか知ってますか。 そう、最近デパートなんかではよく見るようになったロマネスコというカリフラワーの仲間である。 一説によると、悪魔の野菜とか、神が人間を試すために作った野菜とか言われているらしい。 なんと言っても凄いのは、フラクタル構造がめちゃめちゃはっきり見えること。 まるでマンデルブロ集合みたいだ。 ね、似てるでしょう。フラクタルがこんなにはっきり見える構造物は、他には無いんじゃないかな。 この植物が面白いのは、それだけでは無い。 実の出っ張った部分をつなげていくと、らせん構造がくっきり見えてくるでしょう? そのらせんの数を数えてみよう。 右向きのらせんと左向

  • ○周年 - Interdisciplinary

    前のブログ開設から合わせて9年?ですかね。結構長くやってますな。 更新頻度は少なくなってきてますが、ぼちぼち続けます。読んで下さっている方には、これからも、よしなに。 今年の振り返りとして、読んで、良かったな、と思ったの紹介。 ▼ プログラムはこうして作られるプログラマの頭の中をのぞいてみよう 作者: 平山尚(株式会社セガ)出版社/メーカー: 秀和システム発売日: 2013/09/25メディア: 単行この商品を含むブログ (5件) を見るプログラミング関連ので、全くの初学者向けのものとしては、私が知っている中で最良。用語より概念と構造を先に教える、という私の標語?に合致しています。これこれこういう用語がある。その用語はこういう意味・定義である、というのは、その語を知らない人にとっては、用語と概念を一緒に憶える必要があって、それは負担。そうでは無くて、これこれこういう論理構造や概念があ

    ○周年 - Interdisciplinary
  • 統計学の初心者が入門として最初に読むべき一冊|Colorless Green Ideas

    統計についてほとんど何も知らない人が読むべきとしては『マンガでわかる統計学』が一番のおすすめである。 『マンガでわかる統計学』 「統計って、今まで全然勉強したことはないけれども、将来必要になるかもしれないから、勉強してみようかな」とか、「統計を勉強してみたいとは思ってるんだけど、何から始めれば良いか見当がつかないんだよね」と思っている人は少なくないと思う。こうした人、すなわち統計学についてほとんど何も知らない人は何を使って勉強し始めれば良いのだろうか。 こうした初心者は、まず入門として『マンガでわかる統計学』というを読むのが良いと私は考えている。このは、統計に関する知識がほとんどない人にとって、わかりやすく、そして取り組みやすいだ。 高橋信. (2004). 『マンガでわかる統計学』 東京:オーム社. この『マンガでわかる統計学』というは、統計について特に何も知らない女子高生のル

    統計学の初心者が入門として最初に読むべき一冊|Colorless Green Ideas
  • IIJ Research Laboratory

    ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

  • Agda による圏論入門

    Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona

  • [CEDEC 2014]「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」 - 4Gamer.net

    [CEDEC 2014]ナムコ作品で見る乱数の歴史。「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」レポート ライター:箭進一 神奈川のパシフィコ横浜で行われた,ゲーム開発者向けイベントCEDEC 2014の最終日である2014年9月4日,「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」という講演が行われた。 登壇したバンダイナムコスタジオ HE技術部 加来量一氏 この講演のユニークな点は,旧ナムコの作品を「乱数」という視点から振り返るということだ。バンダイナムコスタジオ HE技術部のプログラマーである加来量一氏は,旧ナムコの初期作品50を解析し,それぞれの時代でどのような乱数が使われていたかを特定した。そこから見えてくる乱数技術改良の歴史を見ていくというのが,講義の主旨なのである。 1980年代のナムコアーケ

    [CEDEC 2014]「ゲーム世界を動かすサイコロの正体 〜 往年のナムコタイトルから学ぶ乱数の進化と応用」 - 4Gamer.net