年末です、こんちくしょー。巡音ルカV4Xの動作確認 兼 書籍改訂版向けにお色直ししたParachuteです。フワフワさせながらパツパツした音にするの難しいなあ。とんでもない映像に仕立て上げられ、箸が滑り落ちました。口の中も乾きました。あひるちゃん、おそろしいこ！Vo: Luka Megurine V4XLyric: 鶏Illustration: himiMotion Graphic: あひるMusic: ムジカデリク
Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful "fibre functors" to the category of vector spaces. We simultaneously generalize the theory of Tannaka duality in two ways: first, we replace Hopf algebras with wea
比較的最近、「絵算のススメ 2015 年末版」という記事を書きました。なぜ絵算をおススメするのかというと、計算や証明がとても簡単になる（ことがある）からです。 テキスト記法だとけっこう面倒な計算が、絵算では自明になってしまう例を紹介します。 内容： こんな例題 何を説明するのか 描き方・書き方の約束 関手を折り曲げる 同じだから同じ どうしてテキストだと計算や証明が必要になるのか レイアウト変更と引き伸ばし 絵算の問題点 こんな例題 次のラルフ・ヒンズの論文から命題を2つ選んで、それを例題にします。 Title: Theoretical Pearl / Monads from Comonads, Comonads from Monads / An Exercise in Program Transformation Author: Ralf Hinze URL: http://www.cs
この投稿は「Windows & Microsoft技術 基礎 Advent Calendar 2015」の16日目の記事です。 本稿では、Windows（広く一般のOSでも、基礎的な知識としては適合する）の、「メモリ使用量」の取り扱いについてまとめたものです。特に、コードからメモリを使用するとはどういうことなのかがちょっとでも明らかになれば良いかなと思っています。 普通の人、普通のプログラム、普通のプロセス .NET環境であったり、C++で各ネイティブなコードであったり、通常プログラムを書くと「ユーザープロセス空間」で動くコードがビルドされます。C#でコードを書けば、newしたりすることで、「どこかにあるメモリ」を適量確保し、それを使用可能にしてくれます。 このメモリ使用量はどのように決まってくるのか？ 例えば以下のコード： var data = new byte[10 * 1000 *
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
これはHaskellスペースリーク Advent Calendar 2015の17日目の記事です。 :sprint と MonomorphismRestriction サンクのリークを防ぐには、どの式がサンクかを理解する必要がある。そのために便利なのが、GHCiの:sprint コマンドだ。MonomorphismRestriction 拡張がデフォルトで有効だった GHCi 7.6 以前は、このコマンドは直感的に動く。 > let x = 1 + 2 > let y = (x,x) > :sprint x x = _ > :sprint y y = (_,_) > print x 3 > :sprint y y = (3,3) GHCi 7.8 以降では、MonomorphismRestriction拡張がデフォルトで無効になった。単に式を評価する使い方なら、こちらの方が便利だ。しかし、
In this post we’ll look at adding a pretty awesome new feature to tray_rust, something I’ve never implemented before: animation! We’ll take a look at a simple way for sampling time in our scene, how we can associate time points with transformations of objects to make them move and how to compute smooth animation paths with B-Splines. Then we’ll wrap up with rendering a really cool animation by usi
Discussion and resources for game development with the Haskell language. You can play it here. Ludum Dare is a game making competition in which a theme is announced (for this 34th edition, the themes were "two button controls" and "growing") and then you have 72 hours to make a game based on it. We used Haste to compile Haskell to javascript, and we wrote bindings to the sprite.js library. It was
By Beerend Lauwers I encountered the notion of transducers about a year ago, but didn’t really look into it. Recently, I encountered it again in a presentation about functional programming in C++ (slide 37). The article on the Clojure website didn’t really help, and a Google search for “Haskell transducers” gave me discussions such as “Clojure’s Transducers are perverse lenses” (What?) and transdu
In recent weeks, Babai gave four talks outlining his algorithm. It will take time for his new paper to be thoroughly vetted by other experts, however. Babai has declined to speak to the press, writing in an email: “The integrity of science requires that new results be subjected to thorough review by expert colleagues before the results are publicized in the media.” Other researchers are cautiously
by Phil Freeman on 2015/12/06 In Haskell and PureScript, we are familiar with certain standard hierarchies of type classes. For example, here are some of the type classes provided by the PureScript core libraries: Semigroup, Monoid Semiring, Ring, CommutativeRing, EuclideanRing, Field Functor, Apply, Applicative, Bind, Monad Extend, Comonad Alt, Plus, Alternative Semigroupoid, Category Profunctor,
This is the draft version of a textbook, which aims to introduce the quantum information science viewpoints on condensed matter physics to graduate students in physics (or interested researchers). We keep the writing in a self-consistent way, requiring minimum background in quantum information science. Basic knowledge in undergraduate quantum physics and condensed matter physics is assumed. We sta
We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial ($\exp((\log n)^{O(1)})$) time. The best previous bound for GI was $\exp(O(\sqrt{n\log n}))$, where $n$ is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, $\exp(\tilde{O}(\sqrt{n
Deeper neural networks are more difficult to train. We present a residual learning framework to ease the training of networks that are substantially deeper than those used previously. We explicitly reformulate the layers as learning residual functions with reference to the layer inputs, instead of learning unreferenced functions. We provide comprehensive empirical evidence showing that these resid
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
