タグ

wed7931のブックマーク (1,389)

  • 職業プログラマが圏論をスルーすべき理由


    情報系の大学の学部を出た人々が増えたせいか、HaskellやScalaなどの関数型プログラミング言語が流行ってきて、最近はクライスリ圏、モナド、モナドと呟く人々をネット上でよく見かけるようになった。圏論プログラミングなるモノが流行っていると勘違いしだす人もいるようだ。しかし、これらの言語に触れた人は少なくないと思うが、圏論について学んだ職業プログラマーは少ないと思う。これから学ぶべきなのか気になっている人もいると思うが、実際問題使い道が無いので、スルーした方が無難だ。 圏論は数学の中でも広く教えているとは言えない部類のもので、20世紀も中盤以降に研究が進んできたものだ。圏論の土台部分はシンプルなもので、目的に応じて概念を追加して応用されており、例えばHaskellのモナドはクライスリ圏の中の概念であるクライスリトリプルに対応している。だからクライスリ圏に習熟していれば、数学的にモナドによる
    職業プログラマが圏論をスルーすべき理由

  • Line Segment

    書籍 文学 般若心経 物理学 一般力学 ［現代語訳］ 量子力学序論 ［現代語訳］ 物理学史講義 ［現代語訳］ （永遠の未完） 数学 楕円関数論 ［現代語訳］ 常微分方程式論 ［現代語訳］ 行列および行列式 ［現代語訳］ 代数学講義 ［転載・改訂新版］ （初版画像） 初等整数論講義 ［転載・第２版］ （初版画像） 増訂解析概論 ［現代語訳・第二版］ （底本画像） 代数的整数論 ［現代語訳・初版］ （底本画像） 数の概念 ［現代語訳・初版］ （底本画像） 実変数函数論 （底本画像） 複素変数函数論 ［現代語訳］ （底本画像） 谷山豊全集 （底本画像） 綜合偏微分方程式 ［一部転載・初版］ 現代語訳 現代語訳の方法（概要） 現代語訳の方法（技術編） 著作権の消失した著者のリスト マイルストーン 現代語訳の権利について 理系専門用語の変遷 インターネット上の書籍 数学の書籍 物理学の書籍 IT・情

  • 余震も停電もまだある北海道で「今、ストーブが足りない」という大問題（梅津 有希子） @gendai_biz


    北海道・札幌市出身のライター、梅津有希子さんは、9月6日の震災後1週間して、一人暮らしをする母のために帰省をした。その一番の理由は、1年のうち半分必要だというストーブの確保のためだったという――。9月6日未明に起きた、最大震度7を記録した北海道胆振東部地震。厚真町を中心に甚大な被害となったが、その後の北海道内全域約295万戸にわたる大停電が、道民の防災意識をガラリと変えたといっていいだろう。過去にも北海道南西沖地震や十勝沖地震などの大きな地震はあったが、道内全域の停電は、1951年の北海道電力創設以来初だという。 今回の大規模停電の復旧タイミングは地域によってかなり差があり、﹁復旧まで少なくとも1週間﹂という情報も流れるなど、道民の不安は募る一方だった。結局、筆者の札幌の実家は地震発生3日目の夜に復旧したが、道内でも最後のほうだった。 北海道から出たことがなく、これまで大きな災害経験のな
    余震も停電もまだある北海道で「今、ストーブが足りない」という大問題（梅津 有希子） @gendai_biz
    wed7931
    wed7931 2018/09/17
    真冬に今回の災害が起きたら…。ストーブは電気がないと点火できない。セントラルヒーティングももちろん電気が必要。冬道で避難所や給水所に行くのが難しい。冷蔵庫の中身を外に出して一時保管することはできる。
    リンク

  • 奴隷制を連想させるとして、Pythonで「master」「slave」といった単語が削除される | スラド デベロッパー


    Pythonのバグトラッカーに、﹁Avoid master/slave terminology﹂という要望が寄せられている。これは﹁多様性のため﹂に奴隷制度を連想させる﹁master﹂﹁slave﹂という単語を削除するほうが好ましいという提案だ︵Slashdot、Motherboard、Register︶。 そもそも﹁master﹂という単語は非常に多くの場所で使われており、たとえばバージョン管理システムGitでは﹁masterブランチ﹂という概念がある。そのため、これを変更するのは容易なことではない。また、master/slaveという単語は電子回路やソフトウェアアーキテクチャにおいて奴隷制とはまったく関係ない文脈で使われている。そして、﹁slave﹂を置き換えられる単語で適切かつ広く普及している単語はいまのところ存在しない。こういった理由から反対の声も出ていたが、最終的には﹁salve
    wed7931
    wed7931 2018/09/15
    《最終的には「salve」という単語は「worker」や「helper」に、「master process」という言葉は「parent process」に置き換えられることになったという。》 マスター／スレーブはよく使う。奴隷制を意識したことはないけど。
    リンク

  • ビジネスモデル2.0図鑑 #全文公開チャレンジ｜チャーリー｜note

    前置きが長くなりましたが、ここからビジネスモデル2.0図鑑のスタートです。 ※当記事の情報を転載、複製、改変等は禁止いたします ビジネスモデル2.0図鑑　目次（note簡易版）● はじめに ● 序章「ビジネスモデル2.0」とはなにか？ ・生き残るビジネスモデルには「逆説の構造」がある ・ビジネスモデル1.0と2.0を分けるもの ・「起点」「定説」そして「逆説」を考える ・「ポプテピピック」のどこが革新的か? ― 逆説の構造、3つの事例 ・「非常識」をいかに実現するか？ ・逆説が強いほど「高度な仕組み」が求められる ・「逆説の究極形」がイノベーション ・「社会性」「経済合理性」「創造性」― 理想はすべてが揃ったビジネスモデル ・逆説だけでは感動するビジネスモデルは生まれない ・「八方よし」の考え方が必要になる ・「ソーシャル」と「ビジネス」と「クリエイティブ」 ・「バランスシートに載らない価

    ビジネスモデル2.0図鑑 #全文公開チャレンジ｜チャーリー｜note

  • 最密球充填 - INTEGERS


    次元Euclid空間に合同な次元球をオーバーラップがないように充填した際の密度の最大値をとします。現在までにが決定されているものは以下の通りです。 だけは簡単にわかりますが*1、でが決定されていることは著しく感じます。上記の値よりも密な球充填は絶対に存在しないということが数学的に証明されているというのです。想像するだけでその凄さに震えます。我々はどれだけ頑張って八次元空間に%以上八次元球を詰めようと思っても、もはやそれは無駄な努力なのです。 以下、非常に簡単にではありますが、最密球充填にまつわるお話をしようと思います。 球充填密度 ハニカム球充填 Kepler予想 格子 Fourier変換とPoisson和公式 Cohn−Elkiesの定理と魔法関数の存在予想 Viazovskaと魔法関数 参考文献 球充填密度 1.1 を次元Euclid空間とする。Euclid距離をで表し、内積を と定め
    最密球充填 - INTEGERS
    wed7931
    wed7931 2018/09/11
    最密球充填問題とフーリエ変換とモジュラー形式。無関係と思える3つが実は関係しあっているのがとても不思議。
    リンク

  • 地方版図柄入りナンバー、10月1日交付開始　全国41地域に導入 | 乗りものニュース

    地方版図柄入りナンバープレートの交付開始日が決定しました。 事前申し込みは9月10日から 国土交通省は2018年9月4日（火）、地域の風景や観光資源を描いた地方版図柄入りナンバープレートの交付開始日が10月1日（月）に決定したと発表しました。 全国41地域で、2018年10月1日から地方版図柄入りナンバープレートの交付が開始。寄付金ありの場合はフルカラーに、なしの場合はモノクロになる（画像：国土交通省）。 事前申し込みは9月10日（月）に開始。専用ウェブサイトや、ディーラー、整備工場を通じて申し込めます。新車、中古車の購入時に加え、現在乗っているクルマの車検時など、同じ番号ならいつでも交換が可能です（一部、番号変更が必要な場合あり）。 モノクロ図柄の交付料金は、中型標板が7300円～8600円、大型標板が1万900円～1万4940円です。金額は地域により異なります。また、1000円以上の寄

    地方版図柄入りナンバー、10月1日交付開始　全国41地域に導入 | 乗りものニュース
    wed7931
    wed7931 2018/09/05
    ナンバープレートの地名／ひらがな／数字の観察を趣味にしている身からすると、従来型が好き。事業用は緑、軽自動車は黄色など。オリンピック仕様の軽の白ナンバーが出たときは残念だった。
    リンク

  • 大人向けの小さな数学教室を開くための準備を開始します - soujiの長文用


    1週間前くらいに以下のようなつぶやきをしました。 価格・内容は以後調整していくとして、大人向けの数学教室はある程度の需要があることが分かりました。 よって本格的に数学教室としての活動を開始していきたいです。 しかし、いきなり人様から3000円をいただくわけにもいかないのでその準備を始めます。 まずは指導経験を積み今後の教室としての活動方法を考えるため、プレオープンとして何人かをほぼ無料︵私の交通費500円のみ︶で教えてみることにします。 そのための情報を140字にまとめるのは難しいと感じたので︵使い方としては邪道かもしれませんが︶このブログの1記事としてまとめてみたいと思います。 応募条件 今後の予定 その他の情報 私の指導歴 教室の場所・環境 追加情報 応募条件 誰かれ構わず対象にしてもお互いにとって良い結果が得られるとは限らないので、勝手ですが応募に対して以下のような条件をつけます。
    大人向けの小さな数学教室を開くための準備を開始します - soujiの長文用
    wed7931
    wed7931 2018/09/03
    こういう活動はすごく応援したい。自分もできたらいいなぁと憧れているということもあるけど。
    リンク

  • キャリア多彩、数学専攻の女性が存在感　復職でも強み - 日本経済新聞


    数学を武器に女性がキャリアの裾野を広げつつある。理系の中でも、数学を専攻した後の進路は、研究者や教師の印象が強いが、実は高い専門性をいかした多彩な働き方がある。資格取得で、育児との両立や円滑な仕事復帰につなげる人も多い。子ども向け数学イベントに女子学生も参加、数学専攻の女性の交流も盛んになっている。　◇　　　◇　　　◇数学知識で、仕事の選択肢を大きく広げる一人は、数学教室﹁和﹂の講師、佐々木和
    キャリア多彩、数学専攻の女性が存在感　復職でも強み - 日本経済新聞
    wed7931
    wed7931 2018/08/28
    数学専攻の男性はどうなんだろうな。と、数学専攻だった男性の1人として思う。
    リンク

  • 小学校の授業で“野球が嫌いになった理由”に同情の声集まる　「今もトラウマ」「体育は治外法権」|ガジェット通信 GetNews


    大阪桐蔭の優勝で先日幕を閉じた甲子園大会100回目の夏。決勝で敗れた金足農業のフィーバーもあり連日報道が続いているが、中にはそもそも野球に興味がない、好きじゃない、という人がいるのも当然である。とある﹃Twitter﹄ユーザーが“野球が嫌いになる”原因となった体験談をツイートし、様々な意見が集まっている。 小学校の体育で野球の授業があって、何の説明もなく始まったから﹁先生ルール知りません教えてください﹂って言ったら先生とクラス中からバカにされて結局教えてくれなくてチームのお荷物になって以来野球嫌いなんだけどどう考えても僕は悪くない — 火炎瓶 kozimo (@2st_kunn) 2018年8月25日 小学校の体育で野球の授業があって、何の説明もなく始まったから﹁先生ルール知りません教えてください﹂って言ったら先生とクラス中からバカにされて結局教えてくれなくてチームのお荷物になって以来野球
    小学校の授業で“野球が嫌いになった理由”に同情の声集まる　「今もトラウマ」「体育は治外法権」|ガジェット通信 GetNews
    wed7931
    wed7931 2018/08/27
    体育の授業の目的ってなんだろう。ゼロから考えるなら、「スポーツに興味を持って、日常的に運動する習慣をつける」という目標にするかな。こうするためには、これまでの授業形態では無理。
    リンク

  • 【はてなブログ】サイトマップの作り方と登録方法！サーチコンソール後に！ - tkd放浪記


    こんにちは、tkd(@tkd_drum)です。 今回は、はてなブログのサイトマップを登録する方法について解説していきます。 前回ご紹介したGoogle Search Console︵旧ウェブマスターツール︶を設定した後にすぐやっておきたい作業になります。 サーチコンソールについては、こちらの記事を参考にしてみてください。 あわせて読みたい ︻はてなブログ︼Google Search Consoleの導入方法を徹底解説！ こういう作業って、初めてだとなんだか難しそうに感じられるかもしれませんが、決してそんなことはありません。 それでは、さっそく行ってみましょう！ スポンサーリンク サイトマップとは？ サイトマップ登録手順 ﹃sitemap.xml﹄と﹃sitemap_index.xml﹄はどっちがいいの？ Google Search Console サイトマップ登録手順のまとめ あなたへのオ
    【はてなブログ】サイトマップの作り方と登録方法！サーチコンソール後に！ - tkd放浪記
    wed7931
    wed7931 2018/08/27
    ブログがGoogle検索で引っ掛かるようにするための作業で参考にしたサイト。 #はてなブログ
    リンク

  • 数学のセミナー - 雑記

    wed7931
    wed7931 2018/08/24
     ︽数学科の指導教官はセミナーのときはめっちゃ厳しいですが、それ以外は基本優しいです。︾ すごくよくわかります！セミナー懐かしいなぁ。大変だったけど、楽しかった。  

    ●数学
    ●研究
      
    リンク

  • システム技術者が「ちょっと変えるだけでしょ？」という、ユーザーからの注文に辟易する理由。


    どうも、 ﹁単純な要件でも、システムの作りによって大きく難易度が変わる﹂ ﹁システムは決して規格品ではなく、作る人によって全く出来が異なる﹂ ということが直感的に理解しにくいところが、色んな問題の根本原因の一つなんじゃないかなあ、という気が最近しています。 しんざきは、システム開発関連の仕事をしています。元々の専門分野はDB屋なんですが、まあ他にも色々やります。 で、当然のことながらユーザーと色々やりとりをして、仕様を固めて設計して開発して、みたいなことも何度もやっているのですが、その際何度も何度も聞いた言葉の一つに、 ﹁ちょっと変えるだけでしょ？﹂ という言葉があるんです。 恐らく、システム開発に携わったことのある人であれば、何度となく聞いた言葉ではないでしょうか。 この﹁ちょっと変えるだけでしょ？﹂という言葉は一種の呪いの言葉、パワーワード・キルのようなものでして、ユーザー側と開発側の
    システム技術者が「ちょっと変えるだけでしょ？」という、ユーザーからの注文に辟易する理由。
    wed7931
    wed7931 2018/08/23
    システム開発者の立場として、「ちょっとした変更に柔軟に対応できるシステムにする努力が自分たちに足りないのかな？」とか、一周くらい回ってよくわからない感情になっている。
    リンク

  • iso.2022.jp

    Cantor空間におけるBanach-Mazurゲーム Mathematical Logic Advent Calendar 2019 2019/12/12, 6 pages PDF

  • 日本のITが永久にアメリカに勝てない理由 | BLOG HOMME

    <a href="http://archive.today/jA7DD"> <img style="width:300px;height:200px;background-color:white" src="https://archive.md/jA7DD/0b47e5019f15b1600ec0ee1c619bbc1e5e5b8f58/scr.png"><br> 日本のITが永久にアメリカに勝てない理由 | BLOG HOMME<br> アーカイブされた 2014年7月7日 06:28:01 UTC </a> {{cite web | title = 日本のITが永久にアメリカに勝てない理由 BLOG HOMME | url = http://bulk.co.jp/bloghomme/ochyai/070913467 | date = 2014-07-07 | archiveurl =

    日本のITが永久にアメリカに勝てない理由 | BLOG HOMME

  • ＡＩ世代「リアルな痛み必要」　東大受験ロボの新井教授　　：日本経済新聞


    人工知能︵AI︶やロボットなどテクノロジーの進化が、人類のあり方を揺るがしている。政治や産業に取り入れられるテクノロジーと人間は協調できるのか。2011年から人工知能プロジェクト﹁ロボットは東大に入れるか﹂を率いた国立情報学研究所の新井紀子教授に聞いた。――政治にAIを活用しようとする動きがあります。﹁AIだから公平な直接民主主義や多数決ができる、というのは幻想だ。米スタンフォード大学で精力
    ＡＩ世代「リアルな痛み必要」　東大受験ロボの新井教授　　：日本経済新聞
    wed7931
    wed7931 2018/08/17
    AI世代「リアルな痛み必要」　東大受験ロボの新井教授
    リンク

  • 技術基礎研修「クックパッドを支える仕組み」 / Introduction to the Internet - Speaker Deck

    2018年の総合職・デザイナー向け技術基礎研修で使った資料。 関連エントリ： http://techlife.cookpad.com/entry/2018/05/09/080000

    技術基礎研修「クックパッドを支える仕組み」 / Introduction to the Internet - Speaker Deck

  • 朝永振一郎教授の「思い出ばなし」


    ︵注︶朝永振一郎氏︵1906-1979︶は京都大学の出身であるが、理化学研究所仁科研究室を経てライプチッヒ大学に留学︵ハイゼンベルクに師事︶、帰国後1941年に東京文理科大学の教授となられ、新制東京教育大学の発足に伴い1949年から1969年まで、東京教育大学理学部物理学科および光学研究所の教授を務められた。その間、1956年から1962年の2期6年間︵1期4年間、再任2年間︶にわたり、東京教育大学の学長を務められ、東京教育大学の発展のために尽力された。朝永氏が学長をされていた時代は後年教育大関係者によって﹁朝永時代﹂と呼ばれるようになり、東京教育大学がもっとも輝いていた時代、東京教育大学の黄金時代と見なされるようになった。教育大学新聞会は、学長退任直後の1962年、朝永教授に過去の﹁思い出ばなし﹂の連載企画を提案したが、教授はこれを快く引き受けられ、24回にわたって当﹁教育大学新聞﹂の紙

  • ドラクエと類体論 - 再帰の反復blog


    ドラクエ世界の形 パラレルワールドと被覆 被覆変換と被覆空間の住人たち 被覆のガロア対応 体のガロア理論 普遍被覆と基本群 文献 ヒルベルトの類体論 目次 ドラクエ世界の形 パラレルワールドと被覆 被覆変換と被覆空間の住人たち 被覆のガロア対応 体のガロア理論 普遍被覆と基本群 文献 ヒルベルトの類体論 ドラクエ世界の形 ドラクエ(に限らず色々なコンピュータゲーム)に関する定番の疑問(ツッコミ)のひとつに﹁あの世界はいったいどんな形をしているのか﹂というのがある。ドラクエやそのほか多くのゲームの世界では正方形の世界の北と南、東と西がつながっている。 しかし地球のような球形の世界はこのようにはなっていない。 おそらくこの疑問に対する標準の答えは ﹁あれは球形の世界ではなくドーナツ形(トーラス)だ﹂ というものだろう。 またそれと同じくらいありそうな答え方は﹁あの世界は球面ではなく真っ平らで、
    ドラクエと類体論 - 再帰の反復blog
    wed7931
    wed7931 2018/08/09
     被覆と被覆空間、被覆のガロア対応、普遍被覆と基本群など。じっくり読みたい。何か発見がありそう。  

    ●あとで読む
    ●数学
    ●ガロア理論
    ●位相空間
      
    リンク

  • 論点：早大政経入試に数学 | 毎日新聞


    早稲田大学の政治経済学部の一般入試で２０２１年度から数学が必須科目となった。英語・国語・社会のいわゆる﹁文系科目﹂だけの受験はできなくなる。私立文系の人気学部が改革に踏み切った狙いは何か。数学の知識や素養の必要性が高まっているのか。数学を巡る最新状況について聞いた。︻聞き手・伊藤和史︼ 偏った受験指導を変えたい　須賀晃一・早稲田大政治経済学部長 変わっていく時代をリードする人間を我々は輩出しなければいけない。そのために、早稲田大学のなすべきことは何か、その中で政治経済学部をどう改革していくか－－という議論から出てきた入試改革だ。 政経学部︵政治学科・経済学科・国際政治経済学科︶では２０１９年度から公共哲学、政治分析入門、それに数学の知識が必要な統計学やミクロ・マクロ経済学入門などが初年度で3学科共通の必修科目になる。04年度発足の国際政経学科で先行して必修としてきた科目で、これを学部全体に
    論点：早大政経入試に数学 | 毎日新聞
    wed7931
    wed7931 2018/07/28
    とてもいい判断だと思う。記事内の3名の方の意見にも同意です。
    リンク
  • 前のページ 3 4 5 6 7 8 9 10 11 12 次のページ

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

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

  • @hatebu

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

はてなブックマーク

公式Twitter

はてなのサービス

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