「クイックソート」「バブルソート」などのソート・アルゴリズムをフォークダンスで説明する恐るべきムービー集「AlgoRythmics」
たくさんのデータを大小関係に従って、小さい順(昇順)や大きい順(降順)に並び替える作業はソート(整列)と呼ばれ、ソフトウェア・プログラムではよく使われています。このようなソート作業を行うために並び替えの方法を手順化したのが「ソート・アルゴリズム」で、アイデアを理解すると「ほほー、なるほど」と思えるのですが、複雑すぎて理解しづらいものもあります。そんなソート・アルゴリズムの中でも有名で、仕組みを理解しておきたいものばかりを題材に、なんとフォークダンスに合わせてアルゴリズムを表現するムービー集「AlgoRythmics」が公開されており、学習効果があるかどうかは脇に置いて、思わず見入ってしまう魅惑のムービーとなっています。 最も有名なソート・アルゴリズムの一つである「バブルソート」をハンガリーのフォークダンスにのせて表現するのが「Bubble-sort with Hungarian ("Csá
DPLLアルゴリズム - Wikipedia
Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、英: Davis-Putnam-Logemann-Loveland algorithm）とは、数理論理学および計算機科学において、論理式の充足可能性を調べるアルゴリズムである。連言標準形で表現された命題論理式を対象とし、論理式を真（True）にできるかどうかを判定する。この判定問題はCNF-SATと呼ばれる。 このアルゴリズムは、1960年に発表されたデービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）の改良版として、1962年にマーチン・デービス（英語: Martin Davis）、ジョージ・ロゲマン（英語: George Logemann）、ドナルド・ラブランド（英語: Donald W. Loveland）が発表した [1]。 なお、文献によってはDPLL
デービス・パトナムのアルゴリズム - Wikipedia
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメリカ国家安全保障局の支援を受け、一階述語論理での定理自動証明のための方法としてマーチン・デービス（英語版）（Martin Davis）とヒラリー・パトナム（Hilary Putnam）により1958年に考案され [1]、一般には1960年に発表された [2]。 その後の改良版であるDPLLアルゴリズム（Davis-Putnam-Logemann-Loveland algorithm） [3]のベースとなるアルゴリズムである。 なお、古い文献ではDPLLアルゴリズムのことをデービス・パトナムのアルゴリズムと呼ぶことがある。それぞれは異なった規則を使用し[3]、正確には異なる。 1960年に提案されたデー
Google、モバイル重視の検索アルゴリズム変更を4月21日に実施へ
次に、2013年12月に提供を開始した「App Indexing」の情報を、Androidからログインして検索するユーザーの検索結果に反映させる。こちらは即日実施。これにより、ログインしているモバイルユーザーの検索結果に、そのユーザーがインストールしているアプリ内コンテンツが優先的に表示されるようになる。アプリ開発者は、こちらのページでアプリをApp Indexingに対応させることができる。 関連記事 Google、Androidアプリストアでの検索広告表示のテスト開始 GoogleがAndroidアプリストア「Google Play」の検索結果のトップに広告アプリを表示するテストを開始した。 WebサイトのHTTPS対応、Google検索ランキングに反映 Googleは実験結果を踏まえて、HTTPS対応の有無をランキングの要素として使用する措置を導入した。 Google、「アルゴリズム
プログラマのための文書推薦入門 (社内勉強会の発表資料) - y_uti のブログ
勤務先の社内勉強会で、機械学習を用いた文書推薦*1に関する基本的なことがらについて説明しました。その資料を公開します。 プログラマのための文書推薦入門 from y-uti 数学やコンピュータサイエンスを専門的に学んでいないエンジニアでも理解しやすいように、できるだけ数式を使わずに説明したつもりです。厳密性にはこだわっていないので、専門家からはあちこちツッコミを受ける内容かもしれません。 プログラマ向けということで、実際にコンピュータ上で動作を確認できるように、Wikipedia のデータを対象にして類似文書検索を行うスクリプトを作成しました。GitHub に置いてあります。 y-uti/document-recommendation · GitHub *1:推薦というより情報検索、類似文書検索という方が適切だったかもしれません。
ソースコード探険隊
What's new - 更新履歴 直近20件の新しい記事です。 2024-02-28: ASUS ROG ノートパソコン FLOW・ZEPHYRUS・STRIX の違い、比較 2024-01-14: ASUS ノートパソコン製品シリーズの違い・比較 2023-12-10: ゲーム開発に最適なノートパソコンの選び方／おすすめ機種紹介 2023-11-18: 動画編集に最適なノートパソコンの選び方／おすすめ機種紹介 2023-11-03: プログラミングに最適なノートパソコンの選び方／おすすめ機種紹介 2023-09-09: 『ノートパソコン購入ガイド』を公開 2023-04-29: 推理小説『水車館の殺人』の感想 2023-03-26: Lenovo 公式サイトの「ThinkBookとThinkPad の比較」を評価する 2023-03-21: Lenovo ThinkPad と Thin
世界で闘うプログラミング力を鍛える150問 〜トップIT企業のプログラマになるための本〜 - iwiwiの日記
先行発売のお知らせ (11/7 追記) 以下の店舗で先行発売が行われているらしいです． 紀伊國屋書店 新宿本店 (https://twitter.com/KinoShinjuku/status/265658160222724096) 紀伊國屋書店 新宿南店 (https://twitter.com/kino_Minami/status/265405470548844546) ジュンク堂書店 池袋本店 (https://twitter.com/junkudo_ike_pc/status/265677297430978562) 有隣堂 ヨドバシAKIBA店 (https://twitter.com/yurindo_akb/status/265648944745426945) 丸善 丸ノ内店 なお，電子書籍版の発売も予定しているそうですが，調整中とのことで少し後になりそうです． 原著は既に第5版
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サルでも分かるwaifu2xのアルゴリズム
第13回 考える楽しさ、習う楽しさ「７．考えること、習うこと、学ぶこと」