掘り出しめも 生物
言語が思考を制限する「いい例」 … 謝罪に当たる語がない ぽずぃてぶしんきんぐ！
似ているものを対比することで、〇〇とはなんだろうかを考える
自然言語や思考のプロセスとDNAのプロセスは …
»文脈的情報世界構想
Slideshare: https://www.slideshare.net/kawarusosu/ss-95244635
定義 - 情報世界
情報世界とは、いわば「情報の生息地」であり、そのなかで特 …
»Ethereumめも
スマートコントラクト / Ethereum
Ethereumは仮想通貨の一種。単位はEther。現在のレートは1Ether = 7万円くらい。 他の仮想通貨と同様に、コンピューター同士が通信することで …
».
型推論器 f : プログラム X -> 型 T
ゲーデルの不完全性定理とは、fが全射でないということ。
つまり、全てのプログラムxに対して$ f(x) \neq t $であるような、型tが存在す …
»おはなし
20XX年n月m日、とある匿名掲示板の、政府や政治が信用できなくなっている今、新たな民主主義の在り方を考えようという趣旨のスレッドに、とある投稿がなされた。その内容は諸事情によって話せないため、仮にこ …
»solcをブラウザで使うときに詰まった点
SolidityのコンパイラはC++で書かれている。JSでは、Emscriptenを用いてsoljson.jsという名前のJavascript(asm.js)に変換した上で使っている。そ …
»ローレンツ変換まとめ
ある一点から、光が（双方向に）放出される。この点をXとする。同時に、高速の半分の速さで物体が動き始める。この時、光と物体の位置関係をグラフで表すと以下のようになるはずだ。
ここで、物体とそれぞれの光 …
»濃度とプログラムに関するメモ
二次元状に無限にタイルが並べられている。それぞれに固有の自然数のIDを割り当てる時、らせん状に0, 1, 2, 3, …としていけば良い。実際、$ |\mathbb{Z}^2| = …
»Nodeの闇其の壱
Node.jsでは、os.platform()を呼ぶと、実行しているOSの種類がわかる。
この時、Linuxの場合は'linux'、Macの場合は'darwin'、そしてWindowsの場合は(64ビ …
infuraを使うときに詰まった点
INFURAではfilterが使えない。 例えば、下記のコードは動かない。
var web3 = new Web3(new Web3.providers.HttpProvider( …