Tora Blog

掘り出しめも Hookとは何か？？？＞_＜

システムのHook

Hookする地点で…入力を元に…

の3つが考えられる。

HF SFの観点だ …

base64形式:
- p2pkh (20 bytes key hash) - 1 から始まる (testnet: n/m)
- p2sh (20 bytes script hash) - 3 から始ま …

表現の自由とはとても近代的な概念だ。「理性とは、それだけでは外部に影響することもないし、外部から影響されることもない。現実から切り離されている概念だ」という近代の公理から、表現の自由は導き出されてい …

Haskellという言語で使えるWebアプリケーションフレームワークの一つに、Reflexというものがある。それを使ってSPA(Single Page Application)を実装してみる。SPAと …

library EC {
    uint constant p = …

言語が思考を制限する「いい例」 … 謝罪に当たる語がないぽずぃてぶしんきんぐ！

似ているものを対比することで、〇〇とはなんだろうかを考える

自然言語や思考のプロセスとDNAのプロセスは …

情報世界とは、いわば「情報の生息地」であり、そのなかで特 …

Ethereumは仮想通貨の一種。単位はEther。現在のレートは1Ether = 7万円くらい。他の仮想通貨と同様に、コンピューター同士が通信することで …

型推論器 f : プログラム X -> 型 T

ゲーデルの不完全性定理とは、fが全射でないということ。

つまり、全てのプログラムxに対して$ f(x) \neq t $であるような、型tが存在す …

20XX年n月m日、とある匿名掲示板の、政府や政治が信用できなくなっている今、新たな民主主義の在り方を考えようという趣旨のスレッドに、とある投稿がなされた。その内容は諸事情によって話せないため、仮にこ …