講義内容予告 PDF 講義ノート PDF 宿題に関する注意 宿題はTeXで作成して、印刷したものを提出してください。宿題に関する注意は昨年度のものを参照してください。連絡事項 初回は4/11です。進行表 4/11 測度空間、カラテオドリの拡張定理 宿題1 (1.5はカラテオドリの拡張定理を認める)4/18 pi-lambda定理、完備化、Lebesgue-Stieltjes測度 宿題24/25 可測関数 宿題35/2 積分の定義 宿題4 (講義ノートのp.32-33は自習しておいてください)5/9 積分の性質 宿題55/16 直積測度、Fubiniの定理、確率空間 宿題65/23 期待値、確率変数の収束 宿題7 (宿題7の提出は5/30の補講時に変更します)5/30 (補講) 独立性 宿題86/6 休講6/13 独立確率変数列の構成、大数の弱法則、Borel-Cantelliの補題 宿題9
Deep Learning has revolutionized vision via convolutional neural networks (CNNs) and natural language processing via recurrent neural networks (RNNs). However, success stories of Deep Learning with standard feed-forward neural networks (FNNs) are rare. FNNs that perform well are typically shallow and, therefore cannot exploit many levels of abstract representations. We introduce self-normalizing n
Elf64_Ehdr ELFHeader; // Initialize the ELF header ELFHeader.e_ident[EI_MAG0] = 0x7f; // Magic numbers ELFHeader.e_ident[EI_MAG1] = 'E'; ELFHeader.e_ident[EI_MAG2] = 'L'; ELFHeader.e_ident[EI_MAG3] = 'F'; ELFHeader.e_ident[EI_CLASS] = ELFCLASS64; // 64 bit ELF ELFHeader.e_ident[EI_DATA] = ELFDATA2LSB; // little-endian ELFHeader.e_ident[EI_VERSION] = EV_CURRENT; // Current version ELFHeader.e_ident
I'll get right to it: I've rewritten Psychopath in Rust. And I feel like this requires an explanation. The short version is that Psychopath is a personal project that I work on for fun, and I had fun rewriting it in Rust. The rest of this post is the long version, as seen through the lens of my experiences developing in Rust. But first I want to be really, really clear that I do not advocate rewri
There are some significant changes happening to Rustfmt. Here is what you need to know. We're changing the default style to match that being specified in the style RFC process. Earlier this week I made the last release using the old default style (0.8.6). Today I released 0.9 which uses the new style. There will be no more development on the 0.8 branch. If you want to continue using the old style,
Drive-by Haskell Contributions Neil Mitchell http://ndmitchell.com Getting started contributing • Or: ideas to improve your existing project Static -Wall Docs Haddock Test hpc Perf profile Goal: Start doing cooler stuff Time Complexity Typo Docs New func New feature Do: Check your change is welcome • Is the project on GitHub? • Look at the open PR’s – do they languish? • When was the last commit?
How is GNU's yes so fast? $ yes | pv > /dev/null ... [10.2GiB/s] ... Compared to other Unices, GNU is outrageously fast. NetBSD's is 139MiB/s, FreeBSD, OpenBSD, DragonFlyBSD have very similar code as NetBSD and are probably identical, illumos's is 141MiB/s without an argument, 100MiB/s with. OS X just uses an old NetBSD version similar to OpenBSD's, MINIX uses NetBSD's, BusyBox's is 107MiB/s, Ultr
We're happy to announce a new release of Specs, a highly parallel ECS. It's been three months since the 0.8 version, which brought ticketed locks to you. Since then, there were many, many changes including integration of shred (PR) a new book to get you started with Specs (PR) iterating over components in parallel (PR) better documentation a FlaggedStorage (PR) a website for Specs, hosting the doc
Rustのパターンマッチは網羅性が検査され、網羅的でない場合はコンパイルエラーになる。網羅性は以下のように検証される。 型の分類 パターンマッチの網羅性をするときには、全ての型がADTのように扱われる。つまり、有限個の引数をとるコンストラクタが有限個あり、そのいずれかにより生成されていると仮定して、網羅性が判定される。 constructor_arity あたりを読むとわかるが、例えば、 通常のADTは、そのままその意味でADTとみなされる。 ただし、空なADTであっても、空であることが今いるモジュールからわからない場合は、余分なコンストラクタを持っているとみなされる。 bool は true と false の2つのコンストラクタからなるとみなされる。 u8 や i32 などはオープンな型とみなされ、全ての定数を網羅しても網羅的とはみなされない。これを修正する提案がある。 参照は単一のコ
In this post I'll show you the code path that Rust takes inside its standard library when you open a file. I wanted to learn how Rust handles system calls and errno, and all the little subtleties of the POSIX API. This is what I learned! The C side of things When you open a file, or create a socket, or do anything else that returns an object that can be accessed like a file, you get a file descrip
haskell Published on June 13, 2017 It’s been a while since I first published the text-metrics package, which allows to calculate various string metrics using Text values as inputs. Originally the package was written primarily in C with wrappers in Haskell. At the time I needed maximal speed and did not care whether the algorithms themselves are coded is C or Haskell, as long as they work, and work
TL;DR Use Hpack, and you don’t have to manually add/remove modules in the cabal file’s exposed-modules and other-modules section! A little bit of background Haskell has a very long history: Since 1987 which is long before the concept of “package managers.” When modern package management emerged, Haskellers had to invent something too. So they made “Cabal” which came to mean three things: A standar
hyper v0.11 The async release of hyper is here, version 0.11.0. There’s an updated website, and new guides to try to help you get up to speed with all the changes. hyper is an HTTP library built in Rust, providing fast and safe client and server implementations. v0.11 This release marks a form of stability for async hyper. This isn’t saying hyper’s API won’t continue to evolve (and break), but tha
Vec<Result<_>> ではなく Result<Vec<_>> を得る collect() 関数を使うと、 Vec<Result<_>> を得ることもできるし、 Result<Vec<_>> を得ることもできる。変換先の型を明示することで区別する。 fn main() { // 全てSomeならSome(配列)を返し、どれかがNoneなら全体もNoneになる assert_eq!([Some(1), Some(2)].iter().cloned().collect::<Option<Vec<_>>>(), Some(vec![1, 2])); assert_eq!([None, Some(2)].iter().cloned().collect::<Option<Vec<_>>>(), None); } これができるのは以下の理由による。 FromIterator は多対多である。つま
The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Development with Idris, exploring the benefits (and trade-offs) of dependent typing. I highly recommend you to read
Bugs You'll Probably Only Have in Rust Alexis Beingessner - June 14, 2017 The source of this post is hosted on Github. If you find any errors, please file an issue or submit a PR! 😀 Recently, Ralf Jung found a bug in Rust's standard library. Congrats to him! 🎉 The bug was a missing annotation, and the result was that users of Rust's stdlib could compile some incorrect programs that violated memo
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く