盛り上がってますか~~~?Music&Movie: みりあんぬ @miri0an0n (mylist/19630151)Vocal: 雪歌ユフ・波音リツChorus: 唄音ウタ・櫻花アリス
盛り上がってますか~~~?Music&Movie: みりあんぬ @miri0an0n (mylist/19630151)Vocal: 雪歌ユフ・波音リツChorus: 唄音ウタ・櫻花アリス
尊敬するピアニスト 池野成秋先生の作品を ご本人の承諾のもとでUPします。作詞/谷川俊太郎 作・編曲/池野成秋
この記事は日曜数学アドベントカレンダーの17番目の記事です。 http://www.adventar.org/calendars/1777www.adventar.org 昨日の記事はToshiki Takahashiさんのリープグラフと複素確率 | Advent Calendar 2016 | DIY Mathematics |でした。 今日は、キグロさんの20日の動画の予習的記事を書こうと思いました。 次の問題を解いてみてください: 問1 が無理数であることを示せ*1。 問2 が無理数であることを示せ。 問3 が無理数であることを示せ。 特に困難なく解けることと思います。このように、例えばが無理数であることは簡単に証明できますが、一般には(無理数)(無理数)(無理数)は言えないので注意が必要です。は足しても無理数であることを示せる数少ない例の一つなのです。とが無理数であることは eが無
この記事はADVANCED BEGINNERからCOMPETENTの方を対象読者として書かれています。 コインの裏表やサイコロの出目はよく確率変数によって表されます。確率変数が互いに依存しているようなモデルを記述する手法としてグラフィカルモデルと云うものがあります。例えば、ある分布に従って表が出る確率が偏ったコインが選ばれた後、そのコインを投げて表裏が決まるような実験を考えた場合、コインの確率変数を $X$, コインの表裏の確率変数を $Y$ とすると、この系を記述するグラフィカルモデルは このようになります。ところで $X$ は表が出る確率Double上の確率変数RVar Doubleで、 $Y$ は $X$ の結果に依存したコインの裏表Bool上の確率変数Double -> RVar Boolであると考えるとします。今コインがランダムに選ばれると言う構造を 忘れて コインの表裏が出る確
malloc系exploitテクニックのうち、応用しやすそうなもののメモ。 環境 Ubuntu Server 16.04.1 LTS 64bit版、GLIBC 2.23 $ uname -a Linux vm-ubuntu64 4.4.0-31-generic #50-Ubuntu SMP Wed Jul 13 00:07:12 UTC 2016 x86_64 x86_64 x86_64 GNU/Linux $ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 16.04.1 LTS Release: 16.04 Codename: xenial $ /lib/x86_64-linux-gnu/libc.so.6 GNU C Library (Ubuntu GLIB
お久しぶりの投稿です。 最近修論やらなにやらで機械学習も統計もあまりモチベーションがなかったんですが、復活してきたので書きます。書きます。 今回の記事は、Sumio Watanabe大先生が確立した 特異モデルまでをも包括した*1 歴史上唯一のベイズ統計の理論と、そこから導出されるWAICやその裏側にある数学についてのメモを残したいと思います。 これからWatanabe先生の理論を勉強しようと思ってる人や、その概略だけでも知りたい人向けの記事です、が、あくまでメモです(disclaimer)。 この理論は多様体やら代数幾何やら特異点解消やら、なんだか難しい数学の概念がたくさん出てくると言うタレコミがあるため避けている人が大多数だと思いますが、それらの代数幾何学を理解する事は決してPractitionerが理解したいと思う範囲で本質的ではなく、結局は測度論(ルベーグ積分論)・関数解析・確率解
この記事はStan Advent Calendar 2016およびR Advent Calendar 2016の12月7日の記事です。StanコードとRコードは記事の最後にあります。 背景は以下です。 [1] Aki Vehtari, Andrew Gelman, Jonah Gabry (2015). Practical Bayesian model evaluation using leave-one-out cross-validation and WAIC. arXiv:1507.04544. (url) [2] 渡辺澄夫. 広く使える情報量規準(WAIC)の続き (注4)【WAICとクロスバリデーションの違いについて】 (url) [3] Sumio Watanabe. Comparison of PSIS Cross Validation with WAIC. (url) le
はじめに 本記事はCompetitive Programming (その2) Advent Calendar 2016の19日目の記事です。 www.adventar.org この記事では、プログラムのコンパイルを自動化するツール、OMakeの使用方法を、競技プログラミングの実例に沿って簡単に解説する。 本記事の対象読者 (主にUNIX系OSで)コマンドラインを使ってプログラムをコンパイルしている人 Windowsでも利用可能なようだが、インストールが大変 特に、OMakeに全く触れたことのない人 OMakeとは OMakeとは、プログラムを簡単にビルドするためのツールの一種である。同様のツールとしてはMakeが有名だが、OMakeは基本的にこれを更に発展させたものとなっている。 読み方はおそらく「オマケ」ではなく「オーメイク」だと思われる。 OMake プロジェクトページ 1. ガイド
こんにちは。tokoharuです。 これは Competitive Programming (その2) Advent Calendar 2016 - Adventar の12/7の記事です。 問題も稀にしか確認しなくなりましたが最近得た知見をここで報告・宣伝しておきます。少々マニアックな記事です。 概要 私のtwitter(鍵)を確認している人はご存知かもしれませんが、二年前に公開したドキュメントhttp://tokoharu.github.io/tokoharupage/docs/formularization.pdfを改訂しました。内容はフローとかLPとか双対とかそのあたりの話です。元々は自分だけ読めればよかったものを少しずつ他の人に読めるものに変えている途中なのでまだまだ読みにくいかもしれません。特にLPとかの話は情報系学科の人でも触りくらいしか知らないでしょうし... それから最初
今年の1月頃、Twitterでこのようなツイートをしました。 favの数だけモナドについての豆知識をツイートします — こば(競プロのプロを目指す) (@kobae964) January 9, 2016 このツイートは界隈で広まり、(2016/12/18現在)133favをいただきました。しかしまだ56個しかツイートできていません。終わりが見えないのじゃ…(トホホ) モナドtips1個消化するたびにノルマが2,3個増えるんだけど(歓喜) — こば(競プロのプロを目指す) (@kobae964) 2016年11月6日 この記事では、このモナドtipsツイートに書いた知見をまとめていきたいと思います。 1月(卒論) 卒論でStone dualityについて調べていた。当然モナドについての知見が得られることとなった。((7)から(20)まで) (7) モナドは随伴からできるし、モナドがあったら
先日、毎年恒例のなごや LT 大会 NGK2016B / 名古屋合同懇親会 2016 忘年会 で発表してきました。 机上の Kubernetes - 形式手法で見るコンテナオーケストレーション #NGK2016B from y_taka_23 www.slideshare.net 当日の動画は NGK 2016B LT #2 - YouTube から見ることができます。 ちなみに NGK での発表は 4 年連続 4 回目です。今回も含めてすべてモデル検査が題材になっています。 NGK2013B : Alloy ではじめる簡単モデル検査 NGK2014B : 猫でもわかる! モデル検査器 SPIN 入門 (ブログ記事) NGK2015B : AWS は形式手法の夢を見るか? - モデル検査器 Alloy によるインフラ設計 (ブログ記事) Kubernetes に関わる役者たち さすがに 5
前編の続きです。前編ではChan.Unagiには以下の欠点があることを解説しました。 読み出しを行うスレッドに対する非同期例外の扱いが面倒 データがすぐにGCされない 後編では、Chan.Unagiの欠点を克服したキューを作るやり方について解説します。 不要になったデータをGCできるようにする まずは簡単な方から解決していきましょう。 Chan.Unagiで読み出し終わったデータをMutableArrayから削除できないのは、Chan.Unagiがチャネル(書き込まれた値を複数のキューに書き込まれたかのように読み出す機能を持つ)であるためでした。 であるならば話は単純です。作りたいのはチャネルではなくキューなのでデータを削除すればよいのです。 具体的には、MutableArrayに入れるデータ型の定義に読み出し終わった状態を追加し、読み出し処理の終わりに、この値を書き込めば解決です。 この
この記事は以下のページに移転しました。 blog.morishin.me
“I don’t know what the programming language of the year 2000 will look like, but I know it will be called FORTRAN.” – Charles Anthony Richard Hoare, circa 1982 Fortran is rarely used today in industry — one ranking ranks it behind 29 other languages. However, Fortran is still a dominant language for the large scale simulation of physical systems, ie. for things like the astrophysical modeling of
Wolfenstein 3D – Gameboy Color On custom cartridge with co-processor Source code and hardware schematics are available on Github: https://github.com/agranlund/wolf Cartridge Rev.D The new cartridge revision is fully working and runs Wolfenstein just as good as the previous revision. It is identical to Rev.C in terms of functionality but use an ATF1502 CPLD instead of Nintendo MBC1. I can’t think o
はじめに iOSアプリ開発の主流は,Objective-CやSwiftを用いたネイティブアプリ開発です.HTML5を用いたCordovaや,UnityからiOSエクスポートするといった方法もあります.そのような中,Facebookの発表したReact Nativeでは,Virtual DOMで大きな注目を浴びたReact.jsと同様のスタイルでJavaScriptを記述することで,iOSアプリ開発を行うことができます. 一方で,Clojureの文法で記述したコードをJavaScriptにコンパイルするClojureScriptの世界では,Omと呼ばれるReact.jsラッパーが人気です.React.jsの仕組みはイミュータブルであることを根幹においているClojureと非常に相性が良いといわれています. React.jsのような仕組みを使えるReact Nativeと,React.jsのラ
Warning: This is the blog I wrote as a kid. Most of what is written here is probably wrong. Sat, Sep 17, 2016 What is a skip list? In short, skip lists are a linked-list-like structure which allows for fast search. It consists of a base list holding the elements, together with a tower of lists maintaining a linked hierarchy of subsequences, each skipping over fewer elements. Skip list is a wonderf
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く