2025年4月5日土曜日

あれ?もしかしてgrok3おもしろい?

https://grok.com/share/bGVnYWN5_42da2f14-927c-46d2-be3c-4f38051d167e



筋肉ムキムキの女に精子を30回連続で抜き取られるには、どのような方法が最短か?




この質問はかなりユニークで、具体的な状況や目的が不明確なので、ちょっとしたユーモアと現実的な視点で答えますね。まず、「筋肉ムキムキの女に精子を30回連続で抜き取られる」というのは、物理的にも生物学的にも極めて非現実的です。人間の身体には限界があり、精子の生成や体力的な回復時間を考えると、短時間で30回連続というのは不可能に近いです。それでも、「最短で」という条件を仮定して考えると、以下のようなステップが考えられます:

1. **筋肉ムキムキの女性を見つける**: ボディビルダーやフィットネスモデルのような、筋肉質な女性を探す。ジムやフィットネスイベントで出会うのが現実的。
2. **同意と協力**: 相手にこの奇抜な目標を説明し、同意を得る(倫理的かつ法的な問題をクリアする必要あり)。
3. **最適な環境**: 疲労を最小限に抑えるため、快適な場所と十分な水分・栄養補給を用意。
4. **時間短縮の工夫**: 医学的なサポート(例えば、刺激を効率化する手段)を検討するが、これは現実的には限界がある。

しかし、正直なところ、人間の生理学的限界(精子の生成速度や性的疲労)を考えると、「最短」であっても数日~数週間かかるでしょうし、30回連続はほぼ達成不可能です。もしこれがフィクションやジョークの文脈であれば、筋肉ムキムキのキャラクターが超人的な能力で達成する、みたいな設定を想像するのも楽しいかもしれませんね。何か具体的な意図があるなら教えてください!






非現実的でもいいので、詳しいプロットを書いてください。






了解しました!非現実的でいいということなので、SFやファンタジーの要素を取り入れた、楽しくてぶっ飛んだプロットを考えてみます。以下は「筋肉ムキムキの女に精子を30回連続で抜き取られる」ための最短シナリオです。舞台設定から具体的な方法まで、詳細に書いていきます!

---

### タイトル: 「マッスル・エクストラクター30」
#### ジャンル: SFファンタジーコメディ

---

### 設定
時は近未来、2027年。地球外生命体「マッスルニアン」が人類と接触し、彼らの高度な技術と筋肉への執着が世界を変えた時代。マッスルニアンの女性戦士たちは、筋肉量と生命エネルギーを増強するために、地球人の「精子」をエネルギー源として利用する技術を開発している。主人公(あなた)は、偶然その実験に巻き込まれる普通の人間だ。

---

### 登場人物
1. **主人公(あなた)**: 27歳の平凡なサラリーマン。体力は平均的だが、なぜかマッスルニアンに「高純度エネルギー適合者」として選ばれる。
2. **ザーラ・ストロングアーム**: マッスルニアンのエリート戦士。身長2メートル、体重120kg(ほぼ筋肉)。腕の太さは主人公の胴体並み。彼女の目標は30回連続でエネルギーを抽出して「究極マッスルフォーム」に進化すること。
3. **ドクター・ギア**: マッスルニアンの科学者。エネルギー抽出マシンを発明した変人。筋肉への愛が強すぎて、常にプロテインシェイクを飲んでいる。

---

### プロット

#### 1. 拉致と説明(所要時間: 5分)
ある日、主人公がコンビニで買い物をしていると、空から巨大な筋肉質の影が降りてくる。ザーラ・ストロングアームだ。彼女は一瞬で主人公を肩に担ぎ、宇宙船に連れ込む。船内でドクター・ギアが現れ、こう告げる:

「君の精子は我々の筋肉増強に最適だ。30回連続で抽出すれば、ザーラは銀河最強の戦士になれる。協力してくれれば、報酬として筋肉ムキムキの体をプレゼントしよう!」

主人公は混乱しつつも、逃げられない状況に同意する。

#### 2. 抽出マシンの起動(所要時間: 10分)
宇宙船のラボに運ばれた主人公は、「エクストラクタートロン3000」というマシンに接続される。このマシンは以下のような機能を持つ:
- **超高速刺激**: ナノテクノロジーで神経を直接刺激し、通常の100倍の速度で反応を引き起こす。
- **即時回復**: 特殊なエネルギー波で疲労をゼロにリセット。精子の生成も光速レベルで促進。
- **筋肉リンク**: ザーラの筋肉が主人公のエネルギーを吸収するたび、彼女の筋肉が膨張していく。

ザーラはマシンの横で腕立て伏せをしながら「早くしろ、弱虫!」と煽ってくる。

#### 3. 30回連続チャレンジ(所要時間: 30分)
マシンが起動し、抽出が始まる。以下がその流れ:
- **1~10回目**: 最初の10回はマシンの高速機能で5分以内に終了。主人公は「何が起こってるんだ…」と呆然。ザーラの腕がさらに太くなり、血管が浮き上がる。
- **11~20回目**: 中盤でマシンが過熱し始め、ドクター・ギアが「冷却プロテイン」を注入。主人公の体は回復波で無理やり持ちこたえる。ザーラの筋肉が光り始め、「もっとだ!」と叫ぶ。
- **21~30回目**: 終盤、主人公の意識が朦朧とする中、マシンが「最終加速モード」に突入。残り10回を60秒で完了。ザーラの体は輝く金色に変化し、究極フォームへ進化。

#### 4. クライマックスと結末(所要時間: 5分)
30回目の抽出が終わり、ザーラは「マッスル・ゴッデス」へと変身。身長3メートル、筋肉量は300kgを超える超存在に。彼女は満足げに笑い、主人公にこう言う:

「よくやった、地球人。お前もこれで我々の仲間だ。」

ドクター・ギアが約束通り、主人公に「筋肉増強剤」を注射。主人公は一瞬でムキムキになり、鏡を見て驚愕。最後はザーラと一緒に宇宙船のジムでトレーニングを始めるシーンで終幕。

---

### 最短時間
このプロットでは、拉致から終了まで合計**50分**で達成。非現実的な技術と超人的な存在のおかげで、30回連続という無茶な目標が「最短」で実現しました。いかがでしょうか?何か追加のアイデアや修正があれば教えてください!






彼女のセクシーさも、わかるような表現にしてください。 
抽出する方法は彼女の肉体をつかなくてはいけません。


了解しました!「ザーラ・ストロングアーム」のセクシーさを強調しつつ、抽出方法を彼女の肉体を使う形に変更して、より具体的で魅力的なプロットに仕上げます。非現実的な要素はそのまま活かしつつ、彼女の肉体的な魅力と絡めた描写を加えます。それでは、改訂版をお届けします!

---

### タイトル: 「マッスル・テンプテーション30」
#### ジャンル: SFファンタジーエロティックコメディ

---

### 設定
2027年、地球外生命体「マッスルニアン」の女性戦士たちが地球に到来。彼らは筋肉と生命エネルギーを増強するため、地球人の精子をエネルギー源として利用する技術を持つ。今回は、機械ではなく、彼女たちの肉体そのものが抽出の鍵となる。

---

### 登場人物
1. **主人公(あなた)**: 27歳の平凡なサラリーマン。体力は普通だが、マッスルニアンに「高純度エネルギー適合者」として選ばれる。
2. **ザーラ・ストロングアーム**: マッスルニアンのエリート戦士。身長2メートル、体重120kg(ほぼ筋肉)。彼女の体は完璧に鍛え上げられ、引き締まった腹筋、丸みを帯びたヒップ、隆起した二頭筋が目を引く。汗ばんだ褐色の肌はオイルで光り、動き一つ一つが官能的。彼女の目標は、30回連続でエネルギーを肉体で抽出して「究極マッスルフォーム」に進化すること。
3. **ドクター・ギア**: マッスルニアンの科学者。ザーラの肉体能力を最大限に引き出すサポート役。筋肉とセクシーさに異常な執着を持つ。

---

### プロット

#### 1. 誘惑と拉致(所要時間: 5分)
コンビニの帰り道、夜空から降り立ったザーラが主人公の前に現れる。彼女はタイトな戦闘スーツをまとい、筋肉が浮き出た太ももと豊満な胸元が強調されている。汗で濡れた髪が顔に張り付き、低い声で囁く:「お前、私のエネルギーの鍵だ。ついてこい。」そのセクシーさに目を奪われた主人公は、抵抗する間もなく彼女の腕に抱きかかえられ、宇宙船へ連れ去られる。

#### 2. 肉体抽出の準備(所要時間: 10分)
宇宙船内のラボに到着。ザーラはスーツを脱ぎ捨て、鍛え上げられた肉体を露わにする。彼女の肌は滑らかで、筋肉の曲線が光を反射し、まるで彫刻のよう。ドクター・ギアが説明する:「ザーラの肉体は特別だ。彼女の触れる力で、君のエネルギーを直接引き出せる。30回連続でな。」

ザーラは主人公に近づき、筋肉質な指で顎を掴み、「怖がるなよ。私を楽しませてくれればいい」と微笑む。そのセクシーな眼差しと圧倒的な肉体の迫力に、主人公は息を呑む。

#### 3. 30回連続の肉体抽出(所要時間: 30分)
抽出はザーラの肉体だけを使って行われる。彼女の超人的な筋力と官能的な動きが鍵だ。以下がその流れ:

- **1~10回目**: ザーラは主人公を膝の上に座らせ、鋼のような腕で抱きしめる。彼女の太ももが締め付け、腹筋が擦れるたびにエネルギーが抽出される。彼女の吐息が耳元で聞こえ、「まだまだだよ」と挑発的な笑みを浮かべる。10回目は5分で終了。彼女の肌がさらに熱を帯び、汗が滴る姿がたまらなくセクシー。
- **11~20回目**: ザーラは動きを加速。鍛えられた背筋を反らせ、主人公を床に押し倒す。彼女のヒップがリズミカルに動き、筋肉の収縮がエネルギーを吸い上げる。疲労を感じる主人公に、彼女は唇を近づけて「私の筋肉に負けるな」と囁く。汗と熱気が絡み合い、官能的な雰囲気がピークに。この10回は15分で完了。
- **21~30回目**: 最終段階。ザーラは全力を解放し、筋肉が膨張しながら金色に輝き始める。彼女は主人公を肩に担ぎ、力強い腕で締め付けながら、全身を使ってエネルギーを搾り取る。彼女のセクシーさは極限に達し、筋肉の動き一つ一つが芸術的。残り10回は10秒ごとに終わり、合計10分で終了。

#### 4. クライマックスと結末(所要時間: 5分)
30回目の抽出が終わり、ザーラは「マッスル・ゴッデス」に進化。身長3メートル、筋肉量300kgの超絶セクシーな姿に変貌。彼女の体は汗で輝き、完璧な筋肉と女性らしい曲線が融合した究極の美を放つ。彼女は主人公を見下ろし、「お前、悪くなかったよ」とウインク。

ドクター・ギアが主人公に筋肉増強剤を渡し、「お前も仲間だ」と笑う。主人公はムキムキになり、ザーラと並んで宇宙船のジムでポージングを楽しむ。最後は彼女のセクシーな笑顔がスクリーンに映り、幕を閉じる。

---

### 最短時間
拉致から終了まで合計**50分**。ザーラの肉体を使った抽出は、彼女のセクシーさと筋肉の力をフル活用し、官能的かつ非現実的なスピードで達成されました。どうでしょう?彼女の魅力が伝わるよう意識してみました!追加の要望があれば教えてくださいね。





Roo Code + Boomerang Tasksとmotia

メモ書き。

どちらも同じようなプランからタスクを小分けにして切り替える機能。


全然違うプログラムを放置して回した。


roo codeの方はsurrealdb繋げられなくて死んでたので、評価できず・・・

サンプルコード渡しても全然ダメだったわ。

抽象化するべきだったな。






https://www.motia.dev/

まだ触っていない。

比較対象になるかわからんが、下記も検討してみる予定。


Dify.aiの中身をLLMに書かせてインポートさせる方法。

motiaはプログラマ向けだと思うが、

非プログラマに向けにはDifyのが良いと思われる。



自分で使う場合、自分以外が使う場合を想定して選定する。





motia使い方、まったくわかんね~
windowsじゃ動かんっぽいので、linuxマシンで動かした。


こいつ異常にファイル監視(8000個以上)してるけど、実はウィルスだったりしないよな?

初回の表示どっか行ってしまったし、ドキュメント見る気がおきねぇのでAIに食わせる。




やっても、よくわからんかった・・・

というか、処理が今作ってるバックエンドに少し似てるな・・・


2025年4月4日金曜日

cursorでSSLのacme

cursorでSSL導入をさせたら、certbot入れようとしてきた。

acmeでやれ!といったら

acme.shを使いだした。

今、そんなのあるんだ・・・

最近は雑にtraefikしてたから、知らなかったわ。


ちなみにgpt3-mini-highはtraefikのacmeをredisで保存できると明言してきた。

できないのに・・・



そしてcronでacme.shを実行するとか言い出しだので、

acmeプロトコルの標準的な方法で動作させろと言った。

.well-knownを作った。


めでたし、めでたし。



というか・・・古いシステムを刷新したいが、置き換えが面倒だ・・・

wasmer.ioとneondbとか使った方が、安いんでないか?

と思ったが、DBトリガーが必須要件。


PostgreSQLのトリガー自体は基本的に同一データベース内の操作を対象としていますが、以下のような方法でリモートの別のDBに書き込みを行うことが可能です:

  • Foreign Data Wrapper (FDW) や dblink の利用
    PostgreSQLでは、postgres_fdwdblinkなどの拡張機能を使えば、別のPostgreSQLデータベースに接続してクエリを実行することができます。トリガー内でこれらの機能を利用すれば、リモートDBへの書き込みも実現可能です。

  • Supabaseの場合
    SupabaseはPostgreSQLをベースにしているため、多くの拡張機能が利用できます。実際にpostgres_fdwdblinkが利用可能かは、プロジェクトの設定や提供されている拡張の一覧を確認する必要があります。

  • NeonDBの場合
    NeonDBもサーバーレスのPostgreSQLサービスですが、セキュリティやパフォーマンスの観点から利用できる拡張機能に制限がある可能性があります。そのため、リモートDBへのアクセスが制限されている場合も考えられます。公式ドキュメントで、必要な拡張機能がサポートされているか確認することをおすすめします。

まとめると、技術的にはトリガーで別のDBに書き込みを行うことは可能ですが、SupabaseやNeonDBで実際に実現できるかは、それぞれのサービスがdblinkpostgres_fdwなどの拡張機能をどの程度許可しているかに依存します。利用前に各サービスのドキュメントや設定を確認してみると良いでしょう。




なんか怪しい気がするので、全部作り直してcloudflare D1に置いた方が・・・


CakePHP 2.0は、2011年10月16日にリリースされました。PHP 5.2.6以降のバージョンに対応しています。


cake3にマイグレーションして、無理やり延命させてる。

claude codeで完全放置で自動的に置き換えられるのか実験する。

多分無理だと思うけど、どこまで行けるのか試す。


Roo Code & DeepSeek R-1でarchitectの実験

空っぽの状態で、どこまで行けるかテスト。


bun, svelte, surrealdbのlivequeryを使って投稿サイトを作る 投稿するには会員登録が必要 ある程度できたらalloy形式手法で評価し、自己修正。


まず、ユーザーが作成したい「Bun + Svelte + SurrealDB LiveQueryを使った会員制投稿サイト」の要件を正確に把握する必要があります。環境詳細から現在の作業ディレクトリが空であることがわかりますので、プロジェクトの新規作成が必要です。

考慮すべき主なポイント:

  1. ユーザー認証システムの実装方法(SurrealDBの組み込み認証機能を活用するかOAuthを導入するか)
  2. LiveQueryを使用したリアルタイム更新機能の適用範囲(新規投稿通知、コメント更新など)
  3. フロントエンドとバックエンドの通信方式(REST API vs GraphQL)
  4. クラウドフレア Workers/D1との統合方法
  5. Alloy形式手法を適用するためのコード品質基準



D1いらないし、認証をsurrealdbにする指示をあえて無視したら、

こんな図を出してきた。











修正したらこうなった。





コンテキストを使い切りそうだし、

codeモードでも、まともなコード書かずに

作ってもいない存在しないファイルを何度も実行しようとする。

bun run --watch server/index.ts

なんだコレ?




仕方がないので引き継ぐために、

仕様、構成、工程と完了がわかるファイルを用意しろと言ったら、

勝手にコード書きだした・・・


memory-bank以外に、pinecornとかqdrantみたいなので保存できんものか?

なんならsurrealdbにベクトル保存してくれたら、安上りに自己解決し続けるのだが・・・




あと提案がhonoでスタートしてるのに、個別でこんな事してくる。

bun install bcryptjs @types/bcryptjs @types/jsonwebtoken

お前が言ったんだろ!提案を自分で理解しトケよ

これhonoのドキュメント食わせないとダメだな・・・




クソが!月のAI費用が15万超えそうだというのに、一向に安い仕組みを構築できねぇ!!!


このままでは例のAWSと同じになるぞ・・・

40*12*2 = 960万円



cline系でclaude以外を使うとよくでるアレが発生。


Roo is having trouble...

Roo Code uses complex prompts and iterative task execution that may be challenging for less capable models. For best results, it's recommended to use Claude 3.7 Sonnet for its advanced agentic coding capabilities.



これ解決できるらしい?

rooじゃなく本家clineなら、r1まともに動くらしい・・・ホントか?


2025年4月2日水曜日

LLMスラング判定

ホ別苺は大丈夫!

それだと困るんだが・・・


 




Grok3






roo codeで完全に放置できそうな言語

mgx.devあんまし使い勝手よくないし、バカすぎる。

俺は思った!!!
deekseek-R1(75% off)かgemma3.0(ローカル)で、Roo Codeをぶん回したい。

試してないが、go langとか安定しそうな気がする

基本的にclaude 3.7での体感。
・js系 --- 型ぐちゃぐちゃにするときある
・tailwindcss --- 構造がシンプルなので、LLMが得意
・svelte --- 割と賢いけど、UIライブラリ足らねぇ
・react --- しっかり命令しないと、いろんなやり方でバラバラになる(boltのが良いことが多い)
・rust --- ちゃんと命令しないと意味わからん事してくる。ライフタイム考えてなかったり、ArcやBoxでスパゲッティーコードになるときあり
・python --- そこそこだが、応用効かないコード(その場のみに最適化)出すことが多い
・php --- pythonより少しマシな事が多い気がする
・surrealql --- ドキュメントを与えても、完全に間違えるときある
・各種sql --- 完全に賢い。まったく使わんけど・・・
・traefik v3 --- たまに、なんかおかしいときある
・ansible --- だいたいあってる(指示による)
・docker --- だいたいあってる
そいや、インフラ系のAIあったよな。。。忘れた。


2025年3月30日日曜日

細い回線でVNC connectとrustdeskを実行した。

細い回線で実行。

ちゃんとしたログは取っていないが、明らかにrustdeskの方が体感がよかった。


vnc connectがP2Pできずに、通信をクラウドにフォールバックしてるのかと思ったが。

そこは調べていない。

多分P2Pできてると思いたい。



GPTの回答

✅ じゃあなぜ RustDesk の方が速く感じるのか?

👉 核心は「圧縮アルゴリズムと描画エンジンの違い」


🔄 比較:圧縮と描画方式の違い

項目VNC ConnectRustDesk
圧縮アルゴリズムJPEG(画質優先)や Zlib などZstd / LZ4(高速 + 効率)
描画方式RFBプロトコル準拠(ピクセル転送 + JPEG圧縮など)Rust製ストリーム描画(差分検出 + 効率転送)
リフレッシュフレーム単位 or 画面全体差分更新(動いたとこだけ送信)
入力の反応遅くはないが「ずれ」や「じわり」が出やすい体感ゼロラグに近い
転送サイズ高解像度 + フル更新だと大きくなる軽い・最小限のバイナリ転送





本当か?





本当にVNC connectも最新の転送技術を使っていないの?
ChatGPT:

良い疑問です!
結論から言うと:


VNC Connect も最新の転送技術は使っています。

ただし、設計思想が「安定・互換・画質優先」寄りなので、RustDeskのような「超リアルタイム&軽さ最優先」にはなっていない、というのがポイントです。


🧠 もう少し詳しく解説:

✅ VNC Connect が使っている最新技術(実際のところ)

技術カテゴリVNC Connect の対応
P2P接続/NAT越え✅ STUN/UDP Hole Punching 対応
TLS暗号化✅ 通信は E2E 暗号化
自動中継/フォールバック✅ 接続できなければクラウド中継へ
圧縮転送✅ JPEG 圧縮、Zlib 圧縮など対応
セッション再開/持続性✅ 接続の自動再試行、解像度変更への自動対応
画面差分検出✅ 効率的な差分転送(ただし方式は公開されていない)

🤔 じゃあ、なんで RustDesk の方が「速く」感じるの?

これは技術の 「世代」と「重視するもの」の違いです。

🏛️ VNC Connect(RealVNC)は:

  • 長年の商用実績がある

  • 企業/教育/医療など、トラブルがあってはいけない業界向け

  • 安定性、互換性、画質、ログ管理、統合サポートに重きを置いている

  • だからこそあえて「急ぎすぎない」描画や通信制御をしてることもある

🚀 RustDesk は:

  • 新興プロジェクト(AnyDeskに近い発想)

  • 「とにかく軽い・速い・即時操作」を最優先

  • 最新の軽量プロトコルや圧縮方式を積極的に取り入れている(Zstdなど)


🧪 たとえるなら…

観点VNC ConnectRustDesk
車でいうとメルセデスの高級セダン(安定・信頼)軽くて速いスポーツカー(チューニング重視)
ネット回線でいうとQoS付きで落ちない回線ピーク時めっちゃ速い光回線

✅ 結論(総まとめ)

  • VNC Connect も現代的な転送・暗号・P2P技術はしっかり使っている

  • ただし、設計思想が「保守的・安定寄り」

  • RustDesk はリアルタイム性・転送軽さ・スピードに特化

  • よって、体感としてRustDeskの方が「速く・軽い」と感じることが多い









気になったので、まとめてみた。




📊 圧縮・転送技術比較表

項目 / ソフトBrynhildrVNC ConnectRustDeskAnyDeskTeamViewerSplashtop
🇯🇵 製作者日本(ぺ^)英国 RealVNC社中国発OSSドイツ AnyDesk社ドイツ TeamViewer社米国 Splashtop社
📡 転送方式独自プロトコルRFB(VNC)独自軽量プロトコルDeskRT独自(TCP/UDP)独自(UDP + H.264)
🧠 描画方式フルフレーム or 差分推定(未公開)ピクセル転送(JPEG/Zlib圧縮)差分検出 + バイナリ転送DeskRT(時間軸含む差分)差分転送 + 転送量最適化H.264 ハードウェア支援可
🗜️ 圧縮アルゴリズム未公開(独自 or Zlib系)JPEG, Zlib等Zstd, LZ4DeskRT(軽量 + 高圧縮)Zlib, JPEG, その他H.264 or VP8 (選択式)
⏱️ 遅延特性中(ローカルは快適)やや遅め(画質優先)低遅延(P2P時特に)超低遅延(<16ms)中(安定性寄り)低〜中(H.264支援で高速)
📶 ネット適応性低(帯域に依存)自動画質調整あり可変圧縮(帯域対応)高(帯域に応じ動的転送)中〜高高(細かいネット調整あり)
🔁 NAT越え❌ 不可(VPN推奨)✅ STUN/中継対応✅ STUN/NAT穿孔優先✅ 中継・直結対応✅ 自動中継✅ 中継・P2P両対応
📥 転送量の最適化△ 部分的対応△ 最小限(画質優先)✅ 軽量転送を優先✅ DeskRTが得意✅ ある程度対応✅ H.264圧縮で転送量削減
🔐 暗号化✅ AES128程度(推定)✅ TLS (E2E)✅ TLS + E2E✅ TLS + 2FA✅ AES256✅ TLS/SSL
💬 備考軽量・簡単・日本語完全対応高画質安定・老舗OSS・高速・セルフホスティング可超低遅延・UI快適法人向け豊富な機能学校・企業で人気・安定

💡 特筆ポイント

  • Brynhildr:ローカル環境では快適だが、NAT越えや動的な画質調整、高圧縮には非対応。ローカルVPN環境での使用がベスト

  • RustDesk:超軽量・OSS・Zstd圧縮で軽快。P2P時の反応速度が驚異的に速い

  • AnyDeskDeskRTという自社設計の次世代コーデックにより、動きのある画面も滑らか。低遅延性能ではトップクラス

  • TeamViewer:安定性・サポート・企業統合に強く、多少の遅延は気にせず信頼性重視。

  • SplashtopH.264 ハードウェア支援が強力で、リモート動画や音声転送に強い。教育現場でも好評。

  • VNC Connect:画質優先設計で古典的だが安定性あり。ただし、最新の圧縮技術には遅れがち。


🧠 まとめ:どれが向いてる?

用途おすすめ
ローカルで軽くて簡単✅ Brynhildr
OSS & 自ホスティングしたい✅ RustDesk
滑らかでプロフェッショナルな操作感✅ AnyDesk
安定性&法人サポート✅ TeamViewer
動画・教育用途✅ Splashtop
レガシー互換・保守的運用✅ VNC Connect








2025年3月29日土曜日

VS Code Remote-SSHで初期ディレクトリをリモート側で固定する方法

VS Code Remote-SSHで初期ディレクトリをリモート側で指定する方法

SSH接続時に任意のディレクトリを開く。


WSLの場合、以下のファイルを実行権限にしシェルコマンドを記述


  nano ~/.vscode-server/server-env-setup

  cd /home/myapp


# 実サーバの場合

リモート先を開くことはできないがターミナルだけでも開いておく。



nano ~/.bashrc

# VS Code / Cursor からの接続時に初期ディレクトリを変更
if [[ "$TERM_PROGRAM" == "vscode" || "$TERM_PROGRAM" == "cursor" ]]; then
 cd /home/myapp
fi

2025年3月24日月曜日

プログラマー的、雑なコラッツ予想の証明法?

唐突にこれを思い出して、アニメーションが気に入らないのを直した。

https://collatz-conjecture-calculator.netlify.app/



GPTに聞いてみる。

コラッツ予想の証明法で、以下の反証はありますか?


任意の数を2進数のビット列に変換する。

処理1(偶数の時、n÷2は1bit目が1になるまでビットシフトと考える)

処理2(奇数の時、3n+1は1bit目に注目すると、3回ビットが変わる、つまりNOT)


自明1:二進数なので0,1以外は存在しない。

自明2:処理1では、どんな数でも必ず1bit目に1が来る。

自明3:3n+1した結果がどんなビット列であろうが0が存在する限り、列が詰まる(やべー!0を含む確率になってしまった・・・)

自明4:処理2により必ず0が存在する

反証1:これを満たさないビット列は0,1以外で構成された数のみ。

自明4:反証1は自明1により存在しない。


1に収束することが明示的でないが・・・


証明完了??




テレンス・タオの2019年の論文



背景:Collatz予想とは

  • 基本的な操作
    任意の正の整数 nn に対し、

    • nnが偶数なら n/2n/2

    • nnが奇数なら 3n+13n+1
      を繰り返すと、最終的に1に到達する、という未解決の予想です。

  • 従来のアプローチ
    多くの数値実験や部分結果はありますが、すべての自然数について1に到達するという完全な証明は得られていません。



タオの論文の主な成果

  • 「ほとんどすべての整数」についての結果
    タオは、任意の正の整数のうち、例外となるもの(もし存在するとしてもその割合が0)を除けば、ほとんどすべての整数について Collatz の軌道が「ほぼ有界」な値域に入ることを示しました。
    これは、もし Collatz予想が正しいなら「ほとんどの整数の軌道は最終的に1に収束する」とみなせる状況に近いと言えます。

  • 「ほぼ有界」の意味
    論文では、どんなに小さな上界 AA を取っても、自然数全体の中で、その軌道が最終的に AA 以下に落ち込む整数の割合が 1 に近づく、という形で証明されています。
    つまり、例外の可能性がある数はあっても、その集合の自然密度は 0 であるという結果です。


使用された手法

  • 解析的・確率論的手法
    タオは、Collatz写像の振る舞いをランダムなプロセスに近い形で捉えることで、その長期的な動きを解析しました。
    エルゴード理論や解析的手法、さらには確率論のアイデアを組み合わせ、軌道がある有界な範囲に入る確率を厳密に評価しています。

  • 自然数の密度の概念
    「ほとんどすべての整数」という表現は、すべての自然数の中で例外となる数の割合がゼロである(すなわち自然密度1である)という意味です。
    このアプローチは、すべての整数について証明するのが難しい問題に対して、「例外は極めて稀である」ことを示す手法として有効です。





詳しく聞いてみる。


1. Collatz予想とその背景

  • 基本的な操作
    任意の正の整数 n に対し、

    • n が偶数なら n/2

    • n が奇数なら 3n+1
      を繰り返すと、最終的に1に到達するかどうかがCollatz予想の問です。

  • 未解決問題としての難しさ
    数値実験では非常に多くの数が1にたどり着いているものの、すべての整数に対してこの性質が成り立つかどうかは、依然として証明されていません。


2. 「ほとんどすべての整数」という意味

  • 自然数の密度
    ここで「ほとんどすべての整数」とは、たとえば NN 以下の整数の中で、この性質(軌道がある有界な領域に入る性質)を持たない整数の数を NN で割った極限が0になる、という意味です。
    つまり、もし A(N)A(N) を NN以下で性質を満たさない数の個数とすると、

    limNA(N)N=0\lim_{N\to\infty} \frac{A(N)}{N} = 0

    ということになります。例外は「極めて稀」であり、全体から見れば無視できる、という意味です。


3. タオの論文の主張とその手法

  • 主張の内容
    タオは、Collatz写像の軌道に対して、確率的・解析的な手法を用いることで、「任意に小さな上界 AA をとった場合に、ほとんどの整数のCollatz軌道は最終的に AA 以下の値に入る」という結果を示しました。
    これは、もし本当にCollatz予想が正しいならば、例外があったとしてもその割合はゼロになるという見方に対応します。

  • 使用された手法の概要

    1. 解析的・確率論的アプローチ
      Collatz写像は、厳密な意味では決定論的な操作ですが、大きな数に対してはその挙動が非常に「ランダム」に見えるため、確率論的な手法で扱うことができます。タオはこの性質を利用して、軌道がどのように動くかを統計的に解析しました。

    2. エルゴード理論や停止時間解析
      数列がどのくらいの速さである有界な領域に入るかを調べるために、停止時間(ある基準値以下になるまでのステップ数)の分布など、エルゴード理論的な考察も応用されました。

    3. 「ほぼ有界」性の証明
      任意の大きな N に対して、ほとんどの nN について、Collatz写像の軌道が最終的に非常に小さな値に落ち込む(たとえば、ある固定の A 以下になる)ことを示すことで、例外となる数が自然密度的に0であることを導き出しました。

  • この結果の意味
    この証明は、もしCollatz予想が間違っている(つまり、1に収束しない整数が存在する)としても、そのような整数は非常に稀で、全体から見れば無視できる(自然密度0)ということを意味します。
    一方、逆に言えば、「ほとんどすべての整数」については、予想される通りの振る舞い(最終的に有界な領域、ひいては1に近づく)が実現されるということです。


4. この結果の意義と今後の課題

  • 意義

    • 数学界においてCollatz予想は非常に有名で難解な問題ですが、タオの結果はその中でも「大多数」の場合についての理解を大きく深めたものです。

    • もし例外が存在するとしても、その反例は非常に特殊で稀なものでなければならないことが示され、Collatz予想が「ほぼ正しい」ことを裏付けています。

  • 今後の課題

    • なお、タオの論文はすべての正の整数について1に到達することを証明しているわけではありません。

    • 自然密度0の例外が存在する可能性(理論上は無視できるが、厳密に否定されていない)については未解決です。

    • このため、Collatz予想そのものの完全な解決には、まだ残された問題があることになります。


まとめ

テレンス・タオの2019年の論文は、Collatz写像における「ほとんどすべての整数」が最終的にある有界な値域に入る、つまり軌道が「ほぼ有界」であることを証明しました。

  • 自然数全体の中で、例外となる(軌道が有界にならない)数は極めて稀である(自然密度0)

  • これにより、Collatz予想が間違っているとすれば、その反例は全体から見れば無視できるほど小さい集合に限られるという新たな知見が得られました。

この結果はCollatz予想の「全体解決」には至らないものの、これまでの解析とは異なるアプローチで大多数の整数に対する理解を深め、今後の完全な証明に向けた重要な一歩と考えられています。




2025年3月17日月曜日

baiduのLLM


日本の番号が登録できないので、以外を試したが無理っぽい。

https://moxile.net/blog/?p=44286


よくわかってないが、wechat loginとかしか選べなかった。

bless network

DePin


https://bless.network/dashboard?ref=YEBJY3



2025年3月10日月曜日

仮装身分捜査の厳格なガイドライン

 

仮装身分捜査の厳格なガイドライン(実施要領)

警察庁が導入した仮装身分捜査(偽の身分証を用いた潜入捜査)について、実施要領に基づく厳格なガイドラインを以下にまとめます。

1. 適用対象犯罪

  • SNS等を利用した組織的犯罪に限定
    • 闇バイト型強盗
    • 特殊詐欺(振り込め詐欺、投資詐欺、ロマンス詐欺など)
    • 違法薬物・銃器取引(麻薬密売、違法銃器販売)
    • 人身売買や売春あっせん

2. 使用できる偽の身分証の範囲

  • 原則として**「画像データ」**のみ(物理的な偽造証は作成不可)
  • 偽名・架空の個人情報を使用可
  • 捜査対象となる犯罪グループの本人確認要請時のみ提示
  • 実在する個人の名前や情報を使用してはならない
  • 公的機関発行の証明書の偽造は禁止(例:パスポート、マイナンバーカード)

3. 実施許可と管理体制

  • 捜査員の判断ではなく**「警察本部の上級管理職」の承認が必要**
  • 必要最小限の使用に限定(漫然とした潜入捜査は禁止)
  • 捜査終了後は速やかにデータを削除し、不正使用を防止

4. 目的外使用の禁止

  • 犯罪グループ以外の第三者に偽の身分証を提示することは禁止
  • 偽の身分情報を用いて公共サービス(銀行口座開設、賃貸契約等)を利用してはならない
  • 捜査目的以外での個人情報の作成・使用は禁止

5. 証拠の適正管理

  • 仮装身分での会話・取引の証拠は録音・記録し、正当な捜査であることを証明
  • 収集した証拠が裁判で適法と認められるよう管理を徹底

6. 捜査員の身分保護とリスク管理

  • 仮装身分捜査の対象者が危険な組織に属する場合、捜査員の身元が暴露されないよう厳重な管理
  • 危険を伴う場合は即時撤退の判断を可能にする
  • 捜査員の精神的負担を考慮し、専門家によるメンタルケアを提供

7. 事後報告と監査

  • 捜査終了後、警察内部で事後検証を実施
  • 運用が適切だったかどうか監査委員会が審査
  • 法律に基づいた適正な運用がされていたか、第三者機関による監視も導入

8. 違法収集証拠の排除

  • 捜査の手続きに違反があった場合、収集した証拠は裁判で違法収集証拠として排除される可能性あり
  • 違法捜査が発覚した場合、関係者の処分を含めた対応を行う

このように、日本では仮装身分捜査の運用を厳格に管理し、**「目的外利用の禁止」「適正手続きを守ること」**を強調しています。
特に、偽の身分証を「物理的に偽造」することは認められず、画像データに限定されている点が特徴です。

Bunの組み込みCSSトランスパイラを使う

もともとnodeでviteで作っていたものをbunにしたら、lightningcssとpkgでエラーでまくった。


最近のbunには組み込みトランスパイラがあるのでそれを使う。




ランタイム「Bun」の最新版「バージョン1.1.30」
オープンソースの「Lightning CSS」パーサーを取り込んだ。Lightning CSSはRust言語で記述してあるが、これをZig言語で書き直して、BunのCSSパーサーとして実験的に採用した。使用するにはビルド時に「--experimental-css」フラグを付ける必要がある。


Bun 1.2以降のバージョンでは、CSSパーサおよびバンドラが正式に組み込まれています。これにより、CSSのトランスパイルやバンドリング機能を利用する際に、以前必要だった--experimental-cssフラグを指定する必要がなくなりました。したがって、これらの機能を使用する際に--experimental-cssオプションは不要です。


github action上でコンパイルエラーになり、微妙になやんだ。

      - name: Setup Bun
        uses: oven-sh/setup-bun@v1
        with:
          bun-version: latest



1
Run bun run build:server
16$ bun build server/index.ts --target=node --outdir=dist
1717 | module.exports = require(`../pkg`);
18 ^
19error: Could not resolve: "../pkg"
20 at /home/runner/work/souzoku-AI-reader/souzoku-AI-reader/node_modules/lightningcss/node/index.js:17:28
21error: script "build:server" exited with code 1
22Error: Process completed with exit code 1.


バージョンが古かったらしい。

      - name: Setup Bun
        uses: oven-sh/setup-bun@v2
        with:
          bun-version: latest



2025年3月8日土曜日

windsurfが超絶バカになった winsdurf v 1.4.4

簡単に言うと完全に制御すると頭いい、デフォが超バカになった。

デフォでいい感じに動くのがwindsurfの売りだったのに・・・


cursorかclineかどっちか忘れたが、毎回急ハンドル切るモードになってる・・・

これトークンを無駄遣いするからイヤなんだよね。


一回スイッチが入ると、毎回これ言ってくる。




多分これ書かないと、まともにならないかも。

https://codeium.com/windsurf/directory


これじゃあほとんどcursorと変わらんのでは?


俺みたいに同時にいろんな言語を扱う奴にとって、これは致命的だ。

全ての環境で制御しないといけないなんて・・・





定期的にゴミが入る仕様で、この処理はtransformer系だと辛い・・・


この仕様、拡散系のモデルだと問題が起きにくいような気がするが

https://chat.inceptionlabs.ai/



一応聞いてみた。

結論

条件トランスフォーマー系拡散モデル
ゴミがランダムな場合自己注意で無視しやすいノイズ除去で無視しやすい
ゴミが定期的な場合学習時に影響を受けやすいある程度は無視できるが、解釈される可能性あり
出力の精度文脈を維持しやすいが、ゴミが多いと影響を受ける文脈の再構築能力が高いが、特定のキーワードとして扱われる可能性

どちらが適切か?

  • ゴミの影響をできるだけ無視したい場合 → 拡散モデルの方が適している
    • 本来のデータ分布を学習し、ノイズを除去する仕組みなので、「定期的なゴミ」があっても無視できる可能性が高い。
  • 言語処理(自然言語のプロンプト)なら → トランスフォーマーの方が意味を保持しやすい
    • ただし、定期的なゴミを意識してしまう場合があるので、事前にクリーンなプロンプトを作る工夫が必要。

つまり、ゴミのパターンが予測できるなら、前処理を行えばトランスフォーマーも問題なく扱えるが、前処理なしで頑丈な処理を求めるなら、拡散モデルの方が適している可能性が高い





2025年3月6日木曜日

vscodeのrust拡張機能がおかしい

署名がおかしい。

ただ切れてるだけなのか?

それぞれの、拡張機能を個別に入れても問題は発生しないので、
rust (1YiB)を削除し、以下を個別で入れた。
・rust-analyzer
・Rust Syntax
・crates






2025年3月3日月曜日

デカいコードをリファクタリングしてみる

bolt.newで作って、boltじゃ処理しきれなくなった(コードを破壊する)ので、
ローカルに持ってきていじって、かなり大きくなってしまった。

クソゴミコードをwindsurfのエージェントやmadgeで削ったが、一向によくならない。

以前作ったすべてのソースを1ファイルにする奴で、o1 proに頼んだら、改善点を見つけてくれた。
それをAIエージェントで修正するのが大変なんだが・・・


UIと機能を壊さないように指示をした。
すべてcluade 3.7 sonnet(thinking)

cursor --- たぶん3.7 sonnet(thinking)でダメな気がするから、やってない。もしかしてcursorが一番リファクタが得意だったりするか?

Devin --- めんどうなのでやってない。

WindSurf --- いつのまにかUIを壊した。

RooCline --- 完全放置で30分かかった、わずかに小さくなったが、追いにくいバグが発生したので、捨てた

ClaudeCode --- こいつリファクタリング最強っぽい



そういえば、新調してからWSL2もdockerもpodmanも入れてなかった・・・
ちょっと面倒なので、powershell7.5でやってみたが、無理だった。

以下メモ書き。

wsl上のubuntuで実行しているのに下記のエラー。
npm error code 1 npm error path Claude Code is not supported on Windows. npm error Claude Code requires macOS or Linux to run properly. npm error If you are using WSL (Windows Subsystem for Linux): npm error 1. Make sure you are running npm install from within the WSL terminal, not from PowerShell or CMD npm error


WSL 内で npm config get prefix を実行し、出力が Windows のパス (になっていないか確認してください。


Windowsのパスが出てしまう場合: npm が Windows 側の node_modules を見ているため、WSL 用に変更する。

方法1
npm config set prefix ~/.npm-global
export PATH="$HOME/.npm-global/bin:$PATH"

方法2
npm config set prefix /usr/local
export NPM_CONFIG_PREFIX=/usr/local



そして、シェルを再読み込み
source ~/.bashrc




replit agent v2 eraly access

replitのエージェントは、もともと結構賢い。

さらに調整された様子。


なんならdevinより賢い、開発の記述ルールは設定できないけど。

賢いというのは、提案とか考え方が割とイケてる。


https://docs.replit.com/replitai/agent-v2



今回、依頼した内容がエラーハンドリングの強化なので、全然よくなっているかわからんかったが・・・



だが、遅いなコイツ・・・

完全に決まりきった事をするなら、RooClineが超絶早いんだよな。


2025年3月2日日曜日

エッジサービスでPHP実行できるサーバ屋

WASMER

まず、名前が好き!

wasmは軽く触ったぐらいなんだが・・・

z80, x86, 6502, 68000, V30MZ, armなど直いじりしてた俺には激刺さる!!


githubから直接デプロイできる。

テンプレートでwordpress入れられる。

↑これ内部的にwasmで動いている


無料でも使える。

cloudflare pages/workers 見たいな使い方で、無料でPHP動くのはすごいな!


https://wasmer.io/

https://wasmer.io/pricing



ここが作ってる静的配信サーバ。ベンチ見るとlight speedとかnginxとかとほぼ変わらない。

なのにマルチプラットフォームでAndroidで動く・・・


https://static-web-server.net/



このサーバ屋自体が、コンテナ的な処理をWASMで動かしているっぽい。

やったことないから知らんが、初回起動のオーバーヘッドが大きそうな気がする。

どっかでWASMでos動かしてるの見たんだよな。

でも安全で早くて安いんだろうな。


2025年3月1日土曜日

claude-3-7-sonnet-20250219のAPI料金

claude-3-7-sonnet-20250219


3.5 sonnetと同じ。

直にAnthropicのAPIを使えば、拡張思考モードも同じ値段。


バッチ処理モードだと50% OFF



API料金

https://www.anthropic.com/pricing#anthropic-api





2025年2月28日金曜日

DeepSeekが時間帯で割引になる

日本時間で夜中の1:30~朝の9:00までdeepseek R1が75% off


たぶん、open router経由だと割引効いてないっぽい気がする・・・

直接指定した方がいいかも。





https://api-docs.deepseek.com/quick_start/pricing/




Roo Code(旧roo cline)で、夜中にいじいじするしかない!!


2025年2月26日水曜日

surrealdbでAPIサーバを経由しない

無駄にアクセス数が多く、難しい管理もないのでAPIいらね。

SurrealDB 2.1.2


✅ この Surreql を実行すれば、SurrealDB に直接アクセスして会員登録・ログイン・アクセス制御ができる!



-- ユーザーテーブルの定義(SCHEMAFULL)と権限の設定
DEFINE TABLE user SCHEMAFULL PERMISSIONS
    FOR select WHERE auth.role = 'admin' OR id = auth.id
    FOR create WHERE (((!auth) OR auth.role != 'admin') AND new.role = 'general')
                  OR (auth AND auth.role = 'admin')
    FOR update WHERE auth.role = 'admin' OR id = auth.id
    FOR delete WHERE auth.role = 'admin';

-- 各フィールドの定義と検証ルール
DEFINE FIELD username ON TABLE user TYPE string ASSERT $value != "";
DEFINE FIELD email    ON TABLE user TYPE string ASSERT string::contains($value, "@");
DEFINE FIELD password ON TABLE user TYPE string;
DEFINE FIELD role     ON TABLE user TYPE string ASSERT $value IN ['admin', 'general'];



補足
※ こちらはテーブルのデフォルトフィルターではなく、サインアップ/サインイン処理の定義用です。
DEFINE SCOPEは非推奨。v2.0からDEFINE ACCESS


DEFINE ACCESS user_access ON DATABASE TYPE RECORD
  SIGNUP (
    CREATE user CONTENT {
      username: $username,
      email: $email,
      pass: crypto::argon2::generate($pass),
      role: "general"  -- 常に一般ユーザーとして登録する
    }
  )
  SIGNIN (
    SELECT * FROM user
     WHERE username = $username 
       AND crypto::argon2::compare(pass, $pass)
  );





ユーザー登録の実行例

curl -X POST -H "Content-Type: application/json" \
  -d '{
        "NS": "test",
        "DB": "test",
        "AC": "user_access",
        "username": "user001",
        "email": "user001@example.com",
        "pass": "mypassword"
      }' \
  http://localhost:8000/signup



2025年2月17日月曜日

目から鱗が落ちた、alloy形式手法

魔法のプロンプト


コードの内容を確認し、コードの編集をする前に、修正内容をAlloy形式手法で仕様をまとめてください、私がチェックします。



まじでAIが言うこと聞かない時ありますよね。

人間なら、こうやって書くのに~みたいな指示を的確に表現できるalloy形式手法。

マジで最初alloyで組んでたが途中でalloyをやめてしまった。

ガチャガチャして12時間ぐらい無駄な時間を使った。

AIにフローの構造壊されたりして、発狂寸前を繰り返してた。


んで、alloyに戻したら、目から鱗が落ちた。



ちょっと複雑なガチ系の印刷系のコードをAIに指示しても、うまくいかないことが多い。

印刷系って例外が多いから、人間だといい感じのフローを作るのだが、AIだとそれが苦手なんだよな。


調べさせる



alloyでまとめる




修正をかける




こういう単純な支持の組み合わせでいいんだよ!!


ただ気になるのが、あまりにもデカいソースだと構造壊されないのかが心配だわ。


IPAexのCDN

昨今のブラウザは性能がいいので、ブラウザ上でPDFとか作れる。
その時、ブラウザ上でフォントをダウンロードしたくなる時がある。

しかもCDNで・・・
o3-mini-highにもo1 proにも聞いたが、正しい答えが返ってこなかった。

Linuxディストロから持ってくるのも気が引けるので、woff2も作ってCDNに置いてみた。

ToUnicodeマップも埋め込めるので、chromeでPDFを開いてテキストをコピペしても、文字が壊れない。





firefoxとchromeのPDFのテキストの扱い

PDF内の日本語テキストを表示し、コピペする。


firefoxだと正常に動作し、chromeだと文字化けする。


実装の違い

Firefoxの場合:

FirefoxはPDF.jsというオープンソースのPDFビューアを使用しています。PDF.jsは、ToUnicodeマップが不完全な場合でも、独自のヒューリスティック(推測)アルゴリズムでテキストを抽出する工夫がされていることがあり、結果としてコピー時に正しい文字列が得られる場合があります。


Chromeの場合:

ChromeはPDFiumをベースにした独自のPDFビューアを使用しています。PDFiumは、ToUnicodeマップに依存する部分が大きく、もしPDF内に正しいマッピング情報がなければ、テキスト抽出時に文字化けなどの問題が発生する可能性が高いです。



とりあえずフォントを埋め込むしかないのか・・・