過去曲→mylist/54829963twitter→＠gz_sigh〈追記〉広告ありがとうございます〈追記〉ご視聴ありがとうございます。コメント等、いつも励みになります！
トパーズ / 滲音かこい
過去曲→mylist/54829963twitter→＠gz_sigh〈追記〉広告ありがとうございます〈追記〉ご視聴ありがとうございます。コメント等、いつも励みになります！
【数学】鳩ノ巣原理って言うほど自明か？
５個の箱がある←うん ６羽の鳩がいる←うん ５個の箱に６羽の鳩が入っている←うん てことは少なくとも１つの箱には２羽以上の鳩が入っている←わかる 続きを読む
The official Rust Playground now has the top 100 crates available!
As of a few minutes ago, https://play.rust-lang.org/ is now powered by the Integer 32 playground implementation! Notably, that means you can use some selected crates! Here's an example that uses the regex crate. Specifically, the top 100 downloaded crates of all time are available (edit: as well as their dependencies, when possible). There's some notion of switching to the top 100 most recently do
How to rewrite your project in Rust – Unhandled expression
In a previous post, I explained why rewriting existing software in Rust could be a good idea. The main point being that you should not rewrite the whole application, but replace the weaker parts without disturbing most of the code, to strengthen the codebase without disruption. I also provided pointers to projects where other people and I did it succesfully, but without giving too many details. So
ビームサーチの基礎知識と機械学習への3つの活用事例
深さ優先探索と幅優先探索 深さ優先探索 幅優先探索 ビームサーチ 機械学習への応用 Google Alloの返答 学習時にビームサーチの幅を持たせて学習 3D形状の学習への応用 まとめ 参考文献 ビームサーチ（Beam Search）は、探索アルゴリズムの一種でメモリをそれほど必要としない最良優先探索です。 機械学習の分野でも、翻訳やチャットボットの返答などに応用されています。本記事では、ビームサーチのアルゴリズムを理解してどのように応用されているのかを解説します。 機械学習を活用したシステムを構築する際にも、探索空間が広い場合などには応用可能なので、使いこなせるようにしておくと役に立ちます。 深さ優先探索と幅優先探索 いきなりビームサーチの解説に入る前に、理解しやすいようにグラフ探索アルゴリズムを紹介します。 深さ優先探索 深さ優先探索は、その名の通り可能な限り突き進んで、行けなくなった
zero allocation continuations - part 1
One of the best features of futures (or promises, depending on your language background) is the ability of composing them through asynchronous continuations. Example: // pseudocode auto f = when_all([]{ return http_get("cat.com/nicecat.png"); }, []{ return http_get("dog.com/doggo.png"); }) .then([](auto p0, auto p1) { send_email("mail@grandma.com", combine(p0, p1)); }); f.execute(some_scheduler);
自動微分の基礎| GRC/ARCA Viewpoint | PwCあらた有限責任監査法人
自動微分（Automatic Differentiationあるいは Algorithmic Differentiationともいわれ、ADと略される場合が多い）とは、コンピュータープログラムで表現された関数を効率的かつ正確に計算する技術です。 もともとは流体力学、原子核工学、気象科学などで使用されていた手法ですが、近年機械学習や金融への応用が注目されています。そこでここでは、自動微分の基礎について紹介します。 1. 数値微分 関数の微分係数を求めたい場合、数式がわかっていれば、数学的にはその関数式を微分すれば求まります。しかし、コンピュータープログラムで使用される関数は、何段階にも入れ子になっていたり、ループや条件分岐を含むコードにより表現されているため、数学的に微分することは必ずしも簡単ではありません。 しかし、そもそも微分の定義を考えると、
Rocket v0.3: Fairings, TLS, Private Cookies - Rocket Web Framework
July 14, 2017 by Sergio Benitez Rocket v0.3: Fairings, TLS, Private Cookies I'm excited to announce that the next major release of Rocket is available today! Rocket 0.3 is packed with new features and improvements that increase developer productivity, improve application security, and provide new opportunities for extensibility. Rocket 0.3 is the culmination of almost 6 months of work. During this
Avoiding Logic Bugs in Rust with Traits and Types - Barely Functional
The other day I saw someone comment how a bug could have been avoided if Rust was used. This was incorrect as it was a logic bug not a memory bug. Rust guarantees memory safety, but whether your logic is correct is a whole different story. That being said we can use Rust's type system to make our code work and avoid logic bugs. Rust has some nice abstractions to avoid these kinds of errors if used
Profunctor Optics: The Categorical View
Profunctor Optics: The Categorical View Posted by Bartosz Milewski under Category Theory, Lens, Programming [9] Comments Abstract: I present a uniform derivation of profunctor optics: isos, lenses, prisms, and grates based on the Yoneda lemma in the (enriched) profunctor category. In particular, lenses and prisms correspond to Tambara modules with the cartesian and cocartesian tensor product. This
TOKYO STREET FASHION and CULTURE: 1980 - 2017 - Google Arts & Culture
TOKYO STREET FASHION and CULTURE: 1980 - 2017Explore the fascinating history of fashion and culture in Tokyo, Japan. This is a documentary of youth fashion and culture in Tokyo for 37 years. "Street Fashion" is the sense of style of creative people who take all sorts of information (from music, sports, fashion, and the like) and express their personal values through their outfits. The fashion and
【ゼロから作る紙工作】 紙だけで作る機械式時計
ただの普通科高校生が、機械式時計の美しさに魅せられてほぼ紙だけで自作しちゃいました。時刻の精度の方は…お察しください。他の作品→mylist/55549914前（紙でギブソン）→sm30293430【追記】たくさんの再生、宣伝などなどありがとうございます！
Notions of Computations and Effects - Just $ A sandbox
前回のeffect systemに対するボヤキ、あるいは予言が色んな人に読まれたみたいなので興味がある人が一定数いるならeffect systemの紹介記事をちゃんと書こうと思った次第。 というわけでmonadを前提としてプログラミング言語的な見方と圏論的な見方を通してeffectに関するお話をしてみます。 注意 以下のプログラムはHaskellに寄せたオレオレsyntaxで実際にそういう実装があるわけじゃないので注意してください。実際の実装されている言語の話は最後に少しします。 programming with effects effectは通常type-and-effect-systemと呼ばれるようにある意味で一種の型システムのようなものです。型システムがプログラムの入力と出力の値を見積もる仕組みだったのに対し、エフェクトシステムはプログラムを実行した際に「起きうる」エフェクトをコン
Undefined Behavior and Unsafe Code Guidelines
Last year, the Rust unsafe code guidelines strike team was founded, and I am on it. :-) So, finally, just one year later, this post is my take at what the purpose of that team is. Warning: This post may contain opinions. You have been warned. When are Optimizations Legal? Currently, we have a pretty good understanding of what the intended behavior of safe Rust is. That is, there is general agreeme
State machine testing with Hedgehog
Jacob Stanley's Hedgehog library has grown some exciting new functionality: state machine testing. This stuff is going straight into my everyday testing toolkit, so y'all get to read a bit about it. Property-based testing is typically introduced with simple functional examples, like reversing a list. It is a very profitable technique for testing pure code! It's less clear to the beginner how to ge
A deep dive into Multicore OCaml garbage collector · KC Sivaramakrishnan
I recently gave a talk on the internals of multicore OCaml GC at Jane Street offices in NYC. The slides from the talk are available online. But I felt that the slides alone aren’t particularly edifying. This post is basically the slides from the talk annotated with notes. Abstract In a mostly functional language like OCaml, it is desirable to have each domain (our unit of parallelism) collect its
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
116ζ68glass_forest
Csula Jazz Ensemble - Crusade 1980
Lazy Functional State Threads - John Launchbury and Simon L Peyton Jones - Papers We Love Singapore
GitHub - owlbarn/owl: Owl - OCaml Scientific Computing @ http://ocaml.xyz
Reddit - Dive into anything
http://www.gameuipatterns.com/
好きビーム
基礎からはじめる物理ベースレンダリング - Qiita
Reddit - Dive into anything