タグ

2020年5月21日のブックマーク (7件)

  • 1年生の数学演習

    牛腸 徹 & 清野 和彦 数理科学研究科棟 5階524号室 牛腸が 数学の魅力#05 ―女子中高生のために― で講演しました。 講演題目 : 「行列」ってなに?おもしろいの? 講演要旨 配付冊子 このサイトの目的は、 牛腸徹及び清野和彦が現在担当している、および過去に担当した 演習や全学ゼミナールのために作成した問題や解説の資料を、 PDF(および DVI)形式のファイルとして提供することです (が、事情により清野の作成した資料は未公開としています)。 2023年度 (今年度) 2022年度 2021年度 2020年度 2019年度 2018年度 2017年度 2016年度 2015年度 2014年度 2013年度 2012年度 2011年度 2010年度 2009年度 2008年度 2007年度 2006年度 2005年度 2004年度 2003年度 2002年度 2001年度 2000

    udzura
    udzura 2020/05/21
  • Tutorial: Profiling Rust applications in Docker with perf | Blog | Guillaume Endignoux

    With Moore’s law coming to an end, optimizing code to avoid performance pitfalls is becoming more and more useful. To this end, programming languages like Rust are designed to produce fast and memory-efficient programs out-of-the-box. When that is not sufficient, profilers like perf are useful to measure where the code is slow and therefore which algorithms and data structures should be optimized.

    udzura
    udzura 2020/05/21
  • MySQLのALTER TABLEについて少々

    2020/05/11 GMO Technology Bootcamp 2020

    MySQLのALTER TABLEについて少々
    udzura
    udzura 2020/05/21
    勉強になりますね...
  • 英語の発音の勉強法〜音声学を先にやろう〜 - Qiita

    プログラマのための英語・外国語 Advent Calendar 2017の最終日を担当させて頂くyoeharaです。 すみません、ギリギリ間に合いました。 私自身について述べておきますと、一応、語学学習支援システムの研究を10年ぐらいやっている人です。具体的には、英語学習者が知らない語を機械学習で予測する研究を10年ぐらいやってきました。そのあたりの知見から、「だいたい正しいのではないかな」と思われる私見をいくつか述べます。 英語の学習方法については色々な立場の方が色々な学習法を述べていて、どの方の方法論に説得力があるのか一見よくわからない状況です。 ある方は発音が大事だから発音訓練をと言いい、またある方は語彙サイズが重要だから単語帳をガンガン覚えろといい、ある方は、いやいや多読してニュアンスをつかむのが大事、といいます。 全部出来ればいいですが、そんな時間のある方は少ないと思います。何か

    英語の発音の勉強法〜音声学を先にやろう〜 - Qiita
    udzura
    udzura 2020/05/21
  • フィルタ - Linuxカーネルメモ

    カーネルのnetfilter機能により、パケットフィルタやIPマスカレードを行なうことができる。 1. フック処理 フィルタ関連の処理を行うためにLinuxではプロトコル層にフック処理を登録できるようになっている。フック処理はnf_hooks[pf][hook]に登録され、NF_HOOK()によりプロトコル層から呼び出される。プロトコル(pf)毎にフック種別(hook)があり、フック処理のエントリ(struct nf_hook_ops)をリスト形式で登録している。IPv4では表1に示すHook種別がある。 フック処理にはフィルタ処理以外にもIPマスカレードの処理やConnection Trackingに関する処理など様々なものが登録されるが、これらのフック処理はお互いに関連があることが多く処理順序を制御できないとまずい。このため、各フック処理には優先度があり、フック処理の順番を制御できるよ

    udzura
    udzura 2020/05/21
  • ウェブ音声 API - Web API | MDN

    This feature is well established and works across many devices and browser versions. It’s been available across browsers since September 2018. Learn moreSee full compatibilityReport feedback ウェブ音声 API (Web Speech API) で、音声データをウェブアプリに組み入れることができます。 ウェブ音声 API は、SpeechSynthesis (音声合成Text-to-Speech)と SpeechRecognition (非同期音声認識、Asynchronous Speech Recognition)の 2 つの部分から成り立っています。 ウェブ音声 API は、ウェブアプリが音声デー

    ウェブ音声 API - Web API | MDN
    udzura
    udzura 2020/05/21
    naruhodo
  • AF_UNIX comes to Windows

    Get notified in your email when a new post is published to this blog Introduction: Beginning in Insider Build 17063, you’ll be able to use the unix socket (AF_UNIX) address family on Windows to communicate between Win32 processes. Unix sockets allow inter-process communication (IPC) between processes on the same machine. Overview: Support for the unix socket has existed both in BSD and Linux for t

    AF_UNIX comes to Windows
    udzura
    udzura 2020/05/21