数式をなるべく使わないベイズ推定入門第１３回 モヤLT発表資料
バックトラッキング、C++で、Prologも、Haskellでも - エンジニアのソフトウェア的愛情
「第7回オフラインリアルタイムどう書くの問題」を解いていて気がついたこと、学んだことを明日のじぶんのために、記録。 のんびり座りたい 〜 横へな 2013.2.2 いろいろ問題をコネているうちに、この問題はパタンマッチングで解けることに気がつきました。正確に言うと、最初にC++で解いたコードを読み直していて、パタンマッチングとバックトラッキングそのものだということに気がつきました。 マッチングに失敗したら条件を替えてもう一度最初からマッチングを試みる、というバックトラッキング。 以下、C++とPrologとHaskellでどうするか、整理してみたものです。 設問 まず、パタンマッチングの部分だけが見やすくなるように、「どう書く」の問題からいろいろ取り去ってより簡単な問題を作りました。 要素を格納する順序付きのコンテナを考える。先頭の位置は0とする。 コンテナ中にある指定された要素が3つ連続
Forbes の記事について
リンク Forbes Like We've Been Saying -- Radiation Is Not A Big Deal - Forbes Radiation doses less than about 10 rem (0.1 Sv) are no big deal, so says a new report from the United Nations Scientific Committee on the Effects of Atomic Radiation (UNSCEAR). The implications for Fukushima are critical. ダニエル・カール @DanielKahl フォーブズ誌：LNTはやっぱ、非科学的。<0.1Sv/年間はまったく健康に影響なしと、UNSCEARが発表。LNT主張はかえって、余計に心配させて健康異常を増やす。英
衝撃的なデータベース理論・関手的データモデル 入門 - 檜山正幸のキマイラ飼育記 (はてなBlog)
デイヴィッド・スピヴァックによる衝撃的なデータベース理論である関手的データモデル。どうしたらうまく説明できるか？ と色々と悩んでしまいますが、まー、書けるところから書き始めてしまいましょう。 さー、いらっしゃい、いらっしゃい。関手的データモデルの世界へようこそ。圏論の言葉は出てきますが、圏論の予備知識はほぼゼロでOKですよ。 [追記 date="翌日"]取り急ぎ勢いで書きましたので、不注意と早とちりが混じっていました。追記と取り消し線の形で訂正と注記を足しました。字句レベルの表現の変更は直接編集しています。 あとそれと、圏論の基本用語を知りたいときはコチラ、… って、……、ゴメン！[/追記] 内容： はじめに 本の購入のサンプル スキーマのグラフ表現 キーとか計算カラムとか 圏としてのスキーマ 関手としてのデータベース状態 テーブルの変化 自然変換としてのデータ操作 データベースに圏論が使
The Hardest Test I Ever Gave (C++) by Louis Brandy
So while attending the University of Florida, I was a TA for a variety of classes. One summer in particular I took on an extra job of teaching an intro to programming course for incoming engineering freshman. The course wasn’t for credit so it let me be a little, shall we say, creative. Since the class was taught in a computer lab, the course was really me giving a tiny lesson and them then doing
SPDY Protocol - Draft 3 日本語訳
この文書は「SPDY Protocol - Draft 3」の日本語訳です。 原文の最新版 は、この日本語訳が参照した版から更新されている可能性があります。 この日本語訳は参考情報であり、正式な文書ではないことに注意してください。また、翻訳において生じた誤りが含まれる可能性があるため、必ず原文もあわせて参照することを推奨します。 公開日: 2013-02-11 更新日: 2013-08-21 翻訳者: Moto Ishizawa <[email protected]> 翻訳協力: Shigeki Ohtsu 1. 概要 HTTP 実装のボトルネックの1つに、並列処理のために複数コネクションを必要とすることがあります。これは、接続確立のために追加で発生するラウンドトリップや、スロースタートによる遅延、そして1つのサーバーに対して複数の接続をおこなうことを避けるためのクライアントによるコネクシ
Star Wars Traceroute 徹底解説 - # cat /var/log/stereocat | tail -n3
Twitter で回ってきたのが VRF 応用ネタとして面白かったので読んでみた。時事ネタはすぐ風化しちゃうし、せっかく整理したのが勿体ないので書いておく。 某ネタフリがあったけど、暇だったので書いちゃいました。 きっとひかりさんが解説してくれる #自宅ラック勉強会 RT @_nigou_: @qryuu 作者のネタバレありますよ URL 2013-02-10 13:04:55 via HootSuite 元ネタ リンク先を見て欲しいんだけど、実行結果とスクリプトがないとわかりにくいのでここにもコピーしておきます。 Untitled — Star Wars Traceroute どうやってるかという解説とコンフィグ生成スクリプト $BASE="206.214.251."; $NUMBER=1; while ($NUMBER<250) { $VLAN=$NUMBER+199; $VLAN2=
Google Slides: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more
Random walk illustrated with D3 — Random notes
I’m playing with D3 and I’m impressed how easy it is to create visualisations with this library. Below is my first attempt: a visualisation of a random walk (see the code). The mechanism is simple: each step of the walk is made either in the left or the right direction depending on a result of a coin flip. After several steps, a destination point is marked and a new walk is started. If the simulat
あなとみー おぶ mrubyのJIT (その2) - miura1729の日記
前回の1.10001・・・は最初に証明された超越数の10倍でした。 私が積読してあることで名高い「人月の神話」には、つぎのようなくだりがあります。 私にフローチャートを見せられて、テーブルを見せないとしたら、私はずっと煙に巻かれたままになるだろう。逆にテーブルが見せてもらえるなら、フローチャートは大抵必要なくなる そういうことで、mrubyのJITの解説第二回目はデータ構造です。 よく言われることですが、mrubyには大域変数が無く代わりにstate構造体(mrb_state)を定義してそのポインタをほぼすべての関数に引数として渡すようにしています。このような構造はVMを複数作れるとか嬉しいことが多いのですが、mrubyのJITに関しても恩恵にあずかっています。この恩恵については後で説明しますが(伏線回収できるかな？どきどき)、mrb_stateにちゃっかりJITで使う変数も忍ばせています
A Language Without Conditionals
The more I play around with Swearjure (I’ve now been able to create a fully working quicksort), the more I appreciate certain kinds of programming constructs we today take for granted. However, I also realize that most of what we would believe are essential for ANY programming language to be Turing complete may not be needed if we take another set of programming constructs instead. Take conditiona
Neil Fraser: News: Python in Python
8 July 2012 Here's a fun little challenge. Re-implement the int() and float() functions of Python (or equivalents in your favourite language) without using calls to int, long, float, eval, or similar cheats. Sounds easy? It is quite easy; just a hundred lines of code for each function. But it is healthy to periodically remind ourselves of how high-level our languages have become. The entirety of m
CV Dazzle
NEW CV Dazzle Looks N°6, N°7. Developed for Designs for a Different Future 2020 to break convolutional neural network face recognition. © Adam Harvey 2020. CV Dazzle #CV Dazzle is a form of camouflage from computer vision created in 2010 as my masters thesis at New York University’s Interactive Telecommunications Program. Unlike traditional camouflage, such as disruptive-pattern material, that hid
Denis Papathanasiou
Denis Papathanasiou All the Pieces Matter March 2018 • Welcome to the personal web site of Denis Papathanasiou. This page is a temporary placeholder, while I re-evaluate what to do with this site and domain. Posts Archive, 2008 — 2015 "Plastics may be the reason for human existence" Object Orientation in C (without the ++) Simulating Common Lisp Macros in Python: Higher Order Functions How to Inst
Mathics
Components Mathics has a modular design, allowing to reuse parts of it and run them with tailored dependencies and minimal footprint. To run the full Mathics, a complete Docker image is available at DockerHub. To install everything locally without Docker, use the Mathics-omnibus Python package available from the Python package index. The pieces that make up Mathics are described below, along with
The Algebra of Algebraic Data Types, Part I - Chris Taylor
I gave a talk on this subject at London Haskell in November 2012. A video of the talk is on YouTube and slides are on GitHub. In this series of posts I’ll explain why Haskell’s data types are called algebraic - without mentioning category theory or advanced math. The algebra you learned in high school starts with numbers (e.g. 1, 2, 3 …) and operators (e.g. addition and multiplication). The operat
__proto__の挙動からJavaScriptエンジン判定 - hogehoge @teramako
function getJSengine() { if (!("__proto__" in Object.prototype)) { if (typeof Object.getPrototypeOf === "undefined") return "JScript(IE8-)"; else return "JScript(IE9+)" } var o = JSON.parse('{"__proto__":null}'); if (!(o instanceof Object)) return "V8(GoogleChrome26-)"; if (Object.getPrototypeOf(o) === null) return "JavaScriptCore(Safari)"; if (Object.prototype.hasOwnProperty("__proto__")) { var d
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
SymPy vs. Maxima
Hit By A Bus: A Supercut by Harry Hanrahan
http://blog.inouetakuya.info/entry/20130211/1360570283
BIOLOGICAL MECHANISMS OF RADIATION ACTIONS AT LOW DOSES WP_12-57831.pdf
Google Code Archive - Long-term storage for Google Code Project Hosting.
GitHub - jrjohansson/qutip-lectures: Lectures on QuTiP: slides and ipython notebooks
Кидание магнита в трубу из меди.
Using GHC's RebindableSyntax for a dynamic state "Fauxnad" | Brandon Simmons' website
http://www.256shadesofgray.com/assets/pdf/report.pdf
The Haskell programming language on Vimeo
Private Site
A simple automaton
Jonathan Sterling – Proving Type Inequality in C++