ゆめにっき：？？？
ゆめにっき：？？？
フィールド上にたくさんボタンがあって、それをクリックしていろんな場所に行くruinaみたいなゲームをやってた。
~ ~ ~
学校で先生2人があいちトリエンナーレの話題をしている。家 …
»ゆめにっき：ネオ予言
最近流行りのゆめにっきといふものをしてみんとてどうたら
私の学校には特定の日のみ出現する扉がある。（ハリーポッターぽい！）そこではなんか先生が最新の数学のとある理論についての講義をしてくれる。自分は途 …
»メモ : mach_vm_*をIOSでつかう
じゆうけんきゅう : かいしこどんのまえにあるatgのかず
真核生物の翻訳において、教科書的には「mRNAの5’ GCapからMet tRNAが結合したリボソーム小サブユニットがmRNAをスキャンし、最初のAUGで停止して翻訳を開始する」とされる …
»ムーンショット型研究開発「死後の世界の内部エンクロージャを用いた呪術的護国システムの開発」
古来死後の世界。未知の世界というものは海の外に見出されてきた。しかしながら近年のグローバリイズムやテクノロジイの発達によってもはや海の外は未知ではなくなり、現実的なものとして捉え直されてきた。そうなる …
»俳句 1
雨の日の ゴージャス料理 安い肉
やっぱ俳句って、文法構造とかわりとどうでもよくて、“For sale: baby shoes, never worn"的な、非常に少ない(3~4 …
»脳内スタックトレース「あいなし」
辞書で「気にくわない」って古文でなんというんだっけ？と思って引いてみると、「あいなし」が出てきた。そこで「あいなし」の「不似合いだ。不調和だ。」という文の例文として、
枕草子 木の花は
「げに、葉 …Coqメモ
Coqのすごいのは、inductionといって何かしらの概念の定義（どういったものを用意するとそれが作れるか）から、自動的にそれにまつわる公理が定義されるところ
これは自然数の帰納法を一般化したもの …
面白かったフリーゲーム
ひじょーーーーーーに上から目線で今までにプレイしてきたフリーゲームの中で「これはすごい」と思ったものを列挙していく。
遊んだ（or遊び始めた）順なので昔のやつほど感情が希薄…
elona …
»Prophyan 開発日記 1
開発するかは不明
Propyan!!!
・スタイルシステム あるプログラムが非常にプリミティブなものとして記述されている。 それを様々な形式に表示することができる(CLI, GLI, …
»