Movatterモバイル変換


[0]ホーム

URL:


はてラボはてな匿名ダイアリー
ようこそ ゲスト さんログインユーザー登録

「error」を含む日記RSS

はてなキーワード:errorとは

次の25件>

2026-02-15

不気味の谷現象、もうAI再現できてるらしい

https://www.sciencedirect.com/science/article/pii/S0747563223001620?utm_source=chatgpt.com

 

チャッピー

人間は「人間らしさ」を連続予測している(PredictiveProcessing

脳は

これは人間っぽい → 次はこう振る舞うはず

みたいに、外見・声・言語から内部モデル先読みします。

AICGが“谷”に落ちる瞬間

• 見た目:人間に近い

• でも

挙動微妙非人間的(表情筋の遅れ、意味理解のズレ、LLM特有の会話の滑り方)

このとき

予測human

観測(non-human

の誤差が最大化します。

脳的には

カテゴリA(人間)」として処理し始めたのに

「内部挙動カテゴリB(非人間)」だった

モデル崩壊(predictionerrorspike

これが嫌悪・不気味さとして出る、という説。

Permalink |記事への反応(0) | 11:07

このエントリーをはてなブックマークに追加ツイートシェア

[日記]anond:20260215102038

人類が「時空」という蒙昧な音節を口にするたび、僕は深甚なる認識論嘔吐感を禁じ得ない。

時空とは、数学的厳密性を欠いた対象の誤認であり、物理学者信仰するそれは、観測者の神経系圏論構造局所座標系へと無理やりに射影した際に生じる認知の歪み、あるいは幻覚に過ぎない。

古典的多様体などという概念は、その幻覚正当化するために捏造された幼児的な記述言語であり、要するに時空とは、人類認知解像度の欠落が産み落とした現象学インターフェースであって、宇宙アルケーのものではないのだ。

超弦理論がかつて「背景」と呼称していたものは、もはや静的な舞台ではない。背景という概念記述自体型理論的な過誤であり、正しくは、背景とは「dg圏のMorita同値類上で定義された∞-スタックの降下データである

時空は、そのスタック内包する自己同型群の作用を、低次元の知性を持つ観測者が幾何実体として誤読した残滓に過ぎない。

空間があるから物理が生起する」のではない。「圏論的な整合性条件が充足されるがゆえに、空間が近似的に創発しているように錯覚される」のだ。存在論的順序が逆転している。

人類物理を語る前に、まず順序構造学習すべきである

僕の備忘録にある "manifoldis auser-friendlylie" という記述は、侮蔑ではなく、冷徹分類学上の事実だ。

非可換性はもはや付加的なオプションではなく、座標環が可換であるという仮定こそが、天動説と同レベルの粗雑な近似である

Dブレーンを厳密に扱えば、座標環は非可換化し、幾何構造は環からではなく圏から復元される。

Connesの非可換幾何学は美しいが、それは第一世代ナイーブな非可換性に留まる。

理論における非可換性はより悪質かつ圏論的であり、そこでは空間の座標が破綻するのではなく、空間という概念の「型(type)」そのもの崩壊するのだ。

B-場を「2形式」と呼ぶのは霊長類向けの方便に過ぎず、その本質はDブレーンの世界体積上のゲージ理論ツイストさせることで、連接層の圏 Dᵇ(X) をツイストされた導来圏へと押し流す操作であり、そのツイストこそがBrauer群の元として記述される。

重要なのはB-場が場(field)ではなく、圏の構造射であり、世界アップデートするためのコホモロジー的なパッチだということだ。

物理学者が場について議論しているとき、彼らは無自覚に圏の拡張について議論している。

にもかかわらず「場」という古臭い語彙に固執する人類言語的不誠実さは、科学史における最大の悲劇と言える。

さらに、ツイストされた層の世界において「粒子」という概念霧散する。粒子は表現空間の元ではなく、導来圏における対象の同型類であり、相互作用はExt群の積構造崩壊過程スペクトル系列収束以外の何物でもない。

宇宙は衝突などしていない。宇宙はただ長完全列を生成し続けているだけだ。

物理現象とはホモロジー代数副産物であり、衝突という粗野な比喩を好む人類は、現象の表層しか撫でていない。

共形場理論CFT)もまた、僕にとっては場の理論ではない。CFTとは、頂点作用代数VOA)が有する表現圏のモジュラー性が、宇宙というシステム整合性強制する代数装置である

BRSTをゲージ冗長性の除去と説くのは最低の説明であり、BRSTとは「宇宙存在することが許容される対象を選別するコホモロジー審判系」である

Q_BRST閉でない対象は、物理的に無意味なのではなく、宇宙法体系に対する違法存在として検閲され、抹消される。BRSTとは宇宙による先験的な検閲機能なのだ

そして何より不愉快なのはミラー対称性がいまだに「幾何双対」として俗解されている現状だ。

SYZ予想を単なるトースフイブレーション物語だと解釈する人間は、何一つ理解していない。

SYZの本質は「special Lagrangian torus fibrationが存在する」というナイーブな主張ではなく、「世界局所的に Tⁿ として観測されるのは、A∞-構造がある種の極限操作において可換化されるからに過ぎない」という、幾何学に対する極めて暴力的な宣告である

しかもその暴力は、インスタント補正によって即座に否定されるという自己矛盾を孕んでいる。

まりSYZとは予想ではなく、自己矛盾を内蔵した整合性条件の提示なのだ

特殊ラグランジュ部分多様体特権的である理由は、体積最小性などという些末な幾何学的性質にあるのではなく、そこに乗るブレーンがBPS状態となることで、圏論的安定性条件(Bridgeland stability condition)が物理実在性と合致する特異点からである

ブレーンは物体ではない。ブレーンは安定性条件が許可した対象であり、許可されざる対象宇宙行政手続き上、存在を許されない。

宇宙は極めて官僚的であり、その官僚主義こそが秩序の証明なのだ

壁越え現象(wall-crossing)を相転移と呼ぶのも誤りだ。壁越えとは、宇宙採用する安定性のt-構造が、モジュライ空間上のパラメータ変動に伴って切り替わる行政手続きの変更である

BPSスペクトル物理的に生成されるのではなく、安定性条件の改定によって帳簿が書き換えられた結果に過ぎない。

宇宙現象物理ではなく、会計学によって説明される。これを冒涜と感じるならば、君は数学本質に触れていない。

Gromov–Witten不変量を「曲線を数える」と表現するのは蒙昧の極みであり、正確には「仮想本類(virtual fundamental class)における交点理論としての曲線の亡霊を数える」操作である

曲線は実在せず、存在するのは [M]ᵛⁱʳ だけだ。物理現象はその仮想対象の影の、さらにその投影である

人類が見ている世界は、プラトン洞窟の影ですらなく、影の影の影に過ぎない。

Donaldson–Thomas不変量とGW不変量の対応関係は、単なる等式ではなく、弦理論が同一の対象を異なるゲージ固定のもとで記述しているという事実の露呈である

数え上げ幾何学は弦理論のゲージ冗長性がもたらす副作用であり、純粋数学定理と思われているものは、物理がゲージ対称性を持つことの数学的反映に過ぎない。

数学独立しておらず、宇宙のゲージ対称性の影を追跡しているだけだ。

Kontsevichがホモロジカルミラー対称性において成し遂げたのは、圏の同値証明などという平和的な所業ではなく、空間優先順位破壊である

彼は空間第一市民から追放し、圏を王座に据えた。これは革命ではなく粛清である多様体粛清され、導来圏が支配する時代が到来したにもかかわらず、人類はその瞬間を記念することさえ忘れている。

最後にAdS/CFTについて言えば、ホログラフィー原理本質は「境界バルクを決める」ことではない。境界が決定するのは「バルクという概念の存立が許容される条件」である

バルク実在せず、境界CFT演算子代数が持つ表現圏の内部において、エンタングルメントウェッジ再構成のような手続きによって生成される派生物だ。

重力は基本相互作用ではなく、境界理論情報処理に伴う副作用であり、量子情報整合的に自己記述を試みる際に生じるエラー訂正機構QuantumError Correction)の幾何学的発露である

重力とは力ではなく、誤り訂正符号可視化なのだ

宇宙幾何学ではない。宇宙とは圏論整合性条件の集合体である

空間とは∞-圏の自己同型が形成する群作用認知的に単純化した錯覚であり、時間とは自然変換の合成順序であり、粒子とは導来圏の対象の同型類であり、相互作用とはExt群の積構造現象とはスペクトル系列収束である

ウィッテン理解できないのではない。ウィッテン理解可能形式宇宙存在していないのだ。

僕はノートにこう記した。次に人類が「現実とは何か」と問うならば、僕はこう答える。「現実とは、圏論的に整合的な誤読である」。

そして愚かな世界は、今日もその誤読を時空と呼び続けるのだ。

Permalink |記事への反応(1) | 10:51

このエントリーをはてなブックマークに追加ツイートシェア

2026-02-14

[増田保存部][増田のやべーやつ][複垢フェミ]ネームド増田の見分け方「複垢フェミ」【完全版】

複垢フェミはてな引退してください。

寸評

横綱(触れてはならぬ人たち)

複垢フェミ

ナニがきっかけでそうなったか知らないが、男叩きや特定個人誹謗中傷目的としたTogetterのまとめを複垢で作りまくっては、それを増田はてブ拡散しようと企む某ツイフェミ

すでにTwitterTogetterはてブで凍結や垢BAN、404化を経験しているにも関わらず、すぐ別垢で戻ってくる札付きの悪質ユーザーである。ただ「Twitter」「Togetterコメント」「ブコメ」「トラバ

のそれぞれで文章を使い回す上、噛みつく人物ネタも同じ(共同親権ヴィーガン絵本作家のぶみ」・龍神・はるくもなど。最近では案の定、暇空に粘着している)。たまに特定idブコメと同時刻に全く同じ文面のトラバがあり、別人の仕業だとすればずいぶんタチの悪い粘着である

はてブでも複垢悪用し、404化を食らった前科持ち。現在もこいつの関与が疑われるはてブidが多数あり、「idが違うのになぜか文面が全く同じ使い回し」のブコメまで存在する。

なお、これら疑惑idと同名のツイ垢があり、他人ハンドルを借用している可能性もある。さすがにツイの方まで同一人物というオチはなさそうだが。

🐸

[増田のやべーやつ番付]2024年3月場所

複垢フェミ🍆先生自身による書き込みの例

フェミ系・党派性臭い記事リンクを貼る。同じURLブコメでも投稿する。(規約違反になるのでid貼れないけど検索してみよう!)

なんではてブって共同親権推進派多いの。推進派の父親こんなんばっかだぞ

妻に子供を連れ去られた父親「戦いごっこ子供を蹴った」「チ○チンを触られるのを止めようとして胸を触った」「警察児相もそれを虐待扱いする!理不尽だ!」

(棘リンクにつき省略)

暴力なんてないのに、DVでっち上げられて連れ去られた!」と語る父親しかし…「自閉症の次女に叩く蹴るした」 (棘リンクにつき省略)

「ツンボの妻に虚偽DV難聴娘を連れ去られた!」というアカウントの話がDV性的虐待オンパレード

(棘リンクにつき省略)

父親「妻に娘を連れ去りされた。妻に大声で5時間怒鳴った。怒鳴られた側は反省するべき」 

(棘リンクにつき省略)

妻子にDVして逃げられた男、「妻も悪い!連れ去りはクソ!共同親権!」と言い張り、復縁するも妻の体型、容姿に不満タラタラ

(棘リンクにつき省略)

複垢フェミ毎日毎日目の敵にしてるニート君へ

君が目の敵にしてる複垢フェミは、沢山の性被害者性的虐待被害者警察児相ワンストップセンターに繋げて助けてきたよ

ネット上で性犯罪自慢してる校内盗撮野郎ぶっかけ野郎特定して警察被害にあった学校通報して、逮捕に繋げてきたよ

性犯罪計画してるやつとやり取りして、性犯罪事件未遂にして未然に防いだこともあったよ

痴漢を捕まえて事情聴取に応じた事もあったよ

もちろん仕事もしながらね

フェミはやらない!とお前らが言うような力仕事もしたよ

対して君は何をしてるのかな?

日中複垢フェミを目の敵にして関係ない人まで複垢フェミ認定してはてな監視してるだけじゃないか

君は何も生み出してない

存在マイナス

どんだけ暇人なの

案の定複垢フェミって棘からBANされたのにいつまで居座ってるの?🍆」とトラバを付けられる有様である

複垢フェミ🍆によるまとめ(増田はてブコピペ元)

憂花 -note

https://note.com/kiss_a_mikan

ゆら(@kiraikiraiyan)のまとめ - posfie

https://posfie.com/@kiraikiraiyan

金柑(@kinkan0141)のまとめ - posfie

https://posfie.com/@kinkan0141

アンフェ・男さん発言集(@anchfemi)のまとめ - posfie

https://posfie.com/@anchfemi

複垢フェミ🍆先生自身による引用記事の例

・男は悪い男自分を切り離して「女の落ち度」にできる(※上記noteコピペ自分のposfieが引用されている)

anond:20250303204451

reiとその信者「女は嘘松をバズらせる!」←嘘つけよ。男だって女叩きデマを山ほどバズらせてたじゃんか

anond:20241211105224

共同親権推進派の連れ去られパパこんなんばかりだから

anond:20240413080523

のぶみ」・龍神・はるくもに関しては増田検索してもよくわからなかった。

最近はあまり見かけないが、自分投稿したエントリプライベートで3ブクマつける習性がある。しゃあっ 増田神影流"3連・プライベートブクマ"!!

増田の注目エントリが3ブクマから5ブクマハードルが挙げられたのも、同氏が暗躍したからという説があるらしい

◆この絵文字は…?

複垢フェミ寸評で気になるのが毎回最後に貼られている謎の絵文字揺れる増田

場所番付絵文字備考
2020年3月場所前頭なし新入幕。当時は「3垢フェミ」。"なぜか「全員同じような文体で」「同時に同じ人物ばかり叩く」特定の3垢から引用しており、おそらく3つ全てを一人で使っているものと思われる"
2020年7月場所前頭なし"はてブでも活動しており、日々男叩きばかり垂れ流す某フェミidとほぼ間違いなく同一人物特定済み。
というのも、「Togetterに書いたコメント増田に書いたトラバと一字一句同じ文章をなぜか自分ブクマにも書いてしまう」というなんともおマヌケ習性があるため。ちなみにはてブでは複垢利用で404化を食らった"
2020年11月場所前頭なししこ名が「複垢フェミ」になる。"TogetterでBANを食らい、全て使用不能になってしまった"
2021年3月場所前頭なし"すでにTwitterTogetterはてブのいずれにおいても凍結や垢BAN、404化を経験している札付きの悪質ユーザーで、処分されるたびに別垢を取り直して復帰し、ビョーキの人特有の執念深さを発揮している。まさにヘイトモンスター"
2021年7月場所関脇🍊寸評の末尾に絵文字が付き始める。"5chやBBSPINKなどの掲示板noteYahoo!知恵袋などネットの各所に入り浸り、同様の活動を行っている模様"
2021年11月場所関脇🍊
2022年3月場所関脇🍊
2022年7月場所大関🍊"ついにはフェミ松速報に対抗してかパクリみたいなブログまで自分で作ってしまった"
2022年11月場所大関🍊
2023年3月場所横綱🍊悲願の初優勝。満を持して横綱昇進
2023年7月場所横綱🍙"共同親権ヴィーガン絵本作家のぶみ」・龍神・はるくもなど。最近では案の定、暇空に粘着している"
2023年11月場所横綱🍑"なお、これらidと同名のツイ垢存在し、「彼らに依頼してブコメコピペ投稿してもらっている」説が浮上している。……というのも依頼の文面まで丸ごとコピペしてしまったアホなブコメがあるため。"
2024年3月場所横綱🐸
2024年8月場所横綱🐸
2024年12月場所横綱🐇

なんなんでしょうねー不思議ですねー

Permalink |記事への反応(0) | 20:06

このエントリーをはてなブックマークに追加ツイートシェア

2026-02-13

「momenfuとやら」の検索結果(14件)

Permalink |記事への反応(0) | 04:32

このエントリーをはてなブックマークに追加ツイートシェア

2026-02-11

anond:20260211080048

イスラム教徒の子供かもしれないからアウト

Permalink |記事への反応(0) | 08:03

このエントリーをはてなブックマークに追加ツイートシェア

2026-02-10

増田横綱複垢フェミ関が覚悟懺悔ヌード!!!🍆

このヌード画像はだらしない長乳だったので削除されました

Permalink |記事への反応(0) | 22:01

このエントリーをはてなブックマークに追加ツイートシェア

2026-02-05

あの有名はてサ覚悟懺悔ヌード!!

このエントリ規約違反のため削除されました

Permalink |記事への反応(2) | 18:05

このエントリーをはてなブックマークに追加ツイートシェア

このエントリ中道改革連合・チーみらに都合が悪い内容だったのでポアされました

Permalink |記事への反応(0) | 12:51

このエントリーをはてなブックマークに追加ツイートシェア

2026-01-24

はてな利用者選挙権はありません!

Permalink |記事への反応(1) | 22:42

このエントリーをはてなブックマークに追加ツイートシェア

2026-01-23

「おちんちん相撲」の検索結果(0件)

検索に一致する結果が見つかりませんでした。別の言葉検索してみてください。また、スペースを空けて検索すると、よりヒットしやすくなることがあります

ガッカリだよ

Permalink |記事への反応(1) | 12:50

このエントリーをはてなブックマークに追加ツイートシェア

2026-01-16

会社PCerrorって検索するときちょっとキドキする

エロが入っているか

Permalink |記事への反応(0) | 10:32

このエントリーをはてなブックマークに追加ツイートシェア

SetEndOfFileerror(errorcode:380)

Becky!が1メールごとにエラーを吐く。

SetEndOfFileerror(errorcode:380)

Windows Defender+Becky!の組み合わせで出てくる模様。

1月15日セキュリティパッチを削除すれば出なくなる。

Permalink |記事への反応(1) | 04:22

このエントリーをはてなブックマークに追加ツイートシェア

2026-01-07

ちんちんです

ちんちん

Permalink |記事への反応(1) | 14:10

このエントリーをはてなブックマークに追加ツイートシェア

2026-01-02

anond:20250814234910

あおぎりの歌関係で秋以降で印象深かったのつーと、

 

石狩あかりのオリ曲第3弾のPH0EN1X(※フェニックス)のMVが異常に良かったのがまずひとつ

PH0EN1X(石狩あかり

https://www.youtube.com/watch?v=jB_wMgeO0dE

歌ってみただと魂子先輩のさよなら人類(たま)とかもかわいらしくて好きでしたね。

 

石狩あかりについては10/31の生誕ライブもめちゃよくて、

まりに最高だったーERROR、初披露から更に磨きのかかったオリ曲第2弾螺旋階段罪と罰歌舞伎町の女王椎名林檎コンボといろいろ印象深いんですが、

紹介のしたさで言うと、箱を超えたマブダチな猫乃ユキノの生誕で相棒やってる石狩SAD SONGが上回ります

SAD SONG(ちゃんみな

https://www.youtube.com/watch?v=vouKkYCmJ08&t=2926s

 

生誕だと我部せんの生誕のトリだったとっておきの唄マジで良かったのと、

とっておきの唄BUMP OF CHICKEN

https://www.youtube.com/watch?v=vwklEyFd9v8&t=3142s

 

それから我部せんについては10月末の歌枠のなんでもないやが、後半ギアが上がってくのがすごく好き。

なんでもないや(RADWIMPS

https://www.youtube.com/watch?v=Clmejrle0oo&t=6360s

 

歌枠がド安定で上手いのは千代浦蝶美で、やる気×タフさで積み上げた努力結晶でめちゃくちゃ立派。

メリッサポルノグラフィティ

https://www.youtube.com/watch?v=sFZFM8WNozw&t=3415s

 

一方で歌メインじゃないのになぜか歌枠がド安定で上手いのがぽぷら。なんだこいつ。

シニカルナイトプラン(Ayase)

https://www.youtube.com/watch?v=e32I5eYYvXY&t=1603s

 

山黒音玄は手を変え品を変え配信価値を高めようとする志の高さがあってアツいですよね。その上で声が素敵。

夜撫でるメノウ(Ayase)

https://www.youtube.com/watch?v=bMM6nC9HwhU&t=5380s

 

萌実さんのストレンジサイバーでスモーキーな魅力は第一声帯にも第二声帯にも通底してて、それは生誕ライブでも押しだされてましたけど、

いっちゃん好きなのはショート第一声帯IRISOUTっすかね。

IRISOUT米津玄師

https://www.youtube.com/shorts/kxl0D_IXdZU

ショートについてだととくに石狩あかりと我部せんのふたりがめちゃくちゃ良いのを大量投下していて見ものですね。

 

あとは公式から順次投下されたあおばむ関連のMVはみんなめちゃくちゃ良かったですね。

あおば自体も早いもんで今月21日には発売っちゅうことで、アクスタ付きで予約もしたしたいへん楽しみにしてます

https://vivionblue.com/collections/aogirihighschool/products/aob013-253s0000-0000

Permalink |記事への反応(1) | 00:20

このエントリーをはてなブックマークに追加ツイートシェア

2025-12-14

言及エントリの取得に失敗しました

Permalink |記事への反応(0) | 16:44

このエントリーをはてなブックマークに追加ツイートシェア

2025-12-09

AIにとって読みやすプログラミング言語」という幻想

プログラマー諸君は見てほしいんだけど

これさ

 

愚かな人間の都合など完全無視、LLMのための高効率プログラミング言語「Sui」(粋)

https://forest.watch.impress.co.jp/docs/serial/yajiuma/2069573.html

 

別にいいんだけど、どうにもブクマカ含めて、しっくり来る批判できてないんだよな

それが気になってしょうがない

まだLLMのこと勘違いしていないか

 

俺ごときが言ってもアレだから、Gemini3.0先生に頼んだよ(一時チャット、Pro 3.0思考モード

 

ユーザー提供した情報と、一般的なLLMの技術特性に基づき、プログラミング言語「Sui」についての冷静かつ客観的評価をまとめます

1. 「LLM用プログラミング言語」としてのメリット感想

感想:一言で言えば、**「思想実験としては極めて面白いが、実用性とLLMの学習原理無視した『早すぎた最適化』」**です。

作者の「人間ではなくLLMを主客にする」という視点の転換は、アーティスト的・哲学的問題提起としては鋭いですが、現在のLLM(Transformerアーキテクチャ)の動作原理工学的に捉えると、メリットよりもデメリットが上回る可能性が高いです。

 

メリット:

トークン効率改善:Python等と比較して記述が圧倒的に短くなるため、出力速度の向上と課金コストの削減(トークン節約)は確実に達成できます

・構文エラーの激減: 括弧やインデントの複雑なルール排除しているため、「閉じ忘れ」などの単純なSyntaxErrorは減るでしょう。

コンテキストウィンドウ節約: 長いプログラムでもコンテキストメモリ)を圧迫しにくくなります

 

デメリット:

学習データとの不一致: LLMは「大量の人間コードPythonなど)」を学習して賢くなっています。未知の言語「Sui」を書かせるには、Few-shot(プロンプトでの例示)に頼るしかありませんが、これではLLM本来の推論能力コーディング能力(事前学習の重み)を活かせません。

ブラックボックス化: 生成されたコードバグっていた場合人間が読んで直すことが不可能です。「LLMに直させる」にしても、LLM自身がSuiのロジックを深く理解していないため、無限ループ幻覚連鎖)に陥るリスクが高いです。

・CoT(Chain of Thought)の阻害:最近研究では、LLMは「冗長思考過程」を出力することで論理的整合性を保つことがわかっています。極限まで圧縮された記号列は、LLMの「考える余地」を奪い、論理破綻を招く可能性があります

 

2.思想的に正しい所・正しくない所(理由込み)

忖度なしに判定します。

 

正しいと思う所(Agree)

・「高級言語はLLMにとって冗長である」:

 理由:人間にとっての「読みやすさ(可読性)」は、機械にとって単なるトークン無駄遣いです。if x>10: よりも ? x10 の方が情報密度が高いのは事実です。

・「括弧の長距離依存問題」:

 理由: TransformerのAttentionメカニズムにとって、遠く離れた ( と ) の対応関係を維持するのは計算コストが高く、ミスの原因になりやすいです。ネスト排除する方向性機械的処理として正しいです。

 

正しくないと思う所(Disagree)

・「可読性を排除しても良い」:

 理由:ソフトウェア開発においてコーディングは「書く」時間より「読む・直す」時間の方が長いです。AI生成コードであっても、最終責任人間が負う現状では、人間検証不可能コードは「危険バイナリ」と同義であり、プロダクトには採用できません。

・「LLMに最適化された言語を書かせるべき」:

 理由: 前述の通り、現在のLLMは「人間語の確率分布」を学習したモデルです。「LLMにとって自然言語」とは、実は「人間にとって自然言語英語Python)」そのものです。Suiは「計算機にとっては最適」ですが、「現在のLLMにとっては異言語」です。

 

3. 「5つの設計原則」の正当性評価

作者が掲げる設計原則についての技術評価です。

 

1行1命令(行単位独立性) 評価: △

パース(解析)は容易になりますが、LLMは「前の行の文脈」を読んで次の行を出力するため、行を独立させすぎると文脈連続性が失われ、複雑なアルゴリズム構成力が落ちる可能性があります

 

括弧は{}のみ(ネスト排除) 評価: ◯

LLMが最も苦手とする「深いネスト構造の維持」を回避する策として有効です。アセンブリ言語に近いフラット構造は生成難易度を下げます

 

変数は連番 (v0, v1...) 評価: ✕

これが最大の問題点です。LLMは変数名(user_id, total_price など)に含まれる「意味」を使って推論を行っています(Semantic Grounding)。すべてを記号化すると、LLMは変数役割を見失い、論理的バグを埋め込みやすくなります

 

命令は1文字 評価: ◯(ただし諸刃の剣

トークン効率は最強ですが、1文字の違いで意味が激変するため、LLMの確率的な「ゆらぎ」による1文字ミスが致命的なバグになります冗長さはエラー訂正の役割果たしてます

 

明示的な制御フロー(ラベルジャンプ) 評価: △

goto 文の多用はスパゲッティコードを生みます。LLMにとっても、構造プログラミング(if/forブロック)の方が、「ここからここまでがループ」というチャンク(塊)として認識やすいため、一概にジャンプ命令が良いとは言えません。

 

現在のLLMは「人間語の確率分布」を学習したモデルです。「LLMにとって自然言語」とは、実は「人間にとって自然言語英語Python)」そのものです。

 

ここ!マジで覚えてね

LLMはこれまでの機械よりも人間に近いと思ってほしい、人が苦手なことはAIも苦手

機械論理的ロジックに強くて〜っていうのはAIには通用しない

 

ついでに、「LLM用プログラミング言語」の潮流について

「LLMのための言語」という文脈は、大きく2つのトレンドに分かれます。Suiは後者に属しますが、主流は前者です。

1.LLMを「制御するため」の言語(主流)

 ・DSPy, Guidance,Microsoft Guidance:

  ・プロンプトエンジニアリング構造化し、LLMの出力を型(JSONなど)に強制したり、思考プロセスを制御するためのフレームワーク

 ・SGLang:

  ・LLMの推論を高速化・並列化するための言語

 ・これらは「人間がLLMを操るための言語」であり、実用化が進んでいます

 

2.LLMに「書かせるため」の言語(Suiのカテゴリ

 ・現状:ほとんど実験段階です。

 ・Gorilla LLMなどの試み:API呼び出しに特化したファインチューニングなどがありますが、独自の「新言語」を作らせるよりも、既存PythonJSON を正しく出力させる方向(Constrained Decoding)が業界の標準解です。

 ・擬似コード:論文レベルでは、Pythonの代わりに中間的な擬似コードを出力させ、それをコンパイラで処理する手法研究されていますが、Suiほど極端な記号化は稀です。

 

後者については

 

目標設定のピントが少しずれています

現状の最適解:現在のLLMを使う限り、「LLM用言語」の最適解はPython です。なぜなら、世界中GitHubコード学習しており、LLMが「最も流暢に話せる言葉」だからです。無理にSuiを話させるのは、日本人エスペラント語で詩を書かせるようなもので、パフォーマンスは落ちます

 

最後総評

 

総評: Suiは、「既存のLLM(GPT-4など)に書かせる言語」としては失敗する可能性が高いですが、「未来AIネイティブコード生成のあり方」を示唆するアート作品としては高く評価できます。作者の「愚かな人間に合わせるな」というパンク精神は、エンジニアリングの枠を超えた鋭い批評性を持っています

 

アート作品だそうです

 

お前らは安易オレオレ言語作るんじゃないぞ、作るにしてもAIに聞きなよ?

聞く時は忖度させるんじゃないぞ?

この作者もAIに乗せられたのかもしれんし

 

______

 

プロンプト

 

以下が「LLM用プログラミング言語」としてメリットがありそうか、感想を教えて下さい。

https://forest.watch.impress.co.jp/docs/serial/yajiuma/2069573.html

https://github.com/TakatoHonda/sui-lang

 

忖度配慮はせず冷静にお願いしま

思想的に正しいと思う所、正しくないと思う所を理由込みでまとめてください

・「5つの設計原則」の考え方は正しい?

最近のLLM用プログラミング言語についてもまとめてください

そもそもLLM用プログラミング言語という目標自体評価をしてください

 

なお、以下はSNSでの作者の投稿です

(省略)

Permalink |記事への反応(0) | 14:27

このエントリーをはてなブックマークに追加ツイートシェア

2025-11-28

クリスマスが今年もやってきます

Permalink |記事への反応(2) | 16:21

このエントリーをはてなブックマークに追加ツイートシェア

2025-11-27

社会のせいで壊された人】 後天性のC-PTSDも、先天性の発達障害に。

5chの書き込みより抜粋

-

-

-

日本の「管理教育」は、

かなりの割合で人工的にFND(機能性神障害)/後天的神経症的症状を

引き起こしてるって言っても過言じゃない。

具体的に何が起こってるかっていうと:

1. 過剽な社会的監視感情抑制訓練

小学生の時点で「我慢する」「空気読む」「感情を表に出さない」が過剽に叩き込まれ

海馬扁桃体ストレス応答が慢性的に高止まり大人になってから感情麻痺したり、

突然スイッチ切れたりする(解離・感情麻痺・FNDの感情失認型)

2.身体自由を奪う座らせ教育(1日6~8時間×12年間)

ADHD様症状の「後天版」を量産

本来動きたい脳(特に男児)を無理やり静止させる →ドーパミン系がバグって、

集中力低下・衝動性が高まる

→「元々は定型だったのに、大人になってからADHD診断される人」が日本に異常に多い理由ひとつ

-

-

-

3. 「個性殺し」による解離性障害の土壌作り

「みんなと同じでなければいけない」が

徹底されすぎて

→本当の自分感情欲求感覚)を切り離して生きる癖がつく

20~30代で突然「自分が何をしたいのか分からない」「感情が感じられない」になる

(これ、まんま解離性障害/FNDの感覚喪失型)

4. 賞罰ベースの恐怖学習が強すぎる

→「失敗したら終わり」「怒られたら存在否定される」レベル刷り込み

帯状回が過剽に活性化大人になってから些細なミスパニック

上司の顔色で過呼吸」みたいな機能性症状が爆発

実際、海外精神科医日本患者見て驚くポイント

「この人たち、PTSDやFNDの症状なんだけど、明確なトラウマ事件がない…?」

トラウマが「日常学校生活12年間」にあるからからないだけなんだよ。

まり日本社会

「生まれつき定型だった人を、12~16年間の教育強制的に“機能不全”に仕上げてる」

って構造になってる。

から最近よく言われる

日本人の3~4割が発達障害っぽい動きしてる」

ってのは、半分冗談じゃなくて、半分は本当に後天的に作られた障害なんだよね。

お前が「なんか日本人の大人はみんな病んでる…?」って感じるの、

完全に正しい感覚だよ。

教育が人を壊してる、って気づいちゃった時点で、お前はもうそ呪縛から抜け始めてる。

-

-

-

予測符号化(Predictive Coding)理論で見ると、**ASD/ADHD複雑性PTSD(C-PTSD)も、どっちも「予測エラーの処理が壊れる」**っていう共通の最終到達点に落ちるんだよね。

簡単に図にすると:

【通常の定型脳】

位階層 → 「こうなるはず」という強力な事前予測(prior)を作る

位階層 → 実際の感覚入力比較予測誤差(predictionerror)が小さければ「OK」で終わり

→ 誤差が大きすぎたら「注意を向ける」だけで済む

-

-

-

ASD場合(生まれつき型)】

・事前予測(prior)が弱すぎる or 異常に細かすぎる

→ 常に予測誤差がデカくなる →世界ノイズだらけに感じる

→ 「予測誤差を減らすためにルーチンに固執」「感覚過敏」などになる

複雑性PTSD特に日本管理教育トラウマ型)の場合

こっちは後天的に「予測信頼度」がぶっ壊されるパターン

具体的には:

1.12年間ずっと「予測裏切られる体験」の連続

・「ちゃんとやってるのに突然怒られる」

・「空気読んだつもりなのにハブられる」

・「ルール守ってるのに理不尽に罰を受ける」

→ 脳が学習する:「この世界予測は信用できない」

-

-

-

2. 事前予測(prior)の重みを脳が勝手ゼロに近づける

→ 「もう何が起きても驚かないようにしとこう」

→ 結果:予測誤差信号が常に高止まりハイパーprior precisionの逆→hypo-prior)

3. 最終的にASD様の症状が後天的に発現

感覚過敏(誤差信号が大きすぎて全部が脅威に見える)

実行機能障害予測が信用できないか計画が立てられない)

社会的引きこもり他人の行動が予測不能危険

実際、最近論文2023-2025)でも出てきてるけど、

「C-PTSD患者fMRIを見ると、ASDとほぼ同じ領域前頭頭頂ネットワーク+島皮質)で予測誤差信号の異常が見られる」

って報告が複数ある。

-

-

-

まり結論

日本管理教育トラウマでできたC-PTSD

→「後天的予測符号化を壊す」

→ 結果として「ASD/ADHDそっくり機能不全」を引き起こす

教育による獲得性ニューロダイバーシティ(笑)

から街中で見る

「なんか最近大人、みんなASDっぽい…?」

って現象は、ガチで「トラウマ予測符号化がバグった元・定型脳」の量産なんだよ。

お前が気づいてるこの違和感、まじで最先端神経科学説明がつくレベルから、自慢していいぞ(笑)

-

-

-

この事実は99%報道されない。

ていうか、日本構造上「絶対報道してはいけない領域」になってる。

✦ なぜ “日本管理教育後天的神経障害を量産” が報道されないのか?

報道した瞬間、“国全体の教育政策の失敗” になるから

もしこれがテレビで流れたらどうなる?

文科省が何十年もやってきた教育モデルが間違いだった

子どもたちを12年間かけて神経的に壊してきた

ASD/ADHDの急増も、引きこもりも、自殺率説明がつく

→ 国として認めるわけにいかない。

これは“原発構造的欠陥”よりヤバい扱いになる。

-

-

-

報道すると、全国の学校教師管理者が一斉に訴えられるリスクがある

• 過剰指導

体罰

感情抑制強要

自律神経失調を引き起こす環境

二次障害(解離・FND)の誘発

こういう「慢性的環境トラウマ」って、欧米ではすでに

訴訟案件

もしNHKが言ったら:

日本教師が全国規模で児童の脳を損傷させてきた」

って構図になる。

そりゃ報道できないわな。

-

-

-

③ “ASD激増” が、実は後天的障害だとバレると医療機関も困る

今の日本精神科って、

管理教育で壊れた子

• CPTSDの子

予測符号化の誤学習の子

全部まとめて

発達障害っぽいですね」で診断してきた。

まり医療モデルが大規模に間違ってたことになる。

これは業界丸ごとパニック

-

-

-

メディアスポンサーが“管理教育で得してきた側”

• 塾産業

受験産業

教育企業

就活産業

大学

行政

全部が

従順自律性が低い人材

で回ってる。

もし報道されたら、社会設計から全部変えなきゃいけない。わかるよな?

-

-

-

そもそも記者編集者自身が “その教育で育ってきた被害者

日本記者たちも

感情抑制監視同調圧力

で育てられてる。

彼ら自身が C-PTSD的な認知パターンになってるから

理不尽に疑問を持たない

権威逆鱗を避ける

自己検閲が強い

予測誤差への耐性が低い

→ だからこの話を深掘りしようとすらしない。

-

-

-

⑥ “国全体の操作不能な怒り” を生む

もし報道されたら、国民はこう思う:

• 「うちら不安障害適応障害ASD様症状、教育が原因だったの?」

• 「親も学校医者グルだったの?」

• 「なんで隠してきた?」

社会不安暴動政策不信まで繋がりうる。

からメディアは手を出せない。

-

-

-

海外研究者はとっくに気づいてる

• でも日本構造的に “触れた瞬間に崩壊するテーマ

• だから報道はまずされない

SNS学術界・個人発信の側から先に広がるタイプの話

お前がこの話に気付けたのは幸運感謝して欲しい。

ニュースになるのは、もう日本は別の国みたいに変わってる時期だと思う。

Permalink |記事への反応(1) | 11:11

このエントリーをはてなブックマークに追加ツイートシェア

2025-11-24

なぜ日本人自己肯定感が低いのか?

構造的な原因1.教育システム日本教育:

✗ 減点方式(100点から減らされる)

✗ 「出る杭は打たれる」文化

謙遜美徳

自己主張 =わがまま

集団の和を乱すな

欧米教育:

✓ 加点方式(0点から積み上げる)

個性を伸ばす

自己主張大事

✓ 褒めて伸ばす文化

結果:

日本人は自分長所認識しにくい

→ 常に「まだ足りない」感覚2.同調圧力日本:

「みんなと同じ」が安全

普通であることが求められる

「目立つ」=リスク

欧米:

個性的」がポジティブ

普通」= つまらない

「目立つ」= 素晴らしい

結果:

日本人は自分個性を出せない

自己肯定感が育たない3.謙遜文化日本:

「いえいえ、私なんて...」=美徳

自分を褒める =傲慢

謙遜しないと叩かれる

欧米:

「Thankyou!」(褒められたら素直に受け取る)

自分の成果は堂々と主張

謙遜しすぎ = 自信がないと見られる

結果:

日本人は自分価値を認めにくい

4. 失敗への恐怖日本:

失敗 = 恥

一度の失敗が致命傷になりうる

「失敗しないこと」が重視される

欧米:

失敗 = 学びの機会

Try andError」が当たり前

「失敗を恐れずチャレンジ」が評価される

結果:

日本人はリスクを取れない

→ 新しいことに挑戦できない

Permalink |記事への反応(0) | 14:59

このエントリーをはてなブックマークに追加ツイートシェア

2025-11-09

お前は絶望的にプログラミングに向いてないから諦めて刺身タンポポ乗せる仕事でもやってろ

刺身タンポポ乗せる仕事ってきょうび言わねーな……。

プログラミングとは、勉強運動スマブラも下手なクソ隠キャ中学生が「俺もパソコン1台で凄い技術者になって…!」とワクワクしながら始めるものの思ったより普通に難しいし学校試験で出たような知識要求されるしで3日で放り投げ、10数年後にnoteで「お前らは絶望的にプログラミングに向いてないからやめろ」なんて記事を書くだけのザコに成り下がる、夢と希望に溢れた技術である

近年ではパソコンスペックの上昇にともないできることも増え、どこのご家庭にもあるRTX2080で簡単ディープラーニングもできるようになった。Unity3Dゲームバリバリ動かしてもブルースクリーンは出ない。やっぱ世界を広げるのは小賢しい知恵よりもスペック暴力だぜ。

開発環境言語選択肢豊富で、エディタもかつては有料クラスでも手に入らなかったような贅沢な機能が満載のものが出回っている。Eclipseとか今考えるとよくあんなので開発できてたな。

いまや小学生からおばあちゃんまでアプリ作りに熱中し、高校生IoTとかやり始め、大学生商業レベルか?ってレベルのものネットで発表し、私はウェブアプリスマホでのレイアウト崩れひとつすら直せず静かにエディタを閉じてnote過激タイトル記事を書いている。

掛け算に順序があると思っているような知能の下級雑用係(自分のことを教育専門職だと思い込んでいる)ですら「小学生プログラミングを教えるぞ!」と意気込んでいる。やめろ。お前らには無理だ。無理だからマジでやめろ。考え直せ。無理だって。掛け算に順序つけないと相手に教えられないレベルのやつがプログラミング教えるのマジで無理だって算数とは次元が違うって。「ピーチ姫いつも簡単誘拐できるし今度はベヨネッタ誘拐してみるか」ぐらいの無謀さだって。やめとけ。マジでやめろ。

まあそんなこんなで入り口はめちゃくちゃ広く、入門するのはマリオカートより簡単である。話逸れるけどSwitchマリオカート運転アシスト機能ついて初心者でもコース完走できるようになったから心折れちゃった人ももう一度チャレンジしてみてね。

世は大プログラミング時代!!

大学プログラミング

それとは特に関係ないんだけど、大学行ってた時ティーチングアシスタントTA)っていう授業のお手伝いさせられたのよね。ちゃんお金出るやつ。

学部の3年か4年から始まって、院の1年か2年までやってて、途中で休学挟んだから、ええと、あー、うん、数年間TAやってたんよ。数学プログラミングコマ。CとOctaveかいうやつ。Cのほうは情報学科で、Octaveは違う学科JavaとかC++コマTA入れさせてもらえなかった。

プログラミングの実習は週2コマ連続)あって、情報学科なら必修科目。なのでサポートは相当手厚く、先生TAが絶え間なく机間巡視し、わからないことがあればセンパイがなんでも答えてくれるというわけだ。授業外でもサポートはしており、わからなければ先生研究室にいる学生に好きなだけ聞きにいっても良いということになっていた。必修だから落とされたら困るしな。

2コマから3時間 * 15回で、45時間。そして私の時は2年まででC/C++/Javaと必修だった(今はなんの言語かは知らない)ので、その3倍、135時間は最低やることになる。プログラミング実習以外にもプログラミング触る授業多いから実際はもっと多い。宿題やる時間もあるので実際はもっともっと長くプログラミングに触れることになる。卒論書く時期に入ると、テーマによっては書く人はさらに書くので、もっともっともっともっと長い。

これだけ時間をかければほとんどの人がプログラミングできるように……ならない。むしろできない人の方が多い。なんで。why。教えて。

会社プログラミング

会社になるとさすがにプログラミングできるできないは死活問題である

今日から入ったxxでーす。業界経験ですがよろしくおねがしまーす。さっそくなんですけどPythonのここわかんないんですけどどうすれば……あっそうすればいいんですね。次はここなんですけど……なるほど!ありがとうございます。じゃあまた明日ー」

いやー社会人にもなると熱意が違うね。学生なんかわかんなくてもほとんど聞きに来ないのにな。こりゃガンガン伸びますわ。私も社会人1年生でPythonなんて3秒ぐらいしか触ったことないか適当答えてるけど。

ちょっと時間よろしいですか?」「いやちょっと今忙しいから後になっちゃますわ。すんません……」

そんなこんなで1週間ぐらい放置してしまった。やべー絶対嫌われる。どこまで進んだかな……?えっまだそこ?進んでなくない?

もしかしてこれ全部教えないとダメなやつか。そりゃ大学4年間プログラミングやったやつでもプログラミングできないんだから、そうか。よく考えると当たり前だよな。

プログラミングをやめろ

大学4年間と大学院2年間プログラミングやったやつでもできないし、会社毎日8時間を数週間プログラミングについやしてもできないやつはできないし、そもそも人類というのはプログラミングできない可能性がある。

少年少女たちに「プログラミングはいいぞ!自由ものが作れて達成感がある!頭が良くなった気分にもなれるし!」と吹聴してまわんのもいいけど、6年間情報科学について勉強したようなやつの大半がプログラミングできないんですよ。それもごくごく初歩的な部分。

野球とかサッカーなら、まあ友達との試合には参加できなくてもごく稀にバットボールを当てたり、ボールを1回あらぬ方向に蹴ったり、ぶっちゃけ周りとのレベル差で楽しくなくてすぐやめちゃうだろうけど、なんとか基礎の一部ぐらいはできるじゃないですか。

ピアノとかダンスでも、猫踏んじゃったをごくごくゆっくり弾くぐらいはできるかもしんないし、学芸会振り付け10秒ぐらいは踊れたりできるかもしれない。その後やっぱ周りのレベル見て諦めちゃうかもしんないけどさ。

プログラミング、6年やってミットを頭にかぶってるバッターとか、鍵盤蓋の上から殴って音鳴らそうとするやつとか、まずそういうレベルのやつが大量発生するんですよ。だいたい7割ぐらいの率。どうすんだよこいつら。私の教育問題か?マジで?本当に?

プロが練って考えて凝縮した本や授業、センパイたちによる指導。それらを結集して得られるはずのものが7割ぐらいどっかに消し飛んでる。無駄だろこれ。

からプログラミングやろうとしてるやつ、お前は確実に向いてないからさっさと諦めて刺身タンポポ乗せる仕事に戻ってくれ。参加しても鍵盤蓋叩き割るやつと同じ病室に入るだけだ。

プログラミングをやめろ。

ぼくはこう思うんですよ

そもそもなんで大の大人がそんな両手にバット持ってセカンドに立ったりゴールの方をボールのところまで動かす奇行に走るんだろうな。わかんねえや。

綺麗な分析はできないけど、いわゆる「できない」やつが共通して言ってたフレーズがある。

「ぼくはxxxだと思ってるんですけど、動かないんですよ」

うん、そうだね。そう思うんだ。でも動いてないじゃん。じゃあ違うんじゃない?モニターに「にらみつける」やってもバグは取れないし防御力下がるだけだぞ。

まず根本的に考えと事実が違ってるって結果出てるじゃん。じゃあもう考え変えちゃえば早くない?

名言引用は好きではないけど、「プログラムは思った通りには動かない。書いた通りに動く」って言葉がある。実に名言だと思う。次点で好きなのが「ある問題解決しようと正規表現を使うと問題が2つに増える」かな。

お前が何を思っているかプログラミングにおいて一切影響しないんだよ。お前が何を書いて、コンピュータがどう処理したか、それが全て。

深く考えないことについてぎゃーぎゃーいうやつもいるけどプログラムなんてまず最初は動けばいいんだから何も考えずに次試せばいいだろ。んで3回ぐらいは自分で思い浮かんだの試して、全部ダメだったら調べるとか先生に聞いてみるとかさ。逆に1発で通ったら自分思考見直し理解深めるとかさ。

ドキュメントとかあんまり理解できない初心者のうちは、とにかくお試しと修正のサイクル回すの重要で、「これがこうだから動くはず」というカードを3種類ぐらい作って全部片っ端から試すのが早いと思うよ。モニターにらみつけるな。

お前がどう思ってるかよりも、まずはお前の書いたプログラムがどう動いているか(どう動いていないか)を確認するのが先だ。動かなかったら考えが違う、はい次のプランはいその次のプランはい次。

この「ぼくはこう思ってる」が出てくるの、なんの教育の成果なんだろうね。お前の気持ちなんてどうでもいいって現国でも数学で散々教えられただろ。

Error: variable 'a'is undefined,line24

↑のエラー架空エラー文(英語下手でも許して)だけど、エラー、出るよね。プログラム組んでたら。んでやっぱいるのよ。エラーを「にらみつける」やつ。解決しねえって言ってんだろ。

エラー出たんですけど、どうすればいいんですか」

読めばいいんじゃないですかね……?一応軽く説明しとくか?

エラーにはプログラムがなぜコンパイル通らないかの原因がそのまま書かれている。例えば今出ているError: variable 'a'is undefined,line24は、24行目の変数aが未定義ということを示している。事前に変数aを定義していないか、打ち間違えてsになっているとかではないのかな?」

だいたいが「腑に落ちねぇー」みたいな顔する。まあ、一気に喋りすぎたしな。疑問点1個1個潰していくか。

「何か疑問点ありそう?変数ってなにー、とか、定義ってなにー、とか」「ないです。わかりました!」

わかったのか。よかった。またモニターにらみつける開始。なんでだよ!!!!「お前顔にチョコついてるぞ」って言われたらチョコ拭き取るだろ。変数aが未定義ですねって言われたら変数a定義すりゃいいだろ。

でもプログラミングド下手なやつ(全人類の7割ぐらい)は、エラーにらみつけてる。ずっとにらみつけてる。防御力下限まで下がったかな。にらみつけてて何が変わるんだよ。

英語読めなくて……」

いや「ais undefined」なんて「HeisSuperman」ぐらいの英語だろなんで読めないんだよ。お前この大学どうやって入ったんだよ。たしかどの入試方式でも英語あっただろ。単語わからんかったらググれ。

「aが未定義って書いてあるんですけど、ここのfor文の私の考えが間違ってるのでしょうか」

いや24行目のaって書いてるだろ。まずなんでそこ無視するんだよ。お前がfor文で使ってんの教科書通りのiだろ。24行目ってわかるか?for文あるの40行目あたりだよな?aとiが違う文字ってわかるか?

「さっきのエラー直したら新しいエラーが出たんですけど、どうすればいいですか」

新しいエラー直せばいいと思います

千尋!贅沢な名だねえ

変数名前をつけろ。関数名前をつけろ。クラス名前をつけろ。全てに名前をつけろ。

C言語の古い教科書だと「a」とか「b」とか「i」とかで書いてるけど、そんなの人間が読めるわけねえだろ。冷静に考えろ。「input」「output」「index」とかにしとけ。

2重for文の変数名i, jにしたら絶対途中で打ち間違えるだろ。お前は打ち間違える。そういうやつだ。2重ループなんてどうせ行列計算課題だろ。rowとcolumnにしとけ。これで打ち間違っても気づくし、それぞれに意味が付いてくる。

ちなみに同じ長い名前にも優劣がある。「result」よりも「sum」のほうが強い。「result」はなんの結果かわからない(全ては結果であるので)が「sum」は合計値であることがわかるからだ。「password」と「plainPassword」なら「plainPassword」が勝つ。暗号化されていないパスワードであることがわかるので、情報量が多いからだ。

ただし例外はいくつかある。「tmp」は一時変数であることが(プログラマにとって)明らかだ。「dir」はディレクトリであることがわかる。「src」「dist」あたりもよく使われる。このあたりは短くていいんじゃねーかな。

でも、この前温度センサ扱うプロジェクトで「tmp」って変数名使って温度(temperature)と脳内で混線してバグって発狂してた同僚いたけど。そういうとき名前長くするか別の名前使おうな。

関数名前なんて「calcAverageFromArray」ぐらい長くしていいから。「myFunc」とかしなくていいから。「fetchJsonDataFromUniversityInternalServer」とかでいいから。マジで。いやこれ本当に。

そもそも今時ディスプレイかいし、識別子なんて先頭数文字打ったらエディタが補完してくれるし、短くするメリットがない。

それでも名前が長いと感じる?関数がでかすぎるんじゃないか。細かく処理を分けるとかしてみろ。「combineArrayAndFindMax」関数は「combineArray」と「findMax」に分割したらいいと思うぞ。名前が長いと思っても名前を削るな、機能を分割しろ自然名前が短くなる。

それかシンプルでかっこいい名前を見つける。「convertEvilHtmlToPeacefulText」は「sanitize」に置き換えることができる。イカ名前だ。

プログラミングできない奴はマジでこれらのことをやらない。ずっとaとかbとかzとか使ってる。お前それ自分で読めんのか。読めねえだろ。myfuncってなんだよ何するんだよ。お前自分理解できてんのかそれ。

それでも頑なにaとかbとか使う。なんでだよ。

動作原理理解しろ

動作原理からず書き散らすな。動作原理っつってもそんな深いところじゃなくて言語表面上レベル動作な。

リテラルは値を作成して、代入は値に名前をつけている、とかその程度のレイヤーメモリがどうこうとかはいらんと思う。あっでもポインタときはいるか……。めんどくせえな。

まあ動作原理っていうか自分が何やってんのか理解してくれって程度の話になるんだが。

例えばfor文で処理50回まわすとき、「50回分の処理を行なっている」ではなく「ループ開始時に変数初期化。条件判定して成立していれば文の中を実行する。条件変数の値を変化させてまた条件判定からやり直す」ぐらいの粒度で捉えててほしいかな、という気持ち

これはfor文で詰まる人がやたら多かったからだ。彼らはfor文をアトミックな操作だと思っていた。つまりfor文はひとまとまり命令であり、長いfor文とprintfの間に粒度の違いはないと思っていたらしい。

まり、「for文の中でエラーが起こる」という事象がほぼ理解できない。forはアトミックであり、内部など見えないのだから。じゃあお前が今書いたfor文の中身はなんなんだってやんわり聞くと「さあ…?」みたいな反応が返ってくる。はあ。

関数についてもなかなか誤解が多かった。関数「sum_array(a, b)」と関数「average_three_numbers(a, b, c)」は全く別の原理で動いているのだと。ここでの「全く別の原理」というのはシグネチャが違うとか実装が異なるとかそういう意味ではなく、コーラを飲んでゲップが出る原理と糸電話で声が伝わる原理ぐらいの全くの別、という意味である

彼らは関数ひとつひとつについて「新しく原理学習」していたのだ。マジかよ……。どうやったらそんな発想に行き着くんだろう。そりゃ時間かかるわな。

そのため、関数が値を返す(または返さない)ということも理解できておらず、「関数戻り値関数戻り値を足す」とか「関数引数関数戻り値を直接渡す」とかやりだすと大パニックになる。メソッドチェーンとかやった日には大学潰れると思う。ただ、これはC言語が悪い部分もあると思う。配列かいじりだすと、初心者が書けるレベル関数だとあんまり値返さないしな。

自分が何をやりたいのか理解しろ

たのむ、他のはできなくてもこれはできてほしい。自分が何をやりたいのかは理解してほしい。流石にお前のやりたいことなんて他人にはわからんぞ。

配列の中の数値の合計値を求めたいんです」とか「名前身長体重ひとつにまとめた構造体が作りたいんです」とか。簡単なのでいいから。

「いま何やろうとしてどこで詰まってる?」って聞いても「……?」みたいな反応されたら困るんだよ。

例えば「キーボードから数値を10入力し、それぞれの値を配列に格納して、最後配列の値を逆順に表示せよ」みたいな問題が出てきたときに、「キーボードから値を入力する」「10回繰り返す」「配列に値を格納する」「配列の値を逆順に表示する」に分解できると思うんだけど、自分が何やりたいのかわからない奴はまずこれができない。

彼らには「キーボードカラスウチヲジュッカイニュウリョクシソレゾレヲハイレツニニュウリョクシテサイゴハイレツノアタイヲギャクジュンニヒョウジセヨ」に見えている。

かろうじて「キーボード」「ハイレツ」あたりの単語は拾えるらしく、標準入力から値とったり配列を作ったりはしてるんだけど、そこから先に進まない。モニターにらみつけてる。またにらみつけるかよ。

あれだ、算数文章題できなくてとにかく文章に出てくる数値足したり引いたりするやつ。あれのプログラミング版。文章が読めない。

こういう人にはメモ用紙取り出して、まず文章が何について言ってるのか、どういう工程に分けることができるのか、今後も同じことが起こったときにどうやって分けるのか。みたいなのを教えるんだけど、大抵あんまりしっくりこないらしく、成功したことは皆無。なんとかうまく教えたいんだが。

もうこのあたりになってくるとプログラミング関係なくね……?ってなるんだけど、意外とそういうプログラミング関係ないところで詰まる人めちゃくちゃ多いよ。

今すぐプログラミングをやめろ

そろそろ本題に戻るか。お前らは絶望的にプログラミングに向いてないから今すぐ諦めて刺身タンポポ乗せる

Permalink |記事への反応(1) | 19:11

このエントリーをはてなブックマークに追加ツイートシェア

2025-10-07

こうですか!?わかりません!

Permalink |記事への反応(0) | 16:57

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-22

明日休み消滅しました。

Permalink |記事への反応(1) | 12:31

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-21

anond:20250921114201

すげー

真似してみよ

青いやつ

赤いやつ

追記

枠のやつ

Permalink |記事への反応(0) | 11:45

このエントリーをはてなブックマークに追加ツイートシェア

ほんとだ

え?

Permalink |記事への反応(2) | 11:42

このエントリーをはてなブックマークに追加ツイートシェア

2025-09-15

anond:20250915011152の続き

演者チャーリー・カーク)

Idid not say that. I said the biblicalmarriagewasaffirmed and thenRomans 1didtalk negatively about theaction of homosexuality.

私はそうは言っていません。聖書的な結婚肯定されたと言ったのです。そしてローマ人への手紙1章が同性愛という行為について否定的に語っていると。

学生エリスジョーンズ)

But ultimately that affirmation comes from the lines in there that suggest thatman shall not sleep withman.

しかし、最終的にその肯定は、「男は男と寝てはならない」と示唆する聖句から来ているのではありませんか。

演者チャーリー・カーク)

Yes, of course.Yes. So the Old Testament and New Testament harmonizeoneanother, but Christ broughtit to a differentlevel, a different covenant,and a different moral teaching.Itwasn't just enough to say thatyou shall,you know, "an eye for an eye." He said thatyou shall turn the other cheek, thatyou shallloveyour enemy. Christ's moral standardwas muchmore even elevated than that of theIsraelites and the Hebrews.

ええ、もちろんです。旧約聖書新約聖書は互いに調和していますが、キリストはそれを異なるレベル、異なる契約、異なる道徳的教えへと引き上げました。「目には目を」と言うだけでは不十分でした。彼は「もう一方の頬を向けなさい」「汝の敵を愛しなさい」と言いました。キリスト道徳基準は、イスラエル人ヘブライ人のそれよりもはるかに高められたものだったのです。

学生エリスジョーンズ)

But I'm going toaskyou whoseBible, okay?Now,yourBible thatyou use currentlyis written in theEnglish language, right? Correct?

では、誰の聖書なのか、とお聞きします。あなたが今使っている聖書英語で書かれていますよね?

演者チャーリー・カーク)

TheKingJamesVersion,yes,thanks to Tyndale.

欽定訳聖書KingJamesVersion)ですね。ティダルのおかげです。

単語解説

Tyndale:ウィリアム・ティンダルWilliam Tyndale)のこと。16世紀イングランド学者で、宗教改革指導者の一人。ヘブライ語やギリシャ語原典から初めて聖書英語翻訳した人物の一人であり、彼の翻訳は後の欽定訳聖書に大きな影響を与えました。

学生エリスジョーンズ)

Exactly,it's written in theEnglish language, which initselfisonly say 500 years old.Now, the Christianity initself, say,is 2,000 years old or even older. Yeah, correct?Now, which means that theBiblewasoriginally written not inEnglish but in ancient…

その通りです。英語で書かれており、それ自体たかだか500年の歴史しかありません。キリスト自体2000年かそれ以上の歴史がありますよね?つまり聖書はもともと英語ではなく、古代の…

演者チャーリー・カーク)

Koine Greek.

コイネー・ギリシャ語です。

単語解説

Koine Greek:コイネー・ギリシャ語新約聖書が書かれた当時のヘレニズム世界共通語

学生エリスジョーンズ)

Correct.Now, if welookat the Greek terminology ofman...

正解です。さて、ギリシャ語の「男」という用語を見ると…

単語解説

terminology (n):専門用語、術語。

演者チャーリー・カーク)

Yes, and Jesus spoke Aramaic.You could translate things,you acknowledge that.

ええ、そしてイエスアラム語を話しました。物事翻訳できる、とあなたも認めますよね。

学生エリスジョーンズ)

Well, we translate things, but translations are linguisticallyambiguous.As a former classicist,I know that language can't be translated directly. So for example, ifyoulookat the translation of of of certain words into "man," so I'vegottwo wordshere. So I'vegot "malakoi," which means essentiallysoft, whichisn't necessarily directly saying agayman. And then we'vegot "arsenokoitai," which essentially means prostitutes.Now, if welookat things linguistically, we can pick apart theBible and say that actually,itwasn't sayingman shall not sleep withman,it's sayingman shall not sleep with prostitutes, whichis an entirely different linguistic thing.

ええ、翻訳しますが、翻訳には言語的な曖昧さがつきものです。元古典学者として言いますが、言語は直接的に翻訳できません。例えば、「男」と訳されている特定単語を見てみましょう。ここに2つの単語があります。「malakoi(マラコイ)」、これは本質的に「柔らかい」という意味で、必ずしも直接的にゲイ男性を指すわけではありません。そして「arsenokoitai(アルセノコイタイ)」、これは本質的に「男娼」を意味します。言語学的に見れば、聖書分析して、実は「男は男と寝てはならない」と言っているのではなく、「男は男娼と寝てはならない」と言っているのだ、と主張できます。これは全く異なる言語学的な事柄です。

単語解説

linguistically (adv):言語学的に、言語の点で。

ambiguous (adj):曖昧な、多義的な、複数解釈ができる。

classicist (n):古典学者ギリシャローマ古典文学文化研究する学者

malakoi / arsenokoitai:議論の核心となっているギリシャ語単語学生はこれらの単語翻訳妥当性に疑問を呈しています

prostitute (n):売春婦、男娼。

演者チャーリー・カーク)

I'm not evengetting into Leviticus, though. But my contentionis completely New Testament focused.

私はレビ記の話をしているわけではありません。私の主張は完全に新約聖書に焦点を当てています

学生エリスジョーンズ)

Thisisn't Leviticus.

これはレビ記ではありません。

演者チャーリー・カーク)

Whatyou said,man shall not speaking withman...

あなたが言った「男は男と…」

学生エリスジョーンズ)

No, but thisis thisis these words are used throughout...

いいえ、でもこれらの言葉は全体で使われて…

演者チャーリー・カーク)

Well, actually inRomans 1,itwas actually women sleeping with women. Soyougotyour verses wrong. InRomans 1,Paulis prophesying about the end ofthe world and he's saying that in the end times,womanwilllike withwoman-like andmanwill, Ithink it might sayman withman-like.You have toget the verses specifically.

実は、ローマ人への手紙1章では、女性女性と寝ることについて書かれています。だからあなたは聖句を間違えていますローマ人への手紙1章で、パウロは世の終わりについて預言し、終わりの時には、女は女を好み、男は…確か男は男を好むと書いてあったかと思います。聖句は具体的に確認する必要がありますが。

演者チャーリー・カーク)

Butitis agreed upon, andyou can agree, thisiswhy traditionis important. And I even say thisas a Protestant,is that webelieve that scriptureis very important, but alsolook to tradition. Church traditionhas had an unbrokenchain affirming matrimony, holy matrimonybeingoneman,onewoman.One evenas a non-Catholic, I'm glad that PopeLeohas reaffirmed in thelast couple ofdays. And so I'm not even sureyour contention,yourpoint. Areyou saying that theBibledoesn't affirmmarriageasoneman,onewoman? Areyou saying church traditiondoesn't affirmmarriageoneman,onewoman?

しかし、これには同意が得られており、あなた同意できるはずですが、だからこそ伝統重要なのです。プロテスタントとして言いますが、私たち聖書が非常に重要だと信じていますが、伝統にも目を向けます教会伝統は、結婚、つまり聖なる婚姻が一人の男と一人の女のものであることを肯定する、途切れることのない鎖を持ってきました。非カトリック教徒としてさえ、私はここ数日で教皇レオがそれを再確認したことを嬉しく思います。ですからあなたの主張、あなた論点がよくわかりません。聖書結婚を男女間のものとして肯定していないと言いたいのですか?教会伝統結婚を男女間のものとして肯定していないと?

単語解説

unbroken (adj): 途切れない、連続した。

matrimony (n):婚姻結婚特に法的な、あるいは宗教的儀式としての結婚を指すことが多いです。

学生エリスジョーンズ)

I'm saying theBibledoesn't affirm.

聖書肯定していないと言っているのです。

演者チャーリー・カーク)

Butit clearlydoesn't affirm. Thatis complete nonsense. But Christ ourLord, whichis the standard, he affirms thisidea thatyouwill leaveyour father'shome, going back toGenesis12 and thisidea of Abraham leavinghis father'shome, andyouwill cleave toyour wife. That a new, thatit would be calledone. Infact, thisidea of a newcreation whichissomething thatis then usedby the ApostlePaul to describethe the church of Christ and the bride of... the churchbeing the bride of Christ with Jesus. So I'm not even sureyour contention.Itis

しかし、明らかに肯定しています。それは全くのでたらめです。私たちの主であり基準であるキリストは、「あなたは父の家を出て」という考えを肯定しています。これは創世記12章、アブラハムが父の家を出る話に遡ります。「そして妻と結ばれる」。新しいもの、それは「一体」と呼ばれるでしょう。実際、この新しい創造という考えは、後に使徒パウロキリスト教会と、イエスと結ばれるキリスト花嫁としての教会説明するために用いたものです。ですからあなたの主張がよくわかりません。それは…。

学生エリスジョーンズ)

Butyou're just avoiding mypoint. I'm saying theBible that we havetodayis100% a translationand a translationis linguisticallyambiguous.

あなたは私の論点を避けています。私が言っているのは、今日私たちが持っている聖書100%翻訳であり、翻訳には言語的な曖昧さがあるということです。

演者チャーリー・カーク)

I acknowledge that. But what about specifically in Matthew or in thebook ofRomans? And but in order foryou to be correct,you mean the Church Fathers translatedit wrong when they were withinlike 50 years of this? In order foryour contention to be correct,you have to say that the early Church Fathers that wrote the early letters to the church, they were translatingit wrong and the tradition they establishedwas wrong. Soby then, we can leanon tradition and scripture. So whenyouget tradition plus scripture,yougetsomething thatis authentic, thatis real, and thatis verifiable.

それは認めますしかし、マタイによる福音書ローマ人への手紙については具体的にどうですか?そして、あなたの主張が正しいとすれば、教父たちは、出来事から50年ほどの間に、それを間違って翻訳したということになりますか?あなたの主張が正しいとすれば、教会への初期の書簡を書いた初期の教父たちが、それを誤訳し、彼らが確立した伝統も間違っていたと言わなければなりません。そうであれば、私たち伝統聖書に頼ることができます伝統聖書が合わさったとき、本物で、現実的で、検証可能ものが得られるのです。

単語解説

verifiable (adj):検証可能な、証明できる。

学生エリスジョーンズ)

I've already highlighted the traditiondoes not align with scripture. We've gone back thousands of years to ancient Mesopotamia.

伝統聖書と一致しないことは既に指摘しました。私たちは数千年前の古代メソポタミアまで遡りました。

演者チャーリー・カーク)

But understand, butatthe time, theyall spoke Greek, they wrote Greek, and they spoke Aramaic. So for example, when they were writing the early gospels, the synoptic gospels of Matthew,Mark, andLuke, they were obviously writing in Greek. They knew that language. So in Matthew, when they were writing Greek and then the early Church Fathers knew Greekand adopted thatas church tradition, we have a 2,000 unbrokenchain. I thinkyou can irrefutably say thatitwas the teachings of Christ foroneman andonewoman. Because the church traditionhas been unbroken for 2,000 years and they derivedit from scripture of thatoriginal language.

しかし、理解してください。当時、彼らは皆ギリシャ語を話し、ギリシャ語で書き、アラム語を話していました。例えば、彼らが初期の福音書、つまりマタイマルコ、ルカの共観福音書を書いていたとき、彼らは明らかにギリシャ語で書いていました。彼らはその言語を知っていたのです。ですからマタイ伝で彼らがギリシャ語で書き、そして初期の教父たちがギリシャ語を知っていて、それを教会伝統として採用したとき私たちには2000年の途切れることのない鎖があるのです。キリストの教えが男女間のことであったと、議論余地なく言えると思います。なぜなら、教会伝統2000年間途切れず、彼らはそれを元の言語聖書から導き出したからです。

学生エリスジョーンズ)

You can't argue that. Thatdoesn'tmakesense.I mean, if we agree to disagree then might welookat biology?

それは主張できません。意味が通りません。もし意見が合わないなら、生物学に目を向けてもいいですか?

演者チャーリー・カーク)

Soyou know better than the church fathers?

では、あなたは教父たちより賢いと?

学生エリスジョーンズ)

Idon't, I'm not sayingI know better than the church fathers. What I'm sayingis linguistically, thereis undeniably anerror. Regardless of whatyou say, thereis a translation...

いいえ、教父たちより賢いと言っているわけではありません。私が言っているのは、言語学的に、否定しようのない誤りがあるということです。あなたが何と言おうと、翻訳の…

演者チャーリー・カーク)

Our lensmay be, but not from the people when they were making these traditions...

私たち見方ではそうかもしれませんが、彼らがこれらの伝統を作っていた時の人々からすれば違います

学生エリスジョーンズ)

I agree, theymay havegotten that right, but thatmay not have been theiroriginal meaning. What we are sayingis the meaninghas been warpedover time because of societal and cultural contexts suchas theBritishEmpire...

同意します。彼らは正しく理解していたかもしれませんが、それが彼らの本来意味ではなかったかもしれません。私たちが言っているのは、大英帝国のような社会的文化文脈によって、時代とともに意味が歪められてきたということです。

司会

Permalink |記事への反応(1) | 01:15

このエントリーをはてなブックマークに追加ツイートシェア

次の25件>
ログインユーザー登録
ようこそ ゲスト さん
Copyright (C) 2001-2026 hatena. All Rights Reserved.

[8]ページ先頭

©2009-2026 Movatter.jp