【KORG M1】 Legacy Ruins 【PFNW音楽】
Pixiv Fantasiaの私的イメージトラックとしてKORG Legacy CollectionのM1のみで制作。絵は曲と関係ないです曲・絵:セイ mylist/11281901 Twitter : @sei_foresta 絵⇒im3035629SoundCloud⇒http://snd.sc/ZzvopzPixiv⇒http://www.pixiv.net/member_illust.php?mode=medium&illust_id=35132152コモンズ対応しました⇒nc73993KORG M01/M1自作曲リンクLegacy Fantasia sm20414803Pleroma nm17509157 Sketch#1 nm13000783 Sketch#2 nm13026588 Sketch#3 nm13051057 Sketch#4 nm13139929
今日は「データベースは圏なんだよ！の会」の日です - Pixel Pedals of Tomakomai
中原市民館に来ております。データベースは圏なんだそうです。SGL読書会の姉妹イベントです。 Databases are categories by Spivakさん / @bonotakeさん Spivakさんのスライドの解説です。 情報の世界の coherence の欠如を解決するためにフレームワークが必要 数学 → 強力な言語。関数型言語、λ計算、ツリーやグラフ、RDB 圏論で情報をモデル化できる 圏はデータベースのスキーマ。モデルは関手。 圏と計算機科学は近いもの 圏とは Ob、Arr、s(ource)、t(arget)、p(rimary = identity) 圏の例: Set、Hask、A monoid 関手の例: 恒等関手、潰す関手、Hask → Set、単純な例、Set→Cat M-Set : M → Set という関手。m : S → S をactionと呼ぶ 有限状態オー
数学メモアール 第4巻, （2004）
16 9 17 i 2002 5 6 10 — . . , [TUY] Lie , P1 b sl2 , . 3 . (1) (OPE) (2) (3) factorization property (1) 1 , 2 , 4 . (2) 4 , (3) 7 . . 1 , 2 , OPE . 3 , P1 n . 3 , 4 . , 5 . 6 , 7 . 6 , 7 factorization property . , 1 , . , Lie . Lie 2 , [K] . . 5.2, 7.9 . 5.2 3.4 1 , 7.9 , . 6.21 , 6 , 7 . , . . , , . 1 [KL] iii 1 1 1.1 Heisenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
数学メモアール電子版の光
数学 (519) 物理 (194) 数理物理 (111) 相転移プロダクション (59) 数学教育 (54) 数学者 (47) 作用素環 (34) 場の量子論 (32) プログラミング (31) 量子力学 (31) 関数解析 (24) 幾何学 (23) 確率論 (23) 統計力学 (22) 解析学 (22) 線型代数 (20) イベント (19) 作用素論 (19) 微分方程式 (17) 数学基礎論 (16) 数論 (16) 代数幾何 (14) 書評 (14) 表現論 (13) 代数解析 (12) 代数学 (11) 量子統計 (10) 工学 (9) 統計学 (9) Hilbert 空間から始めるよく分からない数学 (8) 位相空間論 (8) 偏微分方程式 (8) 化学 (8) 熱力学 (8) 生物学 (8) 相転移 (8) 科学 (8) 超準解析 (8) 関数論 (8) 可積分系 (7)
Jupyter Notebook Viewer
In our previous discussion, we saw that imposing bandlimited-ness on our class of signals permits point-wise sampling of our signal and then later perfect reconstruction. It turns out that by imposing sparsity we can also obtain perfect reconstruction irrespective of whether or not we have satsified the sampling rate limits imposed by Shannon's sampling theorem. This has extremely important in pra
mruby introduction -- jinbocho.rb #01
オブジェクト指向で考える アプリケーションアーキテクチャ設計 / Object-Oriented Conference 2020
mruby組み込み活用テクニック(1) ―― mrubyのビルド・ツールRakeを知る
組み込み分野向けのRuby処理系（実装）であるmruby（eMbeddable Ruby）は，オープン・ソースなので，自前でビルドする必要がある．当初のmrubyはビルドにGNU makeを用いていたが，2012年の秋ごろからはRakeというビルド・ツールを用いるようになり，組み込みソフトウェア開発に必要なクロス・コンパイル環境も充実してきた．本連載では，機器に組み込むことを目的とした際に必要となる，mruby のビルド環境について解説する．（筆者） ●mrubyのビルド・ツールの変遷 mrubyは，2012年4月20日に公開された若いソフトウェアです．しかし，オープン・ソース開発の気流に乗り，めまぐるしく進化しました．ビルドするためのツールも，当初はGNU makeでしたし，一時期はCMakeの採用が検討されたこともありました．そして，2012年の秋ごろからはRakeが採用され，現在に
Functional Programming in Scala の感想 - xuwei-k's blog
http://www.manning.com/bjarnason https://github.com/pchiusano/fpinscala 一年ちょっと前にblog書きましたが Scalaz の作者の人達が書いた "Functional Programming in Scala" という本がでるらしい 14章のぞいてほぼ完成したので、感想書きます。MEAP v9の時点です。ちょっと長いですよ。 まず、全体を通していえるのが、Scalaの本ではなくあくまで関数型プログラミングの本だということです。それは本文の最初の方にも書いてあります。 この本だけ読んでも、Scala自体にはあまり詳しくなりません。Scala自体については、必要最低限の文法だけを随時説明してます。 逆に、(英語が読めるなら)Scalaの知識がほぼゼロだとしても、大体読めるのではないかと思います。 また、Scalazの本で
Obscure C++ Features - Made by Evan
This page is a collection of obscure C++ features, gathered over the years as I've explored different corners of the language. C++ is very big and I'm always learning more about it. Hopefully you'll learn something from this page even if you already know C++ pretty well. The features below are roughly ordered from least to most obscure. What square brackets really mean Accessing an element of an a
JavaScript.Next Returns
JavaScript : What is it really? AND Some new features in ES6
Linux on an 8-bit micro? - Dmitry.GR
UPDATE #4 Some fixes in GPIO,CPU,and LCD code, use SDL for display in PC build UPDATE #3 Apr 16, 2012, 2am PDT: Small schematic fix (SD card's SCK & VDD were switched) UPDATE #2 Apr 3, 2012, 1am PDT: new source code archive uploaded. Sped up emulator (6.5KHz->10KHz) using FPM mode on RAM & changed icache config, updated porting guide, included kernel image & new smaller ramdisk, new full image UPD
Python Conversion
python_conversion.md Python Number Conversion Chart From To Expression 45 "45" str(data) 45 "101101" bin(data) 45 "2D" hex(data) 45 "\x00\x00\x00\x2d" struct.pack('!i', data) "45" 45 int(data) "45" "3435" data.encode('hex') "101101" 45 int(data, 2) "2D" 45 int(data, 16) "2D" "\x2d" binascii.unhexlify(data) or data.decode('hex') "\x00\x00\x00\x2d" 45 struct.unpack('!i', data)[0] "\x2d" "2D" binasci
Physics for JavaScript
A two-dimensional port into JavaScript of the popular Traer Physics Library from Processing. Downloads Development Version Uncompressed with comments about 25kb Production Version Minified using Closure Compiler about 12kb Or check out the source code on github. Purpose There are many great physics engines out there for JavaScript, so why go and make this one? And, more importantly why would I use
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Modelling Chess Positions
http://mathsoc.jp/publication/SugakuMemoirs/sugaku-memoirs-03-1.pdf
http://mathsoc.jp/publication/SugakuMemoirs/sugaku-memoirs-02-1.pdf
http://mathsoc.jp/publication/SugakuMemoirs/sugaku-memoirs-01-1.pdf
Vincent Hanquez 2013-03-03-playing-with-cabal-lib
Ideas - O'Reilly Media
Tenma 72-7740 multimeter: review and teardown
Formal representation of an abstraction hierarchy
Using windbg to beat my dad at chess
GitHub - allr/purdue-fastr
GitHub - jamesmoriarty/scorched_earth: Scorched Earth clone in JRuby with no dependencies.
https://qiita.com/items/16810db4bc0daf1b5a11
Bootstrapping virtualenv - Eli Bendersky's website
GitHub - mixi-inc/AndroidTraining: Training course repository for android app development
GitHub - liquidprompt/liquidprompt: A full-featured & carefully designed adaptive prompt for Bash & Zsh
Google Code Archive - Long-term storage for Google Code Project Hosting.
Redirecting…