Tora Blog

雨の日の　ゴージャス料理　安い肉

やっぱ俳句って、文法構造とかわりとどうでもよくて、“For sale: baby shoes, never worn"的な、非常に少ない(3~4 …

辞書で「気にくわない」って古文でなんというんだっけ？と思って引いてみると、「あいなし」が出てきた。そこで「あいなし」の「不似合いだ。不調和だ。」という文の例文として、

枕草子　木の花は

「げに、葉 …

Coqのすごいのは、inductionといって何かしらの概念の定義（どういったものを用意するとそれが作れるか）から、自動的にそれにまつわる公理が定義されるところ
これは自然数の帰納法を一般化したもの …

ひじょーーーーーーに上から目線で今までにプレイしてきたフリーゲームの中で「これはすごい」と思ったものを列挙していく。
遊んだ（or遊び始めた）順なので昔のやつほど感情が希薄…

elona …

開発するかは不明

Propyan!!!

・スタイルシステム あるプログラムが非常にプリミティブなものとして記述されている。 それを様々な形式に表示することができる(CLI, GLI, …

システムのHook

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

1. そのまま通す(元々のロジックに委譲)
2. throw
3. 入力を元に別の値を返す

の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と …