ポエム
先日、ふっと思い浮かんだビジュアルなんですが。 強いて言えば「脳内経済」「脳内株式市場」のようなものでして。 なんか楽しいことがある。ドーパミン的なものが放出される。経済が沸き立つ。みんなハッピー。そ …
»ポエムその１
ゲーデルの不完全性定理について色々と調べていたときのこと。
なにやら、ゲーデルの不完全性定理が哲学の世界で取り上げられたことがあったらしく。その度に「いやそれちげーだろ」との声がインターネットを探して …
»ポエムその３
インターネットなどによって、政治趣向の「分化」が進み、民主主義の限界がきている。40パーセントは伝統的な保守・リベラルだ、しかし残りの60パーセントは、微小なクラスタがお互いに影響され合いながらひしめ …
»ポエムその４
多細胞生物になることで、「万人の万人に対する隷属」と同じ話で、逆説的にもとの個体にとっては「負け」になってしまった。
細胞同士が集まって生きることを選んだ結果、目的が個体(=細胞)の存続ではなく、集合 …
»Simplest bittorrent client
WebTorrentというライブラリを使えば、javascriptで簡単にbittorrentクライアントを構築することができる！！！！！！！！！！
<!DOCTYPE html> …色々メモその１
http://nineties.github.io/category-seminar/
これを読んだらちょっとだけ圏論がわかった気がする。
Haskellのforallは三通りの解釈ができる。
(1) …
»[en] An IFTTT applet to upload my Facebook posts to a blockchain network
This article will show how to create an IFTTT applet that uploads Facebook posts to Rinkeby, one of …
»Wine 1.7.xでMidiが再生されない時
Wine 1.7.xで、ゲームのMidi音声が再生されないことがある。
そんな時は、winetricksでgmdlsとdirectmusicを入れるといいらしい。
しかしWine、よくわからないのは、 …
»Haskell Proofs
{-# LANGUAGE RankNTypes #-}
-- [Definitions]
-- Not
newtype Not p = Not (forall q. p -> q)
-- …Hello World
てすと。
»