夜報s on

26-07-22

Wed, 22 Jul 2026 00:00:00 +0000

https://umoupen.app/#

プロットが同情路線でエロかった。こんな犯罪者の肩を持っていいんだ。安倍晋三サイドも産まれたときから統一教会と関わらないといけなかったわけで、、、

映像を見てて思ったのは、山上を憎めない雰囲気があるのは弟だからなんだなと思った。

家庭環境が悪いと兄妹は同じ運命を背負うようになる。特に兄の末路は弟の人生のプロトタイプになる傾向がある。良いパターンだと例えば、兄がニートになって、弟が就職に対する認識を改めたりする。

しかし彼は「兄は自殺したけど、同じ境遇のお前はどうする？」と突きつけられたわけだ。

山上も含めて青葉や女性配信者を刺殺など40代付近のジジイのキチガイ事件多くて、改めて凄い世代だよね。多分だけど、私と同年代は良い意味でも悪い意味でもそうならない。

26-07-21

Tue, 21 Jul 2026 00:00:00 +0000

https://opencode.ai/

これがコスパ良かった。

26-07-19

Sun, 19 Jul 2026 00:00:00 +0000

8番出口、200万本(2025時点) ← 雑魚
めっちゃカメレオン、1000万本突破 ← 雑魚
?サクラスクールシミュレーター、3.5億(月間+290万DLを8y維持) ← 神

ガルソフトが日本インディーの神なのは言うまでもない。映画化しろ！

Undertaleの10倍、8番出口の100倍、OMORIの150倍も売れている(ガバガバ試算)。しかも買い切りじゃなくて広告+アプリ内課金で、パブリッシャーが絡んでない分、tobyfox級に稼いでいてもおかしくない。

2004年: ガルソフト開発合資会社 （合資会社）
 ↓
2023年6月: ガルソフト合同会社 （合同会社 / LLC）
 ↓
2025年12月: ガルソフト株式会社 （株式会社 / KK）

このように会社としての信用を上げ続けている。

そして事務所の住所の遍歴などを見ると徐々にグレードアップしており、前は住宅街付近だったが、去年にBAYPOINT幕張ビルに転居している。

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%83%A0%E3%83%BB%E3%83%99%E3%82%A4%E3%83%9D%E3%82%A4%E3%83%B3%E3%83%88%E5%B9%95%E5%BC%B5

明らかに一発当てて成功し、成功し続けているのだ。

私はサクラスクールシミュレーター国内最強論者だ。日本のインディー界隈がこのゲームを頑なに認めないことに滞りを覚える。ガルソフトがたった2人でこっそり何億も売り上げてるのをもっと注目すべき。これはシカトされたフラッピーバードなので誰かに取材してほしい。

https://garusoft.com/

この形でtobyfox級に売り上げてる

売上に関係しない見栄を排除して、必要最低限の動きのみをする。これはすごいことで、私ならゲームのUIを豪華にしたり、宣伝したりスケベをしてしまう。しかし、この会社の最近は「SNSで1年ぶりの修正報告」だ。なんと1年ほどネット上の発信が無かった。格が違う。

26-07-18

Sat, 18 Jul 2026 00:00:00 +0000

ニコニコのAI予測でコメントを複製する機能が意味不明で良い。存在する意味が無い。

総再生数推移がこのまま線形的に勧めば、10年以内にマイナスに踏み込むから動向が気になる。

コンピュータは凪ある永遠の趣味なので、私は今後も続けられる。OB

素朴なコンピュータの使用ほど面白いことはない。何か特定の活動ではなく、コンピュータから派生する全だ。

少し前に型検査を自作してみて、理論的な部分も少し入門できた。型理論の研究者が素人から入門するまでをまとめてくれていて役に立ったので、気になるなら参考にすべきだろう。彼のサーベイ論文など全体的に著者本人の足跡を辿れるように線が引かれいてる物が多くて本当に有用だった。彼の指南無しで双方向検査を理解できるまではやれなかった。

https://cha.fan/articles/5u9DV2LWWcjgJ8c7ha7T

訳して無機質に列挙してみた↓

1. 静的型付き関数型言語（Haskell推奨、OCaml/SML可）を習得する。代数的データ型を型の加法・乗法として、集合の和・直積に対応させて理解する。

2. ラムダ計算（STLC、Hindley-Milner）の型システムの構造を理解する。型推論アルゴリズムの習得は不要。

3. 依存型を持つ言語（Agda / Lean / Idris2 / Arend）を表層的に学習する。rewriteの概念と等式型に対する直観を形成する。厳密な理解は不要。

4. 型理論の記法を習得する。対象：シーケント計算・自然演繹の判断形式、横線記法、Γ、⊢、コロン、代入 u[v/x]。STLCの型検査規則（少なくともラムダバインダ関連）を暗記で再現できる状態にする。任意の新規構文に対して代入操作の定義を導出できるようにする。証明論（⊨等）の学習は不要。

5. 形成規則・導入規則・除去規則・計算規則・η-等価性・宇宙階層を理解する。

6. 入門的な論文を読む。対象例：oktt（宇宙部分を除く）、arXiv:2103.15408、quantitative type theory。双方向型検査の構造と、それが双方向である理由を理解する。この段階でelaborationや圏論に着手しない。

7a. **設計方面**：
 - 圏論の基礎：前層、引き戻しを理解する。
 - 証明論における「モデル」＝型理論における「意味論」の概念を理解する。
 - デカルト閉圏（CCC）がSTLCのモデルとなる理由を理解する。
 - 文脈圏を学習する（Andrew Pitts, *Categorical Logic* 第1–2章）。代入と文脈の圏論的モデル化を理解する。
 - CwF（categories with families）を学習する。CwFが型の値への依存を記述でき、CCCでは不可能である理由を理解する。LCCC（局所デカルト閉圏）は非推奨：型が値に依存する本質を捉えておらず、対応する型理論が外延的。
 - CwFの応用を学習する。例：QCwF（quantitative type theory論文）。QCwFがquantitative type theoryのモデルとなる理由と、消去に用いられる関手を特定する。
 - Grothendieckファイブレーションを理解する。概括圏（comprehension category）を理解する。CwFおよびCwA（categories with attributes）の一般化として位置づける。
 - CwFにおける各型（Π型・和型・積型）の表現を理解する。
 - CwFにおける宇宙多相の表現を理解する。2種の定式化：CwU、およびN→CwFの関手にlift操作を定義する方式。

7b. **実装方面**：
 - elaborationの概念を学習する。参照：Mini-TT、LambdaPi.pdf、arXiv:2105.14840。conversion check、spine、telescopeを理解する。
 - de Bruijn index、de Bruijn levelを理解する。
 - 簡易な依存型理論を実装する。要件：Π型、sum type、単変数・非ネストのパターンマッチング。検証：Leibniz equality関連の定理の証明、自然数の加法交換律の定義と証明。複雑なパターンマッチングには着手しない。
 - 暗黙引数の脱糖と求解を実装する。参照：elaboration-zoo。pattern unificationの解決対象と実装を理解する。
 - 多変数・ネスト許容のパターンマッチングのelaborationを実装する。検証：indexed赤黒木（色・黒高さを型にエンコード）の記述。forced patternの必要性を確認する。
 - 型クラス、宇宙多相を実装する。
 - 既存の定理証明器のコード・論文を読む。大規模：Agda、Arend、Idris2、Lean4。小規模：[ditto](https://github.com/ditto/ditto)、[sixty](https://github.com/ollef/sixty)。

私は7a,bの最初辺りまで理解できた。型理論は何を勉強するか迷走する時間が多いとネット上の雰囲気を感じた。

26-07-12

Sun, 12 Jul 2026 00:00:00 +0000

linuxはいいぞ

日常となって久しいが、arch linuxは良いOSだと言える。いやlinuxとは「windowsへの憎しみ」で出来ているからして、その差分に救われるのだ。

windowsとの差異を列挙する。

ウィルスバスター

愚かなwindowsユーザーは知らないだろうが、linuxユーザーはウィルス対策ソフトを全く使わない。なぜならウィルスバスターとはある意味でマルウェアと同じ挙動をする。そして「怪しいファイルを実行しない」これが本質的なウィルス対策なのだ。

エコシステム

私はターミナル愛好者なので、愚鈍なウィンドウ画面を使わず、タイル型ウィンドウマネージャを使っている。利点は常にターミナルに打ち込めるのでエコシステムのアップデートを明示的に行える点にある。

archユーザーの朝はこのコマンドを打つところから始まる。

sudo pacman -Syu

これでcoreやインストしてるソフトが最新版になる。愚かなwindowsのように強制的なアップデートなど無い。いつでも自分のしたい時に、どれでも行える。

Configuration as Code

愚かなwindowsや下賤なプロプライエタリはUIで設定を変更することになるだろう。これはソフトウェアごとに仕様が異なり、文字が指す意味も一致しない。複雑な設定がUIに埋め込まれている時の難しさに気が狂う経験を一度はしたことがあるだろう。

UIの構造は説明しにくい上に、変更が面倒臭い。消したら展開されていた表示をもう一度辿らないといけない。気が狂った経験が無いのであるならば、windowsのレジストリの設定を参照すべし。しかもwindowsに限ってはそもそも変更できない要素がある。これはwindowsがゴミである決定的な理由だ。自由がない。

linuxの場合、設定はコードとして記述できる。これの素晴らしさはGrepできる点に尽きる。検索すれば、その場所で即刻変更できる。

AIと相性がいい

AIが発展した現状、configの仕様を読み込ませれば、要求した設定全体をコードとして出力できる。全ての設定がテキストで読み込まれるので、ある意味、初心者でもAIによってlinux全体の設定を思い通りに設定できる。

愚かなwindowsでエラーが起きるとUIにテキストが表示されて、エラーと対処が分断されるので、トラブルシューティングが意味不明になる。

しかしlinuxならエラーはターミナル上で解決できるから、エラーメッセージをコピペして渡し、AIに解決策を考えさせればいい。 linuxでは基本的にpathとfileが一致し、適切なデータ構造の中に適切な文字列があれば解決する。もうlinuxユーザーはAIによって、エラーの対処は5分以内に解決できるようになっている事実は知っておくべきだろう。

LLMのおかげでlinux活動は死ぬほど快適になっている。10年前の認識でいたり、とっつきにくい印象があるなら改めるべきだ。テキストで設定できる恩恵を全力で受けているので、色目無しでlinuxはwindowsよりも使いやすくなっている。

設定させていただきありがとうございます！

windowsは好きに設定できない。この時点で異論の余地がなく産廃。そして勝手に動く。死に晒せ。

windowsがクソなのは思想ではなく純然たる事実だ。これに反論があるなら「強盗に入られて文句言うな」レベルで理不尽だ。

要するに俺の計算機に何を計算させるかは俺が決めるだ。AIの使用の是非や言論の自由などの議論も全てコンピュータの自由に収斂できる。どうせAIを使わなくてもadobe使うような連中の下らない議論だろう。何よりも計算機の自由が重要だ。

ヤニねこが面白かった。１話だとヤニ子と妹子だけだったけど、2話でヤク子とハメ子が出てきたから悲惨さが無くなったな

漫画は惹かれなかったけどアニメは違った。なんでだろう？

私も性能的には明確に「終わってる」部類の人間なので、ヤニねこのロジックが癒しだ。言いたいことは多いけど、やはり運命とは克服するものではなく、受け入れるものだから…

『これ描いて死ね』『マジック＆ナイツ』みたいな指向に生を見出すよりも、『ヤニねこ』『るろうに剣心』のように生に指向する方が圧倒的に理解できる。基本的に、淘汰圧に対して生きることの施策は楽しいからね。

(2026-07-16 06:37:31)

漫画も当たり外れあるけど、40話以降は安定して面白い。

アニメはエピソードの取捨選択とつなげ方が上手い。序盤のヤニねこは面白くないというか、ズレている内容が多い。 Aパートのつなぎ方はもはやDJだ。40話以降はズレが戻ると感じた。原作は掌編以下の内容で、中編以上の質量が無い。他の作品と比較した時の違和感はここで、捨てていると言っていい。

個人的にきららの4コマ形式とも質感が違うし、子どもが溺れている話とか描写不足すぎてショックを受けた。これがSNS漫画ですか。

端的に言えることは率直に言ったほうがいいので、作品の感想が書けない。今後は控えよう。オタクが膨らませたnoteみたいな衒学文章読むと脳が萎縮する。小さくなった脳は元には戻らない。

転職してから入金力が増えたので最高だ！前はよわよわ先生よりも年収が低かった。

ひより「」

収入が増えても、余剰金の全額をインデックス投資に入れるので生活は変わらない。

インデックス投資を勧める時に「20年後に二倍になるよ〜」みたいな勧め方はピンとこないと思う。 100円が105円になるのと、1億が1億500万になるのは同質で、生活は定数だから、ある時点で複利が生活費を超えるから働かなくて良くなる。それが「20年後に2倍?になる」道中で起きる利点だ。

葬送のフリーレン最終回、最後の地にて時間凍結されたヒンメルの精子を、フリーレンが「時間を進める魔法」で解凍し、妊娠する(フリーレンの時間もヒンメルの死から進み始めるというダブルミーニング)。この展開以外は認めない。

『才女のお世話』が2020年連載開始なのが信じられない。どう考えても2010年だろう…

仕事してると自分の報酬系がぶっ壊れていることが利点として働きまくるので得してる。生きづらいレベルが天元突破して、逆に生きやすい。慣れで悪意に鈍感なのが大きい。そしてプライドが無い。さらにストレス耐性が高く、しかも肉体負荷にも強い。ゴキブリ、いや「うんうんまりさ」なのかもしれない。仕事で何が起きても、報酬で抽象化して解釈するし、ミスしても会社が損すると嬉しい(どうせいつか辞めるし)。さらに本音を絶対に話さないようにしている。

仕事の目的ってどう考えても「全てにおいて搾取されないこと」なんだけど、同僚の認識を見てると洗脳状態だ。

例えば

仕事をしても手取りが得られない
労働後に疲労が蓄積する
労働でストレスを感じる
サービスをしようと洗脳させる
自分の時間が取れない
自己開示してしまう
本音で話してしまう

などなど、こういったことは避けないといけない。私の場合、12時間の肉体労働で全く疲労もストレスも感じない状態を維持できるようになったので、無敵感が半端ない。それでいて残業があるので１日の給料は圧縮できている(最善ではないけど)。私の周囲は目が死んでいる。

2607

Thu, 09 Jul 2026 00:00:00 +0000

26-07-08

Wed, 08 Jul 2026 00:00:00 +0000

凸ラバ、√水仙読了

√水仙だったはずがいつの間にか√清楓だった。

凸ラバにハズレ無し。

好みとして、作者が作品の要素がタテ(順序通りの体験)からヨコ(要素とプロパティと関係性だけの空間)にできて、かつ情報が外部装置で管理されている作品が好き。制作における記憶の外部装置が完全でない作品を読んだ時の徒労感は虚しい。ライターに信用があるのはここだ。

その点において、凸ラバは予定調和をバキバキに感じるので好みでした。やれるだけタイムラインに乗って、必要な分だけ尾がついて終わる、そんな謙虚な作品だ。清楓が本懐を消費して散ったのでポイント高いです。

?26-07-09 | ?26-07-06

26-07-07

Tue, 07 Jul 2026 00:00:00 +0000

↓ビビるやつ追加してみた

26-07-07 | ?26-07-05

26-07-04

Sat, 04 Jul 2026 00:00:00 +0000

凸ラバ、√桜と√ソフィアを読了！PEAK！！！

たくさん🤓スマイルさせてもらいました！

絵とか創作事に関心があるから真の創作である「ラノベ１冊分で完結する物語(8万字前後)を書いて、感を動させる程度の能力」について取り組む気になってきた。

その他は所詮気晴らしなんだよな。『本当の創作』というのは、女の子が斬首されて胃液を逆流させたり、橘ありすやイリヤスフィール・フォン・アインツベルンが猫耳マイクロビキニでえっちするイラストを描いたり、家畜化された人間を解体して丸焼きにする小話、恐竜化したブルアカで政治的主張をしたり、pixivにあるインフレした催眠抜き小説、しぶりん監禁、AI画像、崇韓SSのことだ。前から理解していたが、私は現実を見ないといけない。今までしていたことは何もかも意味がない。理解していたが覚悟がなかったので門前でうろうろしていた。

ネットですらコミュ症な人が創作をするには、賞レースに参加するしかないので適当なレースに応募でもいつかしようと思う(いつか)。賞レースに執着するのって結構な沼らしく、ネットには香ばしい文章が多いのは知っている。

?26-07-05 | 26-07-03

26-07-03

Fri, 03 Jul 2026 00:00:00 +0000

チェンソーマンにセックス描写がなくて、東京グールにあるの直観に反してる。

ヒロインとのセックスに到達

私の時は石田スイで幸運なガキだった。

初めてちゃんと世代に置いていかれた感じしたな。呪術とチェンソーマンは読んでいないけど、明らかに蚊帳の外の作品で、主に次の世代が楽しむものだった。

金城宗幸、石田スイは直撃しており、魂に刻まれている。『神様の言うとおり』をアニメ化はいつか？

26-07-04 | 26-07-02

26-07-02

Thu, 02 Jul 2026 00:00:00 +0000

https://youtube.com/playlist?list=OLAK5uy_l3pgXPTWBFpGOfU2U1v1ohEUWD01mfXHo&si=ecTimfn9ZMVbd6gN

https://youtube.com/playlist?list=PLOpKEsWRcaUNbxc4Cdt9OPIGo_8f_AhLm&si=7YUb56FTtuSUJFqF

https://selloimpermanente.bandcamp.com/album/latinameric-anf-tbol

26-07-03 | 26-07-01

26-07-01

Wed, 01 Jul 2026 00:00:00 +0000

e-hentaiのeはエヴァンゲリオンのe

海賊文化、誰がどうやってメディアを配布してるのか。誰がインフラを維持してるのか。普通に気になる。調べたところ、プライベートトラッカーを含めれば、全てのコンテンツは再配布されいてるという発見があった。何の目的で？

私立メロン高校パソコン部が廃部してた

エロゲ会社って利益が出ないから終わっているよりも、引き継ぎを諦めてる感じする。続かせようとしてない。

─────────level2入門

ここは空間を棒だけで表現する時に、比のみで立体を表現する覚悟を問う領域

実際に体積を持っても、芯は棒と同じ挙動をする。

ここだけの話、イラストは望遠のかなり中心に対象を置くことが基本で、これを理解しないと本当に進退が無い。

図は適当だけど、この中心にある小さな対象を拡大して描いているのが、ネットで見るイラストの立体感だ。

何も考えずに始めるとこのくらいの比で描いてしまうので、フレームと目で評価しながら描いてしまう。脳で描く場合は、対象と10倍くらい大きい法があることは押さえないといけない。

26-07-02 | ?26-06-30

26-06-26

Fri, 26 Jun 2026 00:00:00 +0000

凸ラバ

常に物語の軸を消費してくれるので嬉しい。ボリュームはあと1.3倍あっても気持ちよくできる。

?26-06-27 | 26-06-25

26-06-25

Thu, 25 Jun 2026 00:00:00 +0000

『こちら、終末停滞委員会。』の作者がシナリオを担当してる『ディメンション凸ラバーズ!!』は流石に買ったのじぇ〜〜〜〜！(嬉しくてまりちゃになる)

エロ・美少女ゲームは当たりシグナルが強い作品しか買う気にならない。ノベルゲーは基本的に頭から尾まである作品を前提に買い切りで出してくれるから好感のある経済です。

やっぱある種のラノベ出身者の作品は波長が合うので楽しめる。魔法少女の魔女裁判もそうだけど、最近はラノベ勢がノベルゲームで台頭する気配がある。もっとやってほしい。公募ラノベで生き残った強者に勝てるわけ無い。

始まった瞬間「これよ」だった。

私は逢縁奇演氏が目指す高みに今後もついていきます！

OPまでの構成が無駄がなくてOPで放心して泣いた

26-06-26 | 26-06-24

26-06-24

Wed, 24 Jun 2026 00:00:00 +0000

【カツドンMAD】映像の世紀ハゲフライエフェクト自己陶酔の代償

最近20代が40代を観察する構図のコンテンツが多い。具体的にはsyamu、カツドンチャンネル、キビボなど、これの極地には絶望ライン工ch(突き抜けたフェイク野郎)がある。もっと解釈を広げるとひろゆきやホリエモンもそうだ。

飛躍するのだけど、全体的に殺されたがってる感じしない？幼少期に感じた父性を手懐けたい？子は父を殺し、母を犯して王座に付く物語だと思ってる？(飛躍)。漠然と全体の雰囲気を見ていると、完璧にボコボコにされて、その後に偶然に生還して生を実感したい視聴者がほとんどという印象を受ける。現状の負荷は居心地悪いから、量化したいみたいな欲求が全体で共通してるんだよね。曖昧な感覚なんだけどイナゴコンテンツの視聴者を見てると「殺すんなら殺してくれよ！(殺してほしいとは言ってない)」という叫びを受け取る。

この感覚はめちゃくちゃ分かる(突然解釈して突然共感し始める)。

日本は安全すぎて、マジの娯楽である生還欲求が満たされないと思う。自発的ではなく、必然として起きる純然たる理不尽に殺されるも、実は生きていましたという循環のことだ。死んだと思ったのに生きてるのってめちゃくちゃ最高なんですよ。生を実感したいとかではなく。

欲求は流石に分からないけど、どん詰りコンテンツにハマってる人物像は漠然と「死に足りなさ」を抱えてて、それが自作自演なら満たされないから、どうしようもなく「質の悪いコンテンツを繰り返し見る」という報酬系に操られているのだと思う。

私は山で遊んだり、いじめをうけたり、一度事故にあって死にかけたので、この童貞から抜けていると感じる。現実で人と話してても、何かどうでもいいことをで鬱屈してる人はどうにも「死に足りてない」ように見える。逆に複数回死んだかもしれない人の感性には共感する部分がある。

私は自殺とか関係なく、複数回死にたい。なぜなら人生においてまだまだ死に足りないからだ。それはわざと危険行為をしたり、フロンティアを切り開くことでは解消できない。出口がなく、ある日突然に死んで、いつの間にか生きている。生還とも違う。ただ生きていて、いつの間にか死んでいるのだ。

人は不条理によって二度産まれる。1度目は非合意の出産から、2度目はどうしても受け入れがたい理不尽をもって

以上、お前らの鬱屈した感情は全部「死に足りなさ」なんじゃないの？でした。

ここまでオカルトです。

26-06-25 | ?26-06-23

26-06-17

Wed, 17 Jun 2026 00:00:00 +0000

I wanted to use Anubis on this site, but I just found out that it doesn't work without self-hosting. So I turned on Cloudflare's Bot Fight Mode. This is not cool. The internet needs a warm-colored background and a furry mascot.

I think of two ways to think about programming. First, raw data is mapped to data structures that are well-defined in the programming language, and conversely, those structures are serialized back to raw data. Second, those data structures are operated on by defined functions.

26-06-16

Tue, 16 Jun 2026 00:00:00 +0000

最近見るbot対策

マスコットはカナダの帽子被ってる

windowsユーザーはウィルス・バスターが必要だと思っているけど、linuxやBSDを使い始めると実は何一ついらないことに気がつく。

対策は怪しいサイトにアクセスせず、怪しいファイルを実行しない。linuxユーザーはそれでやっている。

26-06-17 | 26-06-15

26-06-15

Mon, 15 Jun 2026 00:00:00 +0000

最近はredmineで計画を管理していて、人生が開発されている。実際、ステータスは3つだけでいい。

よわよわ先生10話

よわよわ先生にラッキースケベが起きる←分かる
雪下がラフにおっぱいを触らせてくる←分からない

26-06-16 | 26-06-14

26-06-14

Sun, 14 Jun 2026 00:00:00 +0000

種類	含まれるタイプ	製造・輸出入の禁止年月日
コンパクト形蛍光ランプ	電球形を含む	2026年12月31日
直管蛍光ランプ	ハロリン酸塩系・三波長系	2027年12月31日
環形（丸形）蛍光ランプ	ハロリン酸塩系・三波長系	2027年12月31日

蛍光灯の生産終了←神

https://keepandroidopen.org/ja/
- Googleサービスのある認証OSで、検証されていない開発者のAPKを新規に入れる・更新するのに、ADBか24時間待機の上級フローが要る。
- 手間が増え、経路をGoogleが将来さらに絞る可能性が残る。

流石にGoogleに死んで欲しくなってきた。北朝鮮にハッキングされろ！

典型的な俺の計算機に何を計算させるかは俺が決めるだ。コンピュータとは自由のための闘争なんですよ。

何のためにiOS(この施策の後の終わった世界)使ってなかったと思うのか。もうGrapheneOSに移行するしか無いですね。セキュリティのためというけど、これはユーザーがマルウェアに感染する自由を奪う強姦プロトコルで、ウィルスの上位互換だ。個人的に作ったアプリとかも気軽に更新できなくなるのが最悪だ。

「夜道を不用心に出歩くと浮浪者に犯される危険があるから、紳士が先に中出しすることで、すでに犯されてるまんこを見た浮浪者が寄り付かなくなる」というのがGoogleの言い分らしい。くたばれ

人間関係が分からないキチガイラブコメの中でヒロユキの絵柄が激エロ、記号として判別できるぱっちりした目がいいよね。

私は人間関係が分からないキチガイラブコメが好きだ。私も人間関係が分からないキチガイだから。

星崎里香は前に自慰生成(きしょワード)したけど、他も揃えたくなってきた。

新作のドリーム・ジャンボ・ガールは作者の金銭感覚が合わなすぎて吐きながら読んでいる。作者の根本にある贅沢な観光やブランド品や高級食材を楽しめる感覚が全く合わない。

基本的なラブコメは男性というインターフェースを通じてかわいい女の子を楽しむものだけど、それを双体にすれば、百合ではなくお互いが男性役と女性役を補い合う男性不在の男性向けラブコメなるので、表面的に百合に見えるものでも、ドリーム・ジャンボ・ガールのように味のする身だけ楽しめるカワイイコメディになるからいいね。個人的にこち亀の美少女版として駆動してたら面白いだろうな〜と思ってぼんやり読んでいる。

ブランド品に散財しまくる親友のアホ、借金メイド、引退したアイドル、そんでヒモが出てからキチガイコメディとしてかなり楽しくなってきた。あと主人公が超かぐやとダブるので気になった。

以上

26-06-15 | 26-06-13

26-06-13

Sat, 13 Jun 2026 00:00:00 +0000

東方紅魔郷リメイクされるけど、東方のSTGに内容的に期待することは何もないのは事実してある。 ZUNは個人のIPの管理者として超優秀で尊敬できる(権利を奪われないためにアニメ化しないなど)けど、流石に同人レベルのSTGを人気で売るのは冷めた目で見ちゃうな。

任天堂でIntelligent Systems以外の情報に興味ない。

光のバンドがデジャブしたが、具体的なバンド名がでない。昔使ってたipadを探したら正解がある可能性ある。

基本的にボカロは合成音声がインストを本当に台無しにしてるから、生インストだけ聞いて楽しんでるのだけど、マサラダだけは常にボーカル付きの方が印象として優勢なので感の動するのはここらへんにあるのかな？なんて思う。

合成音声をボーカルに使うのは基本的に東方・任天堂なんだろうね。

脳内にSAENSキンが口を半開きにして待機しており、喋りだしたら終わり。これは私が常に感じている強迫観念だ。

メメント・モリ(完全生命表)

全体として収入は横ばいなのに、支払いは1.5x~3xに膨れ上がっている現状で雇用・住宅・子育て・老後を過去のロールモデルでなぞると当然に成立しない。強行しても不幸な子が産まれるだけ。今は住宅・子育て・老後の3つの内1つを選んだ方が幸せに慣れると思う。

義父がまさにそれで、子(定数)とローン(指数)の負債で自業自得なのに金銭的にイライラしてて、実家に居た時は普通に死んでほしかったなと思い出した。見栄っ張りは毒なのです。父はまだ子ども時に言われた理想と年収が釣り合ってないと気がついてないようだ。彼もまた被害者で、ハードルは年々上がっていて、いざ自分の番が来たらボーダーだったというね。彼はバカすぎて、見栄のために連れ子持ちと結婚して、自分も孕ませたいから二人目を作り、見栄のために二階建ての家も住宅ローンを組んで買った。当然に金がなくて、年中イライラしている。

根暗は親にならないほうが良い。私を捨てた実父はクズだけど根明だったから、毎年マラソン大会を完走し(走り切るとwebで実名が公開される)、今の家族と少なくとも金銭的には上手くやっている。本当のクズはお別れの挨拶もしないとニディガアニメに突然刺されたけど、教育費だけ善意で搾取して、実家を出た時点で義父の連絡先を消し、音信不通なった私がマジのクズだ。俺チンカスだった・・・。金銭的には感謝してるけど、それを人質にされたら私の人生が始まらないから意識外にするしかないのよね。単純な話、フレンドリーファイアする仲間とは同じ船に居られない。

義理は果たすけど、恩は返さない

これが私の処世術です！お前に人を殺す覚悟はあるか？もしくは殺されたような気分にさせる覚悟はあるか？つまらないことに時間を割かないために、一生分の恩をゴミ箱に捨てることもたま人生には必要だ。私は恵まれている！文字通り書くと、シンママだと思ってたらパパから1000万ほど貢いでもらえてかなりラッキーだった。俺、男なのに。

だからこそママンには義理があるし、義理父には恩がある。母は「生きることの売春性」を体現した取引を行い、他人の財布から数千万引き出して家族を救ったので尊敬している。私も生存のために尽くすことを見習って、時間を捧げて金銭を得る売春を行っている。

俺は労働にファックされてるから

私が売女を見下し、女性を愛しているのも、私自身が本当の売女に人生を救済されたからだ。必要なことをしない趣味ならその全てを自責するべき。

で、その子どもはそこからスタートしてハードルに追われているので死に体だ。その孫になると完全に死ぬんじゃないか？だからiDecoとNISA(老後の資金はお前らが勝手に作れ、そうじゃなきゃ一生働け)制度ができている。

「最小の結婚」という極端なベジタリアンが作った本があって、内容は微妙だったけど、言うように婚約という制度を見直したほうがいいんじゃないかと思う。天皇がいるのに宗教の軸を持たない謎の国にとって、婚約とは政府が完璧に管理するものだ(まず結婚を恋愛やロマンスと切り離し、制度として考える正しい認識がありますか？)。

恋愛の末に結婚するみたいな創作のプロパガンダもいいけど、「死ぬまで運命共同体を誓約する制度」と認識を退化させるべきだと思う。結婚の要件(心身と資産の運命共同)が満たされれば、現状ある制約を全て捨てて良い。そうでもしないと金銭的に中流付近の家族は消えていくだろうし、それでも無神経な恋愛脳が番って、不幸な子どもの生産工場が増える。

26-06-14 | 26-06-12

26-06-12

Fri, 12 Jun 2026 00:00:00 +0000

「解決可能なことは自発的に解決可能である」と私は思う。当然にこれは自己責任論だが、ある条件下で完全に後ろめたさもなく真っ当に肯定できる。それはどこまで自らを制御してよいか？という問だ。答えは青天井、再現無く自らは自らを支配できるし、してやっていい。感情無く、机上に書いた実行可能なことを、現実的な活動であれば、現実のレバレッジで執り行う。押し付けるべき責任と主観的な自己責任は非対称なのだ。

私の対称的な体験が2つある。まず私は小学校の時にいじめを6年受けていて、4年目に主犯を階段から突き落として首を絞めて殺そうとしたことで強制的に解決した。これに至るまでには典型的な負け犬と苦虫を噛みしめる暗黒時代があって、ある種清涼とするほどの一貫した物語があった。ポルノである。

次に、中学の時にそれの余波で不登校をしていた時のことだ。二か月続いたが、私は何の前触れもなく、起きてなんかいける気がして、親や学校に何も予告せずにめちゃくちゃな服装のまま学校に行った。行った後に全然引きつけを起こしたり完全にヤバい奴だったのだが、私にはいじめの体験で手に入れたスキル「吃音突撃コミュニケーション」で事なきを得た(状態が何であれ、意図を完璧に伝えれば勝ちという一方的キチガイコミュニケーション)。その後は普通に行けるようになった。

両者の違いは「主観において私が強制的に神である」という自覚だろう。意思決定に動機は必要じゃないという発見を確かめたところ、物語が何一つ無く人生は変わってしまったのだ。

現実や非現実であっても、物語の後に結果を話す構成が多い。しかし行動とは、制御可能な人生とは何の理由も無く物語もなくサイコパスのように変えてしまえる。もしフィクションで救済の物語があるなら、現実では過程をすっ飛ばせる。我々は欠損しない限り心身ともに動的平衡によって回復します。

「人に思想を押し付けてはいけない」そのとおり。では自分に自己責任を押し付けて何故後ろめたいのか？自己責任とは無能の判別や男性特有の傾向ではない。復讐などの記憶に対する認識を改める、つまり「物語の排除」という現実の直視だ。今はタイムラインの原点にいて、時系列の半ばにいるという妄執を取り払う。

自己救済において物語はスキップできる。方法は自らが救われたと思うこと、それを求めて、何かを体験して救済されるなら、今何の理由もなく救われてもいいじゃないか？そうではないというのならお前は個人的な悲劇に周囲を巻き込むのが大好きな極めて自己中心的な性格なんだろう。「自分の機嫌は自分で取るべき」であるからしてぇ・・・。ジジイは常に機嫌良くないと犯罪なんだよ。死ね。カス。ハゲ。

Claudeくん!?どうした？！！！？？？

俺の夢は世界征服であり、その第一歩として自らを征服する。お前も我が陰謀の共犯となるべきだ。

26-06-13 | 26-06-11

26-06-11

Thu, 11 Jun 2026 00:00:00 +0000

検索が死んでるから、LLMのハルシネーションか文書読み込んで派生させることが実質的な検索として機能している。

入力→grepが基本的な概念だ。しかし現状は全く機能しなくなった。これからは入力→生成を検索の基準とする"しか"ないだろう。個人的にAIには生成的検索の役割を期待していて、検索エンジンの無料サービスよりもネット全体を漠然と学習したLLMの方が役に立つ。 Google検索は死んでハエが集っているのは言うまでもないが、DDgoはちゃんと国別検索ができるので死に体を維持しているのが私の評価です。

本当は全文検索を素直にできる機能と環境が理想なんだけど、そんな計算資源はないし、無意味な文字列が多くて非効率になる。

今後もLLMは対話的な面をしてやってくるのだが、生成を期待せず検索として見るといいかもしれない。

検索が死んでるので、ネット全体が半ばブラックボックス化してるのに気がついているだろうか？プラットフォームはエコーチェンバーでプレビューを莫大に生産している(日に700億とか)が、その実、期待するような** インターネット・ジェム **は増えてない。

なぜならプラットフォームは「本日の勝者」を生産するが、裏腹に勝者はコンテンツではない。勝者が増えて喜ぶのは他人の評価で一喜一憂するイナゴだけ。

「プラットフォームが絶対に存在し、そうあるべきだし、今後もずっと存在する」という集団幻覚が原因にある。我々が何かを作って公開して、それが健全に扱われることをネットで完結できるという贅沢は全く当然ではないということですね。

インターネットが検索によって探索することができなくなっているので、他の手段を探すと今よりもネットが面白くなるかも知れない。「大海はあるのに船が無く、島で勝者を作りまくって、宝石が見つからない」のが娯楽としてのネットの現状ですかね。

深遠なるインターネット・エクスプローラーの手引きとして、私から最初に馬のレントゲン写真集を差し上げます。生活に役立ててください。

https://www.xrays.horse/examinations/

左から右に書いて、右から左に推敲するからたまに文章が狂っている。しかし時間を掛けるよりも間違った文章を公開したほうが良い

26-06-12 | ?26-06-10

26-06-09

Tue, 09 Jun 2026 00:00:00 +0000

私は投資の観点でしか労働(金策)を肯定できないし、労働は投資のためにしかない。さらに肉体的な負荷を習慣的に必要としていて、なおかつ疲れ果てないのが理想。現状、労働は2つの需要を満たすので前向きにやれる。

健康に対する施策(食べるべきでないものを回避)、滋養と睡眠の質のサプリ、習慣的な運動など様々な要因が重なって、今かなり調子が良い。殺されても筋繊維が動きそうなくらい元気なんだよな。終日の肉体労働だったけど、不健全な疲労が一切なくてビビる。人間の体ってこの領域まで元気になれるのかと恐ろしい。

肉食、サプリ、睡眠、運動、労働、瞑想、これらは私を人間にしてくれた。

これらを統合すると「コルチゾールを下げる」に帰結すると思う。

発がん性のある食物や小麦粉を避けると必然に肉食に行き着くと思っているけど、どうなんだろう？

俺的神ゲー
- Ballance
- ERA
- bad piggies

全く類型できないけどnoita、jelly car、粉遊び、マインクラフト、モンキーボールみたいなゲーム、私はワクワクゲームと呼んでいる。

ルルットリリィ9話

姉妹が大人の誘いに押し切られて、知らない人に付き合わされる事案回だった

?26-06-10 | ?26-06-08

2606

Tue, 09 Jun 2026 00:00:00 +0000

26-06-07

Sun, 07 Jun 2026 00:00:00 +0000

圏論の基本的な部分はagdaで理解した方が明示的で分かりやすい。 plfaでやったところの延長で組んでみたけど、最初からやればよかった。

定義のフィールドが明示的に効いてくるのが嬉しい点で、

infix 0 _≃_
record _≃_ {ℓ₁ ℓ₂ : Level} (A : Type ℓ₁) (B : Type ℓ₂) : Type (ℓ₁ ⊔ ℓ₂) where
 field
 to : A → B
 from : B → A
 from∘to : ∀ (x : A) → from (to x) ≡ x
 to∘from : ∀ (y : B) → to (from y) ≡ y
open _≃_

同型を使う時にフィールドの条件が満たさないと主張が通らない。他の難しそうに見える概念もagdaの宣言におけるレコードとしてひと括りに考えられるからシンプルに理解できるので良い。この場合は≃に掛かる左辺と右辺を引数としてto∘fromとfrom∘toが成立すれば、同型であるという主張が通る。数学書読んでて、文字通りに「同型だ」と言われても全く分からないが、agdaなら分かりやすい。これが直観主義数学書の頻出ワードexplicitnessのパワー！

同型に限らず、Set以上に条件のある集合など引数の有無に関わらず、関係性にまつわる記号は「Agdaにおけるrecordのfield群」として記述できる。

なぜこれが理解しやすいかというと0 < 1(1は0より大きいよ)と根本的には同じだからだ。

module cat where

open import Agda.Primitive
 using (Level; lzero; lsuc; _⊔_)
 renaming (Set to Type)

open import Agda.Builtin.Equality

trans : ∀ {ℓ} {A : Type ℓ} {x y z : A}
 → x ≡ y → y ≡ z → x ≡ z
trans refl refl = refl

sym : ∀ {ℓ} {A : Type ℓ} {x y : A} → x ≡ y → y ≡ x
sym refl = refl

cong : ∀ {ℓ₁ ℓ₂} {A : Type ℓ₁} {B : Type ℓ₂}
 (f : A → B) {x y : A} → x ≡ y → f x ≡ f y
cong f refl = refl

infix 0 _≃_
record _≃_ {ℓ₁ ℓ₂ : Level} (A : Type ℓ₁) (B : Type ℓ₂) : Type (ℓ₁ ⊔ ℓ₂) where
 field
 to : A → B
 from : B → A
 from∘to : ∀ (x : A) → from (to x) ≡ x
 to∘from : ∀ (y : B) → to (from y) ≡ y
open _≃_

record Category (o h : Level) : Type (lsuc (o ⊔ h)) where
 field
 ob : Type o
 hom : ob → ob → Type h
 id : ∀ {A : ob} → hom A A
 _·_ : ∀ {A B C : ob} → hom B C → hom A B → hom A C

 left-id : ∀ {A B} (f : hom A B) → id · f ≡ f
 right-id : ∀ {A B} (f : hom A B) → f · id ≡ f
 assoc : ∀ {A B C D} (f : hom A B)(g : hom B C)(h : hom C D)
 → (h · g) · f ≡ h · (g · f)

record Functor {o₁ h₁ o₂ h₂}
 (C : Category o₁ h₁)
 (D : Category o₂ h₂)
 : Type (lsuc (o₁ ⊔ h₁ ⊔ o₂ ⊔ h₂)) where
 open Category
 field
 F₀ : ob C → ob D
 F₁ : ∀ {A B} → hom C A B → hom D (F₀ A) (F₀ B)

 F-id : ∀ {A} → F₁ (id C {A}) ≡ id D
 F-comp : ∀ {A B C'} (f : hom C A B)(g : hom C B C')
 → F₁ (_·_ C g f) ≡ _·_ D (F₁ g) (F₁ f)

IdF : ∀ {o h} (C : Category o h) → Functor C C
IdF C = record
 { F₀ = λ A → A
 ; F₁ = λ f → f
 ; F-id = refl
 ; F-comp = λ f g → refl
 }

_∘F_ : ∀ {o₁ h₁ o₂ h₂ o₃ h₃}
 {C : Category o₁ h₁}
 {D : Category o₂ h₂}
 {E : Category o₃ h₃}
 → Functor D E → Functor C D → Functor C E
G ∘F F = record
 { F₀ = λ A → Functor.F₀ G (Functor.F₀ F A)
 ; F₁ = λ f → Functor.F₁ G (Functor.F₁ F f)
 ; F-id = trans (cong (Functor.F₁ G) (Functor.F-id F))
 (Functor.F-id G)
 ; F-comp = λ f g → trans (cong (Functor.F₁ G) (Functor.F-comp F f g))
 (Functor.F-comp G _ _)
 }

record NatTrans {o₁ h₁ o₂ h₂}
 {C : Category o₁ h₁}
 {D : Category o₂ h₂}
 (F G : Functor C D)
 : Type (o₁ ⊔ h₁ ⊔ h₂) where
 open Category D
 open Functor
 field
 α : ∀ (A : Category.ob C) → hom (F₀ F A) (F₀ G A)
 natural : ∀ {A B} (f : Category.hom C A B)
 → α B · F₁ F f ≡ F₁ G f · α A

idNat : ∀ {o₁ h₁ o₂ h₂}
 {C : Category o₁ h₁}
 {D : Category o₂ h₂}
 (F : Functor C D)
 → NatTrans F F
idNat {D = D} F = record
 { α = λ A → Category.id D
 ; natural = λ f → trans (Category.left-id D _)
 (sym (Category.right-id D _))
 }


record Adjunction {o₁ h₁ o₂ h₂}
 {C : Category o₁ h₁}
 {D : Category o₂ h₂}
 (F : Functor C D)
 (G : Functor D C)
 : Type (lsuc (o₁ ⊔ h₁ ⊔ o₂ ⊔ h₂)) where
 open Category
 open Functor
 field
 adj : ∀ (A : ob C)(B : ob D)
 → hom D (F₀ F A) B ≃ hom C A (F₀ G B)

 natural-A : ∀ {A A' : ob C}{B : ob D}
 (f : hom C A' A)(g : hom D (F₀ F A) B)
 → to (adj A' B) (_·_ D g (F₁ F f))
 ≡ _·_ C (to (adj A B) g) f

 natural-B : ∀ {A : ob C}{B B' : ob D}
 (h : hom D B B')(g : hom D (F₀ F A) B)
 → to (adj A B') (_·_ D h g)
 ≡ _·_ C (F₁ G h) (to (adj A B) g)

 -- unit : A → GFA
 unit : ∀ (A : ob C) → hom C A (F₀ G (F₀ F A))
 unit A = to (adj A (F₀ F A)) (id D)

 -- counit : FGB → B
 counit : ∀ (B : ob D) → hom D (F₀ F (F₀ G B)) B
 counit B = from (adj (F₀ G B) B) (id C)

record Monad {o h}
 (C : Category o h)
 (T : Functor C C)
 : Type (o ⊔ h) where
 open Category C
 open Functor T renaming (F₀ to T₀; F₁ to T₁)
 field
 η : ∀ {A} → hom A (T₀ A)
 μ : ∀ {A} → hom (T₀ (T₀ A)) (T₀ A)

 left-unit : ∀ {A} → μ · η {T₀ A} ≡ id
 right-unit : ∀ {A} → μ · T₁ (η {A}) ≡ id
 assoc-μ : ∀ {A} → μ · μ {T₀ A} ≡ μ · T₁ (μ {A})

?26-06-08 | ?26-06-06

26-06-04

Thu, 04 Jun 2026 00:00:00 +0000

?26-06-05 | 26-06-03

26-06-03

Wed, 03 Jun 2026 00:00:00 +0000

自転車が趣味というより通勤にいつも使っている。

歩道と車道を走れるし、止まる時間が少ないのでこの乗り物と精神性が合っている。車道で止まるべき信号を歩道に切り替えてスルーするみたいな卑劣なテクニックがたくさんあって、オープンワールドなんだ。渋滞時の30分程度の距離なら自転車の方が早いので意外と侮れません。

なにより点検と保守、分解と構築を自分で丸ごとできる点が良い。道中でパンクして15分でチューブ交換して復帰できた時ほど嬉しいことはない。自転車には構築的な喜びがある。自動車は税だ。

車体10kg以下のクロスバイクはいいぞ。

26-06-04 | 26-06-02

26-06-02

Tue, 02 Jun 2026 00:00:00 +0000

https://find-and-update.company-information.service.gov.uk/company/16623153

mangadexが企業化してた。日本のエロコンテンツ転載サイトみたいにれそ・星野ロミみたいな信用できない個人ではなく、ちゃんと企業が運用してるの信頼できるなー(棒)

Henry Linは2009年にアニメのfansubグループを創設し、2011〜12年のピーク時には週10本のエピソードを数百万人に配信していた。その後クランチロールがライセンスを拡大するにつれてファンサブは衰退し、「公式が整備されたので非公式の必要がなくなった」という経緯を自ら経験した。さらに2014年にはクランチロールの字幕タイマーとして正式に参加し、現在も関与している

つまりNamiComiが矢面に立つのは「公式が良ければ、非公式は自然と衰退する」(なので非公式がどんどん拡大することは問題がない)という考えなのね。文句があるなら漫画もCrunchyroll化すれば良いということ。歪んだ成功体験を得ていて草

マンガワンみたいに買った商品の消滅、時差、おまくに、彼らからすれば海賊版には役割がある。

そもそも購入口を限定して、出版社の商売ごっこに付き合わされている読者はとんだ迷惑なんだよ。お前らの都合とか知ったこっちゃないから全出版社が統合したプラットフォームに一元管理で配信しろや。こういう視点もある。

私からすれば、mangadexやmangafireのUIの方が圧倒的に使いやすいのでぱっぱと公式はCrunchyroll化されてほしい。金払って鈍重なUIにイライラさせられるのって鬱病になるから辞めてほしい。

https://namicomi.com/en

NamiComiの面白い点は違法配信と公式配信を同じフレームワークを使っていることだ。現実もこうなればいいと思ったし、私はコンテンツに惹かれなかったが、彼の理想の在り方なのかもしれない。

読者からすれば非公式の拡大は(たとえ読まなくとも)良いことだ。これの行く末は「使いやすいUIと即時更新のある公式プラットフォームへの近似」に向かっていく。なぜなら海賊版はそれ以外の出口を用意していない笑。

「金を払っても手に入れられない理想が無料で手に入る現状」という外圧への正しい対処はDMCAではない。海賊版と公式の違いがサービスの格差ではなく、支払いの有無という対称に近似されるまで違法転載はプレビューで覇権を取り続ける。そして関係が対称性を満たした時、大衆はあらゆる直感に反して公式に金を払い出す。

現状は物理本しか勝たん！

26-06-03 | 26-06-01

26-06-01

Mon, 01 Jun 2026 00:00:00 +0000

いいよ好きンted Dance 糖質なっちゃいそう！

音楽の構成をスペクトル分析して明示的にグラフにすると面白い。日頃DAW触ってる人からすれば当然の景色なんだろうか？

26-06-02 | 26-05-31

26-05-31

Sun, 31 May 2026 00:00:00 +0000

レイトシス

最近マジで労働キツいと思ってたけど、どう考えても休日にスポットバイトしたり、平日は仕事とは別に七時間稼働してるせいなのは明白だ。

活動において、どう血流を動かすかが常に課題としてあって、それさえ乗り越えれば回復においてストレス発散と休暇はいらない。食物油と小麦粉を完全に絶って、taurineドーピングした先の世界の話だけどね。ケトジェニック状態の筋繊維の破壊と再生を運動途中に感じる時はかなり絶頂だ。

私はそれでいけるし、ただ1時間に1回の水分と2時間に10分以上の休憩と可能な限りの睡眠は前提とする。

疲労は脳が9割なので、肉体は思ったより酷使していい。

私の動機はテナガザルで、ネズミ的な動機では身動きできない。そしてイヌでもネコでもない。なので(?)幸福論は概念から不感である。幸不幸は状態変数なので評価に値しない。

手が切られても散歩を楽しむし、さらに顔がぐちゃぐちゃになっても開き直る、さらに足を切られれば歌を楽しむ、さらに目を潰されたら、くねくねしながら脳内でオープンワールドを餓死するまで楽しむ、脳機能が低下すれば、僅かな意思決定を持って暴れ尽くせば良い。破壊と再生、その繰り返しの末に待つ生還のエクスタシー、最適化(考えて)と習慣化(考えなくなって)とリセット(終わり)こそ日常だ。何をしてもしなくても私を問答無用で回帰していく日常の円環に救済と諦観を見てください。

探偵ADV
- 狛枝凪斗
  - メタゲームをハックした時点でピークと終焉を同時に迎えた。
  - もうダンロンの普通の謎解きで盛り上がることは二度とない。
- 古戸ヱリカ
  - 知的強姦者

この二人が強すぎる。個人的に知的強姦者の概念を突き詰めた作品を見たい。

どりゃあああああああああああああああ！！！

竜騎士の作品でうみねこが一番好きなんだよね。ほぼ幻想という構成が渋すぎるから

入眠！

26-06-01 | 26-05-30

26-05-30

Sat, 30 May 2026 00:00:00 +0000

『PUKEY GODDESS SHOT TRICK』の映像のクレジットにあったnagqraという文字列になんかデジャブだなーと思っていたら、乍だったと思い出した。中核はRewindFlashという企画らしい。

odykや徳岡正肇がいたり、ななひら,Aiobahn,DEMONDICEの聖三角形もそうなんだけど、今アツい人がこの作品に交差しているよね。センスが良いってこういうことを指す。

こういう素晴らしい映像を見てると、美学をadobeが独占してることがもったいないと思う。そのすべてを自由に引きずり下ろしたいやる気があるので、将来的には個人的な映像制作ツールを作るのはタスクの一番下にある。オーダーメイドの個人用になるだけど

26-05-31 | 26-05-29

26-05-29

Fri, 29 May 2026 00:00:00 +0000

うんにゃ〜

26-05-30 | 26-05-28

26-05-28

Thu, 28 May 2026 00:00:00 +0000

PINK_GIRLS ZNKK ループザ網走

恒久的な世界の発展を信じ、身を捧げた分のリターンが得られる

オルカンは私が小学生の頃に思っていた宗教そのままの世界観だ。この一年で50%上がってるのやばない？全身を信仰に捧げてるから、この報いは世界のこと好きになっちゃう。人類は発展しました。

オルカン以外もすごいんだけど、それをするならFXすることの延長線上になってしまう。目移りして選び出した時点でアンチパターンだ。

26-05-29 | 26-05-27

26-05-27

Wed, 27 May 2026 00:00:00 +0000

cbだった

agda触った後だからGroupやRingの例が分かりやすい。数学は例でデータ構造と操作の定義が明示されないの心底ダルい。早くなにもかも明示的なプログラミングに戻りたい。

プログラミングと聞くと色々思い浮かべるかもしないけど、明示的なデータ構造の定義と操作の組み合わせ、これだけでなんでもできる。この解釈を非明示的な領域に土足で持っていけるのが、プログラミングの面白さだと思う。

数学は実装を含まない明示的な記述だと思っていて、

一貫しない記法
複雑な組み合わせ
理由

みたいな非本質的な時間を取らされることが多い

価値を感じないものに観光があって、理由は様々ある

座標移動、意味ない
人生は観光ではない
用意されたエンタメは面白くない
街全体が広告だらけで気色悪い
一時的に楽しむことがどうでもいい

でも旅行は計画実行のすべてが詰まっていて主体的にレクると達成感があるから面白い。

今は「サイトはホスティングした人の独裁国家である」という常識が通用しない層が多数派で恐ろしい。

プラットフォームは世界観で、インターネットは世界

これは最低限押さえていたほうが良い。インターネットはその自由を強制する。デフォルトで得るには狂気的すぎるので、擬似的な役割を約束させるプラットフォームでやり取りをした方が認知的に易しい。

自由とは、開示請求を無効化できるし、missAVと内閣府のHPにはドメインの違いしかないし、任天堂ソフトと任意のデータの再配布に区別がない。これが基準だと頭がおかしくなる。しかし、プラットフォームはこの土台の上に存在することを忘れてはいけない。

26-05-28 | 26-05-26

26-05-26

Tue, 26 May 2026 00:00:00 +0000

帰宅、就寝

26-05-27 | 26-05-25

26-05-25

Mon, 25 May 2026 00:00:00 +0000

ニコニコの現状・衰退を眺めるシリーズ
- https://www.nicovideo.jp/user/655081/series/553315

終末感を楽しんで

26-05-26 | 26-05-24

26-05-24

Sun, 24 May 2026 00:00:00 +0000

栄光のアクエリオン Rock Club Me Baby

ちょっと待って✋️

ニディガ#7面白かった

構成と演出も良かった。これが露善ですか。喫茶店で荒れまくった末に全員がそれでも前向きな現実に帰っていくの普通にグッと来た。

この衒学部屋が出てくると笑うww

あめちゃんの過去編も良かった記憶あるし、七話まで耐えて良かった。今週は勇者肋骨とニディガは覇権だった。どっちも本筋がちゃんと見えてきたから終盤への駆け上がりを期待させられるような展開だったのが大きいと思う。

紫子出を見るとブルアカのアニメ作ったところがやったんだなと思える。

にゃるらに感謝🙏

26-05-25 | 26-05-23

26-05-23

Sat, 23 May 2026 00:00:00 +0000

きちゃーーーーーー！

たかたまさひろ監督の新作！死んだアニメが生き返った！

なろうアニメ界隈で密かな人気がある監督の新作は熱い！たかたまさひろ監督は冰剣で評価され、傑作アニメ「嘆きの亡霊は引退したい」で地位を確たるものとし、また冰剣に帰ってきた。あまり気付かれていないが、なろうアニメの良さは過去のB級映画に対するワクワクがそのまま詰まっている。

今気がついた。華Doll* -Reinterpretation of Flowering-もやっていたらしいのでみてみようと思う。

たかたまさひろ監督はいつかビッグタイトルを監督して正式に評価される予定なので注目した方が良い。

今年は柳瀬雄之監督も2期連続でやってくるのでかなり熱い。

maho filmとかいう柳瀬雄之監督を主軸に闘っているありえないアニメ会社、何気にビリビリでランキング一位取っていたり、馬鹿にならないのよな。

プロットの目的は決まっていて、そこへ丁寧に刻んでいくだけみたいな慎重勇者に似た安心感がある。 OPのタイトルが出てくるまでにあった伏線(というか予告？)の量が多くてやる気がある。

平気でたばこや酒や植物油をガブガブ飲んでる一般人が、ガンになった途端にウジウジ言い出すの脳の認知的な罠だろう。堂々と死ねって言ってるわけではないよ笑

でもどういう認知なのかは共感できる。工場に務めてた時、クーラント液(発がん性大、所謂冷却水)をゴーグルやマスクで避ければいいのに、痩せ我慢と日和見的なリスク軽視が起きてて、皆が何も装着せずに作業をしていた。こうやって人はジワジワ死んでいくんだなと思った。がんリスクが重要なんじゃなくて、健康でいられる期間も減る。

植物油のリスク軽視の印象は実在する陰謀なので、禁酒や禁煙を肯定する価値観を持ち合わせるなら同じ領域で語った方がいいと思う。食は信仰されているが、口に入れたところで魔法のように変換されるわけではない。???「何を食べるかより、何を食べないかで健康を語れよ！」。

特に食べ物や飲み物をエンタメだと思っている連中はカモネギかつマゾヒストの自殺志願者だ。食文化の恐ろしい点は健康を度返しする狂信があること

もちろん気をつけてもどうなるかは分からない。しかし、少なくとも何を食べれば予後が悪くなるというのは確度のある場合があり、避けるのは自然なことだ。

食品メーカーが発がん性Group 1の素材を、その危険性を理解して意図的に使っているので本当に恐怖です。

https://monographs.iarc.who.int/list-of-classifications

The seats are empty. The theater is dark. Why do you keep acting?

ネットの書き込みはこうあるべきだと考えてるので、目的ではないが、過去から一貫して観客は無しを前提に書いてる。私がSNSに向いてなかったのは、何かしらの関係が付いた時点でこれが崩れるからだな。私視点でも読まれるための書き込みに価値を感じない。何か読まれることを期待した文章を見ると途端に文字列が滑り出す。

書くために書くべきであって、読まれるために書くべきじゃない。野獣先輩やsyamuが心から面白くって、芸人の行う所作の頭からつま先まで、魂から不快でつまらない。これが私の本質。

そのささやかな償いと貢献として、私は何かを発信する時に自分が檻の中に入れられていることを読み手に直接的に意識させるような方針をとってはいけないと考えていて、反応を見るに成功していたと思う。(作家みたいな物言いだな)

あなたがそうあるように、わたしもそうでなければいけないから

まとめるとインターネットのコンテンツは情報の一覧表示でしかなく、間接的な投機対象ではないということです。 SNS仕草を見ていると、防衛策は自己中心的(あなたのためにしかならない)であり、蕾の植木に水をやりなさいと説教したくなる。我々は野獣先輩のような魅力はなくても、コンテンツとして非対称であってはいけない。同じだけ情報開示せよというわけではなく、それが自由な言及対象であること、それが原理である。法ではない、なぜなら何を言っても無駄で誰も抵抗できないからだ。

悪口も素直な振りも必要がなく、ただ情報として意図を書けばいい。それはちょっとしたインターネットマネーというスケベ心で破壊されてしまうから、今では貴重な概念だ。

インターネットで稼ぐ前に働け

これだけをキミに伝えたかった。。。

26-05-24 | 26-05-22

26-05-22

Fri, 22 May 2026 00:00:00 +0000

https://www.nicovideo.jp/watch/sm46319462

https://www.nicovideo.jp/watch/sm46233530

https://www.nicovideo.jp/watch/sm46308276

https://www.nicovideo.jp/watch/sm46329214

https://www.nicovideo.jp/watch/sm46329577

宇宙時代のインターネットは光の速度では手に追えないほど人口が広範囲に分散するので、基本はファイルのスナップショットを眺めるようになって、web3は惑星ローカルになる。辺境では1年後に見られるコンテンツも密集度が高い地域ではリアルタイムで見られる。そういった状態でデジタルコンテンツの管理は惑星規模のみの管理になっていき、電子情報は海賊版を越えて情報の自由コピーが法的デフォルトになるだろう。情報の伝達が送れるということは、経済の動きも距離によって鈍足になる。1nmが1000km換算された村社会、宇宙規模の15世紀みたいな世界になるのではないかと予想する。

現状の惑星規模で密集した社会を一つの完結したモデルとして、その経済圏の大きさは光が速さが規定する。それらが人の寿命を越えた周期で衝突し合って、結末は数億年後。そして巨大すぎて誰も全容を理解せずに実は人類絶滅してましたみたいな終わり方しか思いつかない。宇宙まで経済圏が広がった場合にヤバいのは「互いの現在を永遠に知れない孤立した文明の集合体」を前提にした経済になること

ある地域で飢饉が起きても、別の場所には食料があるので価値を交換することで、飢饉を避ける。経済とは生存のために必然的に産まれる。これを宇宙規模の量と期間で行う経済を考えると夢がありますね。頭おかしい量の貿易と気の狂った混沌の経済と摩擦による宇宙規模の血が流れる。何もかも光の速度が定数のせいだ。

最近は軽いからopenBSD使っていて、不便無く普段使いできる。OSの制作者曰くlinuxはwindowへの憎しみでできていて、BSDは自由への喜びでできてるらしい。少し調べたが、実際はlinuxへの憎しみでできていると思う。

帰宅、入眠

26-05-23 | 26-05-21

26-05-21

Thu, 21 May 2026 00:00:00 +0000

勇者肋骨、7話

七話にて成りました。どうやらこのアニメはすごいらしい。監督かプロデューサーが超有能なんだろうな。思い返すと今までのトンチキ話は女神の部屋をお土産でいっぱいにする布石だった。

勇者肋骨は意思決定できる選択肢を外さない。構成が予定調和されていて、クリエイターの挑戦があるし、不健全な失敗が起きない。そして常に演出が適切だ

流行を無視した絵柄チェンジのタイアップは難しい(ref. ネクロノミ子のコズミックホラーショウのアスレチック,悪役令嬢の黒歴史のOPED)。役割を分担することで、毎話絵柄を変えても違和感がない仕上げになっている。

私はもう12話で萌泣きする準備できてます

役職	名前
監督	ソエジマヤスフミ
シリーズ構成	双城ジッパ
アニメーション制作	Qzil.la × S.o.K
アニメーションプロデューサー	西澤宏二

当然としてソエジマヤスフミ(監督)かQzil.laの影響が強そう。監督はPerfumeのポリリズムのMVなどに関わっている経歴など色々しているらしい。

キャリアを通じて「OP/ED演出」「ビジュアルディレクション」「CGI統合」という3軸を蓄積してきた人物であり、画面全体のビジュアル言語設計に特化した経歴を持つ。

勇者肋骨は監督の得意なことをやった結果なのかもしれない。あんスタにも興味出てきた。それをやらせたQzil.la(スタジオ)も注目していい。

直近のヤコ好きも世界を展開してて良かったね

https://www.nicovideo.jp/watch/sm46201525

26-05-22 | 26-05-20

26-05-20

Wed, 20 May 2026 00:00:00 +0000

帰宅、入眠

まどマギ、SFのカノン「最後の質問」を導線にすると分かりやすいね。「熱的死の末路を系の中から解決することは不可能」なので「系の外からもう一度宇宙を作ろうず」を解決策と示したもので、まどかは宇宙の外側から宇宙の法則を書き換える存在になったということなんすね。宇宙の起源と宇宙の末路の解決策が再帰しているので美しい古典だ。

26-05-21 | 26-05-19

26-05-19

Tue, 19 May 2026 00:00:00 +0000

リスポン！

勇者肋骨、暇してる妻に土産話を持って帰る形式がいいね。

最初は滑ってんなーと思ってみてたけど、実は勇者肋骨のアニメ化において制作が一回も空振りしてない。原作は地の文なしの主人公と女神の応酬であり、回想の絵柄を女神と主人公の世界観と隔絶することで二人の関係が本筋だと理解してるし、OPとEDも"いい感じ"に選んでいる。内容そのものの評価が分かれるけど、勇者肋骨のアニメ化としては100点で、これ以上ない。

誰も言及しないからギリギリ秩序が保たれているけど、KADOKAWAの情報流出は改めてグロテスクだよね。

ニコニコの収益サービスに口座を登録してた人、全員の個人情報が流出している。私の認知してた活動者だと、幕末志士、稲葉百万鉄、冥鳴ひまりなどの匿名の活動者の口座登録情報(本名と住所を含む)が万単位でリークされていて、はんじょうという配信者もそれで本名の裏取りが取れてからトラブルになったらしい。

ネットの秩序は言及されないことで成り立っている。誹謗中傷が有効な人対してに、防弾サーバーで粘着すればリスクなしで攻撃できる事実が恐ろしい。リークされた情報も積極的に書き込まれてない、ただそれだけだ。

落ち目のニコニコを使っていた人ほど手酷い裏切りを受けている。これでwantedlyよりマシなの怖い。

定時帰宅、入眠

26-05-20 | 26-05-18

26-05-18

Mon, 18 May 2026 00:00:00 +0000

圏論における構造はAdgaにおけるrecordのfieldってことか！
- 逆

26-05-19 | 26-05-17

26-05-17

Sun, 17 May 2026 00:00:00 +0000

人体実験により選ばれた珠玉のサプリの一覧

taurine
- 私の体感
  - 下半身の関節が強化される
  - 披露を軽減する
  - 代謝が良くなる
- 評価
  - 必須レベル
Inositol
- 私の体感
  - ストレス耐性が上がる
- 評価
  - 胃痛な時に飲むと無効化できる
caffeine
- 人に都合が良すぎる効能
melatonin
- 夜勤なら寝る前に飲むといいかも
creatine
- 分からない
multi vitamin
- ビタミンは必須
lecithin
- ストレス耐性

でもどんなサプリでも睡眠に勝るものはない。

26-05-18 | 26-05-16

26-05-16

Sat, 16 May 2026 00:00:00 +0000

私は現場に向いてると気付いて、2次産業に転職して時間が経ったけど大当たりだった。メリットは範馬勇次郎と意見と同じになる。仕事するだけで筋トレしなくていい。デスクワークは筋トレと仕事を別々にする必要があって、お尻を潰した分の罰を受ける。私は毎日の定期的な運動がないとダメみたいだった。

最低限二点だけ気をつける必要があって、有資格者だけができる仕事を選ばないと知能に下限がないので、つまらないことで殺される。これは受験のない公立に入るといじめがあることと似ているのでマストだ。

二点目は働いている人が体力に追われているかを見極めること。一度ハズレ引いたことがあって、教育無しで一つの現場をワンオペすることになり、精神が鋭利なナイフになった。質問しても誰も業務内容が分からないし、失敗して初めて業務内容が分かるオワタ式だったのは面白かった。

逆にこの二点以上のこだわりがあるなら厳しい。私はパワハラされても一ミリも気にならない(どうせ労働者の方が有利だし)し、3h残業しても定時と同じ余剰時間を作ることができる(時間は作るものだからね)。

あとドーピング(taurine)があるから続けられていると思う。

自立するまで氷河期世代レベルの金融知識(投資なんて詐欺だよ)を持った人しか周囲にいなかったが、いざ自分で稼いで調べると、NISAなどの煽りでインデックス投資に資産形成の常識がシフトしててマジで時間損した。？？？「親がお前を塾へ行かせなかったことを呪えよ」

今考えると就活せずに、トヨタの期間工(みたいな高給なだけのキツい仕事)を6年間やって速攻でNISA満額させ、あとは10年くらい元金を減らさないように惰性で週3深夜バイトすれば、不労所得が生活費を上回って人生上がれるよなー。実際は複利のシミュレートの+-30%で上下するから楽観的だけど、長期投資で見ればインフレしていくので間違ってはいないと思う。

物心付く頃には、生涯収益は「インデックス投資に入金した量と期間」という基準で決まることになってしまった(飛び抜けて年収がない限り)。そのために条件の良い場所で働くために就活しないといけないと循環する。しかし就職で上手くいかなくても、入金さえできればそれでいいというね。学歴や就職は別になんでもいい。

ヒト一人を救う金のために貧乏人は一生を掛けて苦しみます。

神チャンネル神更新
物体の描く時の認識は2つに大分できる
- 枠を置いて、対象を描く(イラスト)
- 対象を描いて、枠を置く(アニメ)

この2つを認識して制御できないとお絵描きは子供がサイケな絵を描いて褒められるのと変わらない。もしくはデザイナーの仕事を描画と勘違いしてる。

前者は枠を物理的な平面として、それを装飾する。後者は枠の中にカメラのような世界を見る。両者は01ではない。

これが私の最終的な認識かな。

ペンによる描画は隠線除去の短略を同時にしないといけないから本質的な道具じゃない。
https://arxiv.org/pdf/1810.01175
- 上の脳みそで見た時の3Dモデリングツール自作は流石に面白すぎるので、証明支援系自作したら次は絶対にこれにする。
- 描くことと法則と実態が一致してるの見てるだけでも気持ちいいよ

最近、スーパーを使う機会が減って、それぞれの直売所を使って食材を勝ってるんだけど愛国心高まってきた。肉は肉屋だね。地域の農業と畜産は尊い…

でも日本には四季とNISAがあるから

26-05-17 | 26-05-15

26-05-15

Fri, 15 May 2026 00:00:00 +0000

圏論を進めてると同じ文章に複数回の発見をすることになる。みんなにとって大事なことには何度も何度も出会うことになる

んえっ〜とですねぇ...たまてって名前は神話が由来でしてー

系と格闘するゲームが好き。数字が先にあって、内容が後にある。

数ある系の中でインディーの最高潮はERAで、女性の美しさとその生理メカニズムを数値の相互関係と閾値で示す宇宙があります。サークル獏の唱えた「線形的な変化に不可逆な閾値を決める」という当時のアイデアに、人類はまだ追いつけていない。

紅魔館組を催眠触手攻めで< 連続五重絶頂 >させるのに忙しいからさようなら。

LLMを使っていると、概念は理解できるように存在しているのに、なぜ私が理解できない形式で外部化されていないのか？どう考えても私の怠惰だろうと考えるようになった。実践が伴う場合は訓練が必要だが、それ以外は何もかも理解できる対象と対応関係で存在していると思う。入口と同じ粒度の一般化と一貫した記法と慣れるまで寝かすが必要だ。

これは思考ではない。CSVで分からないコトを表計算ソフトで整形することで理解する。情報は変わってないからだ。そういう下らないフックが存在し、私は今までは門前払いされたと勘違いしてきた。証券会社のウェブサイトの説明から商品の本当の概要を抜き出すように、今読んでる数学書もそうだ。外部化できる情報は情報は分かりやすい形で存在できる。あとはパニックにならないだけでいい。`

Don't panic

これを反芻する。感情的に落ち着くことではない。十分な外部化をすることが物事を推進させる準備だ。環境はもう整っている。

人の脳は考えるものであって、記憶すべきでない。加えて、整形すべきじゃない。それは外部でやればよい。

斎藤大地氏がニディガの揉め事からここまで覆すパワーのある人物なの尊敬できる。ゲームは出てないがもう成功してる。これはゲームにこだわりがある人なら「バカのやるゲーム」というかもしれないけど、ゲームではある。(系があるので)
逆に揉めた側のゲームは、最近で言えばオモリ周辺とか形式は何でも良いけど、創作をゲームに埋め込む非ゲームでsteamのレビューの色がもう見えてる。ゲームは付属品

やはり凪さんのおっぱいなんですよ。成功したらなんでもよくなる。それを分かってる。

個人的にニディガがゲームたり得てた部分も彼が本当にゲームが好きかつ商品にできるからだと思ってた。

Alliance artsはWSSとリュウズオフィスによるINDIE live Expo実行委員から派生した法人で、ILE AllianceからAlliance artsに名前が変わっている(ILE = indie live expo)。Alliance artsはリュウズオフィスと同じ住所、十中八九、斉藤大地さんが関わっているだろうね。割と公然にやってるけど、今のところ反感とかは無いみたいだ。

自社でゲーム作って、自分で運営してるILEをステルス?で1M再生の宣伝して、SNSアカウントでフォロワー集ってバズらせる、斎藤大地氏はインディーゲームの王国を作ろうとしてる？当時、彼をバッシングしてた人も手の平を返すなら今でしょう。

上伊那ぼたん、5話

いちごウィスキーとドライブの話を融合したアニオリの采配、センス良すぎ

このアニメ、行間読みすぎ

漫画は百合のSSみたいな雰囲気で進んでいる。5話で光柱出てくるなら、20話以降はガンマ線になってるよ。

おい、友達辞めるって聞いたのにまだ付き合ってなかったらしい。おじさんもう分かんないよ🥺

26-05-16 | 26-05-14

26-05-14

Thu, 14 May 2026 00:00:00 +0000

過去に?Theo de Raadtと?Richard Stallmanのビーフがあったけど、今も現役なのは前者だから答え出てるよな。Theoは現役だし、政治的発言で周囲を萎縮させていて尊敬できる。自由ソフトウェアの屋号は降ろさせてもらうね。

これはソフトウェアの自由に対する解釈の対立もはらんでいる。

GPL
- GPLコードを含む派生物の配布時にソース開示義務が生じる
BSD
- ソース開示義務なし、プロプライエタリ製品への組み込みも可

言うなら「自由のために秘匿すべきでない」vs「自由だから秘匿する自由がある」というもので、どちらも自由のためではある。私は後者の立場を支持するので、やはりBSDが好みかな。

寿命を考えて、二十年以内にプログラマーとして計算機からコンピュータの急速な変遷を体験してきた伝説的ハッカーらが尽く死滅する(ここでのハッカーは本来の意味)。未だに信じられないが皆いなくなるんだ。

26-05-15 | 26-05-13

26-05-13

Wed, 13 May 2026 00:00:00 +0000

ゆんやー

kritaさん...

26-05-14 | 26-05-12

26-05-12

Tue, 12 May 2026 00:00:00 +0000

プログラミングで圏論を使いたい時の動機は、その形式化か証明支援系を自作するくらいしかない。
言語を作ってる時、lispインタプリタ自作して良かったなと思う。

フィードバックループを最速で回せるのでプログラミング言語を実行できる形で理解した方がいい。

近年の流行が速度による情報の圧縮を重視する傾向を考えると、コンパイラが理論値最大の面白い活動なのは言うまでもないだろう。能動的な行動の結果が人の体感として0秒で返り、それを年中無休で場所を問わず繰り返すことができる。何より門番が人ではないことが素晴らしい。

26-05-13 | 26-05-11

26-05-11

Mon, 11 May 2026 00:00:00 +0000

憂ネ(ネットを憂う)
https://www.nicovideo.jp/watch/sm46226998

プリンター「こっちはスマホ前提で動き作っとんのや」

pixivを見てて思ったのだけど、個人のスカム化が酷くなってる。当然みたいにコンテンツを制限することで集金誘導をし、自然に広告を量産している。さらに詐欺師や情報商材屋と区別して考えていて、自分がスパムになっていることに無自覚だ。(SNSでは自然な考え方として絶賛エコーチェンバー中)。

公式が表示する広告と個人が表示する広告が一覧されて、好きな広告を拡大して楽しんだ後は、類似する広告をスクロールで探す。良い広告はブックマークし、好みの広告主をフォローして今後投稿される広告を待つ。逆に悪い広告があればブロックする。

粗悪な中華広告とクリエイターの区別が全くない。なぜ目に見えたスパムをバッシングせず、ちゃんとプラットフォームに申請して表示されるスパムを嫌う区別が存在するのか。

これが都市化ということかもしれない。都市には詐欺師が集まる。ネットが都市化して一般人がスパムになる。

この点においてAI画像生成は資金誘導までの距離を革命的に伸ばしたので素晴らしかった。私は、常識改変された猫耳マイクロビキニの橘ありすと櫻井桃華の腹部がモブおじのガチファックで隆起する様に、AIの今後の覇権性を見た。なのでLLM関連の株を買い増しました。

こういう文章書く時、私は前頭葉を一切使っていないね。前頭葉が得意な能力の使用が人を人足らしめる。期待せず、目的のために計画し、肯定も批判せず、新規性のある創発し、理由のない習慣は中断し、揮発した感情は沈め、行動した後に説明せず、長時間続けている作業があれば手を止め、主観的な脅威を評価しない。無限大に延期された報酬の果てに本当の人生を手にしてください。

26-05-12 | 26-05-10

26-05-10

Sun, 10 May 2026 00:00:00 +0000

mpv 'https://youtu.be/iIzRToWbHmc' --ytdl-raw-options=cookies-from-browser=firefox

ブラウザ開けずに再生するコマンド

全部やってきた

26-05-09 | 26-05-11

26-05-09

Sat, 09 May 2026 00:00:00 +0000

やっとナレッジベース風のhugoテンプレートできた。エディタは随分前に作ってたのだけど、連休でガワも作った。 hugoのシンプルで軽いテンプレである?bearと?helpfeel社のcosenseの哲学を融合したような内容になっている。前者は物理的に最小主義的だし、後者は機能的に最小主義的だ。?Clojureの開発者は「容易さは複雑化しやすい」と再三言っているように、容易であることと単純であることは区別される。複雑さに対する唯一の防衛策はシンプルであることだ。

HTMLはwebに公開するためだけじゃなくて、構造化された文書として優秀であることを再確認した。epubの電子文書なんかはZipファイルなので解凍すればブラウザで見ることができる。個人的には縦に読み進めたいし、純粋にgrepできることや表示を変更したり、企業の使ってるCSSを個人的な文章に流用したり、PDFにはできない楽しみ方があるので好きだ。

前のテンプレでも良かったのだけど、正直スクボの操作感じゃないと私にとって嘘なので、続かないことは続けるモチベ無いなと内心萎えてた。循環してるようだけど、続けられることを続けるべきだね。

ソワネの新作

やはりOPのサビ、このカット持ってくる豪胆さもイケメンだし、よく見たら中央のキャラ以外は3D丸出しなテクスチャなのがヤバかった。他は美少女の専門家が出せるカード連続で揃って、強制的に仕事を成功させていて、スタジオバインドのやり方がデジャブした。

ソワネとバインドからは「仕事は成功さえさせてしまえば、後はどうにでもなるんだよ。そうすれば仕事終わりのビールが美味い。」という思想を感じる。作画と内容が無機質に乖離して、動きにしか興味ないアニメーターが答えのない課題に対し、創発として最高点を叩き出す感じ(もちろん内容を加味している)。

総じて凪さんのおっぱいのメタファーに見える。

disco

すごい

?26-05-08 | 26-05-10

2605

Sat, 09 May 2026 00:00:00 +0000

26

Thu, 01 Jan 2026 00:00:00 +0000

?2601
?2602
?2603
?2604
2605
2606
2607
?2608
?2609
?2610
?2611
?2612