Tora Blog

真核生物の翻訳において、教科書的には「mRNAの5’ GCapからMet tRNAが結合したリボソーム小サブユニットがmRNAをスキャンし、最初のAUGで停止して翻訳を開始する」とされる …

古来死後の世界。未知の世界というものは海の外に見出されてきた。しかしながら近年のグローバリイズムやテクノロジイの発達によってもはや海の外は未知ではなくなり、現実的なものとして捉え直されてきた。そうなる …

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

やっぱ俳句って、文法構造とかわりとどうでもよくて、“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 から始ま …

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