タグ

glg13のブックマーク (165)

  • 関数型プログラミングはオブジェクト指向の正当な後継である - Qiita

    この記事の補足を書きました。併せてご覧いただけると幸いです。 「関数型プログラミングはオブジェクト指向の正当な後継である」がわからない理由 対象読者 この記事はオブジェクト指向設計を格的に学びドメイン駆動設計や責務駆動設計等を実践したことがある人々に「オブジェクト指向と関数型プログラミングの関係」を深く知ってもらうことを目的としています。これらの人々の中には手に馴染んだオブジェクト指向に未だに固執している人や、関数型プログラミングが気になってSwiftScalaを触り始めているがイマイチ関数型プログラミングの質が見えていない人も多いと思います。そうした人々が次の一歩を踏み出すキッカケになれば幸いです。 なぜこの記事を書こうと思ったのか? IT系の情報サイト等で「Haskellがすごい」という記事を見かけるようになってからもう10年近く経とうとしています。私自身もこれまでに何度か関数型

    関数型プログラミングはオブジェクト指向の正当な後継である - Qiita
  • 日本語の自然文をNeo-Davidsonian形式に変換 - Qiita

    Linked Ideal代表社員の久保寺です。Nextremerの久保寺です。主に最近は量子アルゴリズムの研究をしておりますが、記号論理学や仮説推論にも興味があり今回は自然言語処理の文脈で記事を書きたいと思います。 背景 今回ご紹介したいのは自然文を簡便な論理式として表現できる1Neo-Davidsonian形式についてです。日語の自然文を論理式化する方法の一つとしてCCG(組合せ範疇文法)を応用した研究報告があります。今回はCCGによる論理式化ではなく、少々情報量を落としてシンプルな表現として論理式に変換する1Neo-Davidsonian形式についてご紹介すると共に、実際に日語の自然文を入力として1Neo-Davidsonian形式に変換するプログラムを書いてみます。 1Neo-Davidsonian形式について 1Neo-Davidosonian形式の説明に入る前に、1Neo-D

    日本語の自然文をNeo-Davidsonian形式に変換 - Qiita
    glg13
    glg13 2020/02/25
    日本語 Neo-Davidsonian 一階述語論理 分析 KNP
  • 米中ハイテク冷戦、実は米国と同盟国側が衰退する恐れアリ(津上 俊哉) @gendai_biz

    この半年あまり、世界経済に与える悪影響が憂慮されてきた米中貿易戦争に変化が見えてきた。 絶好調だった米国経済に昨年末陰りが見え、株価が大きく下がった。内政面ではロシア疑惑や国境の壁予算の成り行きが思わしくない…そんな中で、トランプ大統領は米中交渉をまとめて手柄を誇ろうと躍起になっている。 貿易戦争を丸く収めたい点では、経済減速に直面する習近平主席も同じ。両トップが交渉決裂を恐れる心理状態になっていることは救いだ。交渉はまだ予断を許さないが、決裂しそうになれば株価が暴落、トランプ大統領が慌てて介入するだろう。 今年の世界経済は中国減速、ブレグジット漂流など悪材料が目白押しだ。これ以上、経済を下ブレさせるのは止めてほしい。 ハイテク冷戦の主導者はトランプではない しかし、米中貿易戦争の傍らでは、別の米中対立が激化している。「ファーウェイ封じ」に象徴されるハイテク冷戦の動きだ。こちらは、たとえ3

    米中ハイテク冷戦、実は米国と同盟国側が衰退する恐れアリ(津上 俊哉) @gendai_biz
    glg13
    glg13 2020/02/25
    華為 HUAWEI 国家情報法 中国
  • AIに関わる膨大な調査データを網羅した「AI Index」2019年版が公開 | Ledge.ai

    スタンフォード大の研究者らが、AI関連の研究開発や経済、教育、各国の動向など多様なデータをまとめた「AI Index」の2019年版を発表している。 The AI Index 2019 annual report(外部サイト) AI Indexとは?AI Indexは毎年発行されている、以下9つのチャプターからなるレポートだ。 研究開発ジャーナル、会議、特許の出版物の量や世界地域による引用の影響など、計量書誌学のデータ。主要なAIソフトウェアライブラリに付けられたGithubのスター数や、arXiv上のAI研究者の性別の多様性についても紹介している。 カンファレンスAI関連のカンファレンスに関するさまざまなソースからデータの概要を示す。具体的には、イベントへの参加、会議のトピックの概要、および達成されたポリシーマイルストーンについて説明されている。 技術的パフォーマンス計算能力の向上による

    AIに関わる膨大な調査データを網羅した「AI Index」2019年版が公開 | Ledge.ai
  • Windows 10の時刻同期のタイミングをカスタマイズする方法

    前回の記事で、Windows10の時間がずれる原因と、それを修正する同期のお話をしました。 時計がずれる原因を突き止めたい方はコチラ ⇒Windows10の時計がずれる原因究明と、時刻同期で解決! 標準の仕様では同期サイクルは1週間程度。 ただ、仕事の関係上もっと正確に時間を合わせたい人には長すぎます。 ここでは、もっと短いサイクルで時刻同期を図りたい人向けのお話をします。 ちょっと長い工程ですが、レジストリ編集はしませんのでご安心を。。 それでは早速いってみましょう! 毎日決められた時刻に同期する方法 ① スタートボタンを右クリック > 「コントロールパネル」 を選択。 ② 「システムとセキュリティ」 をクリック。 ③ 「管理ツール」 をクリック。 ④ 「タスクスケジューラー」 をダブルクリック。 ⑤ 左ツリーの中のタスクスケジューラライブラリ > MicrosoftWindows

    glg13
    glg13 2020/02/12
    NTP ログオン時 タイミング
  • 無料ファイル同期・バックアップソフト一覧

    ファイルやフォルダーに入っているデータを別領域に保存してバックアップすることができるソフトのことです。自分で定期的にバックアップしておきたい大事なファイルでも、ついうっかり忘れてしまったり面倒だったりすることもあります。 大事なファイルは予測の付かない事態に備えて、定期的にバックアップをとりたいものです。ここではバックアップをサポートしてくれるフリーソフトを紹介します。

    無料ファイル同期・バックアップソフト一覧
    glg13
    glg13 2020/02/10
    バックアップ ソフト
  • 機械学習 証明 - Google 検索

    2023/01/30 · 数学における証明のを計算機を用いて一部自動化することを目指します.申請課題は,この最終目標に対する探索研究として,自然数に関する命題の証明の一 ...

    glg13
    glg13 2020/01/31
    機械学習 証明
  • 米中貿易協議は一歩前進するも、中国のバブル崩壊は3、4年以内に起きる? - ライブドアニュース

    2020年1月28日 6時0分 リンクをコピーする by ライブドアニュース編集部 ざっくり言うと バブルの崩壊は3〜4年以内には起きるのではないかと真壁昭夫氏が語る 不動産バブルが弾け、金融システムの崩壊が世界経済に影響を与えると説明 その影響は、人類が経験したことのない規模になる可能性があると述べた 「ジャック・マー氏や柳伝志氏など、大物起業家が第一線から退いているのも、に備えてのことかもしれません」と語る真壁昭夫氏 今や、世界第2位の規模を誇る。その内側で膨らみ続ける「バブル」の正体とはなんなのか? そしてバブルの「崩壊」が、世界経済に与えるインパクトとはどんなものなのか? その深刻な破壊力に警鐘を鳴らすのが、法政大学大学院教授、真壁昭夫氏の新刊『ディープインパクト不況』(講談社+α新書)だ。30年前に日経済が直面したと照らし合わせながら、バブルの実態を真壁氏に解説していただいた。

    米中貿易協議は一歩前進するも、中国のバブル崩壊は3、4年以内に起きる? - ライブドアニュース
    glg13
    glg13 2020/01/29
    中国 経済
  • 20180924_岡山_日本数学会_数学連携ワークショップ.key

    glg13
    glg13 2020/01/29
    機械学習 推論 オートマトン 証明
  • Neural networks and deep learning

    ニューラルネットワークと深層学習 What this book is about On the exercises and problems ニューラルネットワークを用いた手書き文字認識 逆伝播の仕組み ニューラルネットワークの学習の改善 ニューラルネットワークが任意の関数を表現できることの視覚的証明 ニューラルネットワークを訓練するのはなぜ難しいのか 深層学習 Appendix: 知性のある シンプルな アルゴリズムはあるか? Acknowledgements Frequently Asked Questions Sponsors Resources 「ニューラルネットワークと深層学習」は無料のオンライン書籍です。 このでは、次のような内容を扱います。 ニューラルネットワーク:コンピュータに、観測データにもとづいて学習する能力を与える、生物学にヒントを得たプログラミングパラダイム。 深

    glg13
    glg13 2020/01/29
    ニューラルネットワーク 深層学習 解説
  • SHRDLU - Wikipedia

    SHRDLUとは、人工知能研究初期の研究開発プロジェクトである。1968年から1970年にかけて、テリー・ウィノグラードによって実施された。 コンピューターの中に仮想的に「積み木の世界」を構成し、そこに存在するいくつかの物体――ブロック、円錐、球など――を英語で指示を与えることで積み上げたり下ろしたり動かすことができる。自然言語により仮想世界の操作を行う事ができる。 実装はソフトウエア面ではプログラミング言語LispとPlannerを用いて記述され、ハードウエア面ではDEC社のコンピュータ・PDP-6および同社のグラフィック端末上で動作した。後にユタ大学のコンピュータグラフィックス研究所によって改良され、SHRDLUの「世界」はフル3Dで描画されるようになった。 SHRDLUの名称はetaoin shrdluに由来している。 機能[編集] コンピューターの内部に仮想的に積み木の積み上げ、積

  • 村上研究室 AI (人工知能)

    AI』とは『人工知能』という意味の『Artifical Intelligence』の頭文字をとったものです。 人工知能の研究の目的は、人間のような知能の働き(の一部)をコンピュータ上で実現することです。 人工知能の代表的な応用分野として、ゲームやパズルへの応用があげられます。これらは、チェスや囲碁、将棋などのゲームで行います。これがもっとも身近な人工知能ではないでしょうか。 ゲームやパズルの問題を解くためには、非常にたくさんある選択肢の中から、もっとも有効な答えを素早く探し出さなければいけません。つまり、答えの探索が主な手段となります。 また人工知能の他の分野として、定理の証明があります。これは、数学の定理をコンピュータによって自動的に証明させる分野です。つまり、与えられた公理を使って推論を行い目当ての定理を導きだそうというものです。 ここまで述べてきた人工知能の他には、エキスパートシス

    glg13
    glg13 2020/01/29
    論理学
  • 村上・泉田研究室 AI (人工知能)

    glg13
    glg13 2020/01/29
    推論 論理学
  • ニューラルネットワーク 三段論法 - Google 検索

    三段論法というものです。これは「ソクラテスは人間で. ある。人間は死ぬ。よって ... ニューラルネットワークの詳しい仕組みは後述しま. すが、ここでは代表的なディープ ...

    glg13
    glg13 2020/01/29
    ニューラルネットワーク 三段論法 人工知能 歴史
  • WANN:学習せずとも特定タスクを実行できるニューラルネットワークの探索(1/3)

    1.WANN:学習せずとも特定タスクを実行できるニューラルネットワークの探索(1/3)まとめ ・特定の生物は能により生まれながらにして天敵から逃れる行動をとる事が出来る ・ニューラルネットワーク探索により見つかったモデルの一部は画像処理タスクで同様な傾向を示している ・能のように特定のタスクを実行できる能力を生まれつき備えたモデルを探索できないか研究されている 2.WANNとは? 以下、ai.googleblog.comより「Exploring Weight Agnostic Neural Networks」の意訳です。元記事は2019年8月27日、Adam GaierさんとDavid Haさんによる投稿です。脳の動きからAIの動きを類推するとても面白い研究です。David HaさんはhardmaruのアカウントでTwitterで活躍されているGoogle Research, Toky

    WANN:学習せずとも特定タスクを実行できるニューラルネットワークの探索(1/3)
    glg13
    glg13 2020/01/29
    ニューラルネットワーク 生来的 学習 本能
  • ニューラルネットワークの動物園 : ニューラルネットワーク・アーキテクチャのチートシート(前編) | POSTD

    新しいニューラルネットワークのアーキテクチャがその時々で誕生するため、それら全部を把握することは困難です。全ての略語を覚えようとすると、最初はその数の多さに圧倒されてしまうでしょう(DCIGNやBiLSTM、DCGANを知っている人はいますか?)。 そんなわけで、これらのアーキテクチャの多くを盛り込んだチートシートを作ることにしました。そのほとんどはニューラルネットワークです。しかし、中には全く異なるアーキテクチャも潜んでいます。どれも独特で目新しいアーキテクチャばかりですが、ノードの構造を描くことで基的な関係が分かりやすくなってきます。 これらをノードマップとして描くことの問題点は、これらがどのように使われるかを明確に示していないという点です。例えば、変分オートエンコーダ(VAE)はオートエンコーダ(AE)と同じように見えますが、実際は訓練過程が全く異なりますし、訓練したネットワークの

    ニューラルネットワークの動物園 : ニューラルネットワーク・アーキテクチャのチートシート(前編) | POSTD
  • 進化を続けるマルウェア、ファイルレス攻撃とは何か

    従来型のウイルス対策製品では検出や削除が難しい「ファイルレス」の手口を使ってシステムに潜伏するマルウェアが増えているという。そうした高度な手口の横行は、進化を続けるマルウェアの現状を物語る。守る側の対策見直しの必要性も指摘されている。 ファイルレスマルウェアとは一般的に、HDDにファイルを書き込むことなく、メモリ内で悪質なコードを実行するマルウェアのこと。Windowsの正規ツールであるWindows Management Instrumentation(WMI)やPowerShellを悪用する手口のほか、BIOSのようなデバイスファームウェアやUSB機器などに悪質なコードを隠す手口も報告されている。 こうした手口が使われた場合、既知のマルウェアの特徴を記したウイルス定義ファイルに頼る従来型のマルウェア対策製品は、ほとんど通用しない。 セキュリティ企業のMalwarebyteは2019年1

    進化を続けるマルウェア、ファイルレス攻撃とは何か
    glg13
    glg13 2020/01/28
    マルウェア ファイルレス攻撃
  • 稲垣 康善 | 研究者情報 | J-GLOBAL 科学技術総合リンクセンター

    Copyright (c) 2009 Japan Science and Technology Agency. All Rights Reserved

    稲垣 康善 | 研究者情報 | J-GLOBAL 科学技術総合リンクセンター
    glg13
    glg13 2020/01/28
    名古屋大学 人工知能 自然言語処理 プログラミング言語
  • テキストマイニングとは | 自然言語処理・種類と活用法・おすすめツール4選 | Ledge.ai

    テキストマイニングとは自由形式で記述された文章を分析するための手法です。SNSへの投稿をはじめとした大量の文字情報を活用するうえで大変役立ちます。稿では、テキストマイニングの概要や活用シーン、自然言語処理という技術、オススメのツールやExcelでのテキストマイニングなどを解説します。 テキストマイニングとは?テキストマイニングとは、構造化されてないテキストデータから、新しい情報を抽出する分析手法です。 大量のデータから情報を抽出することで、文章中の単語の使用頻度や傾向、相関関係など、さまざまな特徴を分析する際に用いられます。 情報抽出の性能を向上させるために、自然言語処理が主に用いられています。 また、テキストマイニングは、データマイニングから派生した研究分野であり、データ分析で用いられたさまざまなアプローチや要素技術を応用し、発展した分析手法です。 –データマイニングとは データマイニ

    テキストマイニングとは | 自然言語処理・種類と活用法・おすすめツール4選 | Ledge.ai
  • アクセス | 環境学研究科

    glg13
    glg13 2020/01/27
    名古屋大学 環境学総合館