Solufa

Frourio, Inc.

[Solufa @m_mitsuhide]

Next.jsのREST APIサーバーとHTTPクライアントにZodで強力なハーネスを付与する記事を公開しました

これ以上ない厳格な型検査とバリデーションでVibeCodingの事故が大幅に減ります
https://t.co/twXXgwz3Se #zenn

[Solufa @m_mitsuhide]

どんな政局であっても自衛隊が災害派遣で活躍し、企業やボランティアの迅速な支援が届き、被災者たちが秩序を保ち復興していく過程を見ていると戦略と戦術の境界線は非常に曖昧でWW2含め当事者でもない立場から批判できるものではないように思える

[Solufa @m_mitsuhide]

本土に侵攻されて敗戦したのはWW2ぐらいだし、創業100年以上の企業の半数が日本に存在することからWW2やバブル崩壊が国家的失敗の特異点だっただけで国民性とまでは言えないのでは？

それに戦略の失敗を戦術でカバーすることを悪いクセと言うのは東南アジアの独立に貢献した先人への敬意がなさすぎる

[まくるめ @MAMAAAAU]

自分のいちばん好きな戦術概念は「戦略の失敗は戦術ではカバーできない、戦術の失敗は個別の戦闘ではカバーできない」なんだけど、間違いない鉄則だと思ってる。日本人には上のランクの失敗を戦術や戦闘で必死にカバーしようとする悪いクセがあって、これが「最高の兵隊だが最悪の将軍」の正体だと思う

[Solufa @m_mitsuhide]

エンジニアとして成功した結果の生存バイアスではなく、客観的にはド底辺のタコ部屋労働をしていたり、借金の返済で死にそうになっていた時期も含めてずっと同じように家族以外の社会に感謝していた

ミクロなビジネスの失敗とマクロな日本社会が与えてくれた恩恵は別物

[Solufa @m_mitsuhide]

私にとっては真逆で社会の方がよっぽど無償の愛に満ちていた
もちろん苦しいこともあったけどお互いに経済活動の結果だから家族による理解不能な虐待より遥かに納得できた

可視化されることはほとんどないけど親や兄弟よりも日本社会への恩義を感じながら生きている人たちも大勢いるんじゃないかな

[虚無 @nerd_man_404]

親にとっては宝物だった存在が他人に蹴散らされるのが社会

[Solufa @m_mitsuhide]

別の予想と勘違いしてるのでは？
リーマン予想は偽でも真でも暗号の脆弱性と関係ない

[エルビントフラー @kg_r08]

リーマン予想が解決されると暗号が脆弱になる。

ひょっとするとMythosはリーマン予想をより精緻に解決してしまったのではないか？と考えている。じゃないと、アメリカでFRB議長、財務長官、ウォール街の銀行家が緊急で集まらないよね。

[Solufa @m_mitsuhide]

Goエコシステムの統一設計に感動する一方で、型の弱さに絶望している

学習コストが低くてコンパイルが速いのでスクリプト言語っぽい体験で低レイヤーを扱えるのは素晴らしいが、複雑で変化の激しい業務知識を型でほとんど表現できない

かと言ってRust/Haskell/Scalaを選ぶのも苦しいしなあ、参った

[Solufa @m_mitsuhide]

直近5年くらい都内の学生にReact/TSを教えてきましたが、学生の大半が4年間ずっと暇な学部は存在しますよ

・1年春から平日に全休を取りやすい
・週に10コマx90分=15時間なので1日の拘束は6時間以内
・オンライン授業は2割程度
・課題がオンライン提出かつ、Gemini Proが学生無料なので普段はAI任せにしてテスト前だけ暗記
・チーム実習の成果物もAI任せなので情報系なのに4年になってもGitすらわからない学生が学部の半数を超える
・IT業界は超売り手市場なのでコードを書けなくても3年冬ごろには大勢内定が出ていて4年は研究で週1登校するだけ
・卒業論文もAIが丸ごと生成してくれるので研究が忙しくない
・しかしバイト、サークル、徹夜カラオケで忙しい

東京以外にもこういう学部あるんじゃないかな？

[山本 啓一 @kyamamoto]

今の大学って授業サボれないですよ。必修科目も多いし、データサイエンス科目もあるし、1年次からキャリア教育もあるし、全くモラトリアムを満喫できるような暇な大学生はいません。週に10コマは授業埋まってて、めっちゃ忙しいですよ。

[Solufa @m_mitsuhide]

TypeScriptエンジニアの私から見て、Goの人々がユニオン型やリテラル型を使わずにどうやって品質を担保しているのか気になりますね

[Darren Shepherd @ibuildthecloud]

I really do wish @golang had union types. It's getting old now. Please, somehow, add a union type. We need it.

[Solufa @m_mitsuhide]

ポストTypeScriptを求めてGo言語に入門したのだが、私の要求を高水準で満たしてくれそうでいい感じ

・ウェブサーバー、電子署名、暗号処理が得意
・サプライチェーン攻撃に強い
・Node.jsと同等の処理速度があれば最速じゃなくていい
・静的型言語
・標準ライブラリが充実
・公共システムにも導入できる実績と信頼性
・設定ファイルが少なくて環境構築が楽
・TSの知識があれば読める構文

一方で型の表現力が貧弱なのでTSの型パズルに依存して品質を上げてきたエンジニアには苦痛な部分が多い

・リテラル型とユニオン型がない
・不変性を型で保証できない
・関数型サポートが弱い
・フィールド名の規則が厳しくてJSONのkeyを別途書く手間がかかる
・ただの文字列に過ぎないタグに機能を持たせすぎてエディタ補完や型検査が困難

あたりの欠点もGoの設計思想由来だろうから将来的な解決は期待できない

TSの型と関数が好きな私には書いて楽しい言語とは思えないが、AIが書いたものを読むだけならストレスは少ないし総合的な品質・教育と運用コスト・セキュリティは圧倒的にGoの方が優秀

[Solufa @m_mitsuhide]

ツリーも読んだけどエアプ過ぎる

「技術的には後発のReactとjQueryは大きくは違わないです。どちらもJSがベース」と主張するようなもので有害

プロフィールからCSや計算機科学の専門家なのかと思ったが、天使適性度診断メーカーの結果を8年も固定するくらいには業績がないから趣味を並べただけか

[H. Miyoshi (ALC 2025 is finished. Thank you) @metaphusika]

技術的には後発のLeanとRocq(旧称Coq)は大きくは違わないです。どちらもCICがベースですし、Scholzeのcondensed mathがRocqで書けないかというとそんなことはないですし。数学業界に普及したのは数学者向けの戦略や社会的要因が大きいです。フィールズメダリストがコミットしているとかもそうですね。

[Solufa @m_mitsuhide]

給食以外で好きなもん食べられるのって親ガチャ当てないと無理なんよ
私は母子家庭で母親からの虐待の一環で残飯処理ばかりさせられてたから安定して綺麗なご飯が食べられる給食は救いだった

豚肉が無くなると生姜焼き・酢豚・ミートローフ・ポークカレー・とんかつを安心して食べられないから私のような子どもは困るだろう

これは極端なケースだとしても、制度設計上考慮する必要がないくらいに朝も晩も好きなものを食べられる家庭が当たり前の世の中なのか？
あなたは共産党・社民党の支持者なのに母子家庭や虐待を受けている子供の生活実態を知らないのか？

あくまで私の幼少期の話なので今は虐待が無く、誰もが豊かになったと主張するなら一貫性はありますね

[下駄箱 @gametotobacco]

@kikumaco 逆になんで駄目なんですか？朝でも晩でも好きなもん食べられるのに
ただお昼ご飯だけ豚肉以外ね、って別に困る人いなくないですか？

信仰の自由はあってもヴィーガンは別問題なんで、そこは分かんないすけどね

[Solufa @m_mitsuhide]

ゼロ知識証明ってなんだかわかって書いてます？

[ところてん @tokoroten]

ゼロ知識証明ってなんだかわかって書いてます？

[Solufa @m_mitsuhide]

ちなみに性別の場合のゼロ知識証明方法は「相手が信頼する第三者に証言させる（技術的には自治体などによる署名）」くらいしか私は思いつかない

数学やアルゴリズムの素晴らしさを伝えるべきところで信頼構築（トラストアンカー確立）に焦点が移ってしまうので一般人向けの例示としては扱いにくい

ゼロ知識証明を布教するなら素直に洞窟やウォーリーなど使い古されたケースで説明するのがおススメ

[Solufa @m_mitsuhide]

こりゃダメだ、ハルシネーションしてる
正しくは「私は男性である、という情報以外は姿も声も身分証も一切与えずに本当に男性だと相手に信じてもらうにはどうしたらいいか？」がゼロ知識証明

ウケを狙ってちんちんを比喩に出してしまったがゆえに一般人からすると「え、普通に身分証出せばいいのでは？」という反応にしかならず比喩として成立していない

相手に見せたくない情報を隠す効果は確かにあるが本質ではなく、質問に対する直接の返答以外は1bitも情報を与えないことが要件

さらに言うと、「ちんこを見せろ」ミームは首相に余計な情報開示を迫っているのでゼロ知識証明とは1ミリも関係ない
（仮に国民によるちんこの存在証明要求だと解釈しても毛の有無や健康状態など余計な情報も開示してしまうのでやはりゼロ知識証明にならない）

[Solufa @m_mitsuhide]

こりゃダメだ、ハルシネーションしてる
正しくは「私は男性である、という情報以外は姿も声も身分証も一切与えずに本当に男性だと相手に信じてもらうにはどうしたらいいか？」がゼロ知識証明

ウケを狙ってちんちんを比喩に出してしまったがゆえに一般人からすると「え、普通に身分証出せばいいのでは？」という反応にしかならず比喩として成立していない

相手に見せたくない情報を隠す効果は確かにあるが本質ではなく、質問に対する直接の返答以外は1bitも情報を与えないことが要件

さらに言うと、「ちんこを見せろ」ミームは首相に余計な情報開示を迫っているのでゼロ知識証明とは1ミリも関係ない
（仮に国民によるちんこの存在証明要求だと解釈しても毛の有無や健康状態など余計な情報も開示してしまうのでやはりゼロ知識証明にならない）

[ところてん @tokoroten]

ゼロ知識証明がなんで必要なのか教えて、というのに
「ちんちんを見せないで、自分を男性だと証明するにはどうしたらいいか？」
という比喩を思いついてしまってダメ

ところで、我が国では、首相にゼロ知識証明を迫る風習があってですね

[Solufa @m_mitsuhide]

中国剰余定理なるものがあるのか！
重要な定理が国名を冠するなんてカッコいいな

応用例として「数え上げお姉さん問題」「RSA 公開鍵暗号の高速化」が紹介されてる
https://t.co/mu0UgHVwZc

[Solufa @m_mitsuhide]

これは明確に間違いです

日本で起こった宗教戦争っぽいものは
・島原の乱
・一向一揆
・石山合戦
などがありますが1600年代が最後です
太平洋戦争は全く関係ありません

また、ヨーロッパの宗教戦争と違って日本は教義の違いで殺し合うことがほとんどありませんでした
権力や税や経済の争いに宗教も利用しただけで、教義自体が対立軸にはなってないのです

日本人が純粋な宗教戦争に冷淡に見えるのは多神教ゆえに「どれか一つが唯一真理」という発想が弱くて排他的対立が起きにくいからと考える方が説得力があります

ちなみにキリスト教弾圧は宗教戦争ではなく政策です

[ポール・ブリッツ @pblitzfm]

なぜ日本人は宗教戦争に冷淡なのか
「ただのフィクションのために死ぬことのバカバカしさを太平洋戦争の敗北で痛感したから」

[Solufa @m_mitsuhide]

これが前提ポストなんだけど文脈もわからないのにパイルバンカーぶち込むのか、まさに魔女裁判だな

この話法を多用しつつ約8年若者にプログラミング教育をしてきた立場から言うと、この文章から読み取れる程度の発言で将来性にフタをすることはないし、学習性無気力を誘発することはありません

無実の罪で人を殺すな

[ミノ駆動 @MinoDriven]

？？
意味が分からない。努力次第で何者かになるけど？？
これどういう文脈なんだろ。文脈次第では、もしかしたら納得する内容なのかも知れない。
しかしこの文面だけでは、単に将来性にフタをしている、学習性無気力を誘発する意地悪な文言でしかないように読める。

[Solufa @m_mitsuhide]

この方は素晴らしいエンジニアだと思っていたのだが、犯罪行為をしたわけでもないのに自分と異なる価値観の相手なら殺してよいという思想の持ち主だったとは・・・
（パイルバンカーを口に打ち込んだらほとんどの場合致命傷となる）

私も前提ポストと似たような発言をしながら大学生にReact/TSを教えてきた人間なのでパイルバンカーで殺される対象ということになりますね

正義とされる立場からなら暴力も許されるというのは令和の基準に合ってない気がするのですが、有名になりすぎて天狗になってませんかね？
平和のためなら女子高生も殺すどこかの団体と被るなあ

[ミノ駆動 @MinoDriven]

若者の自信と可能性を潰す言葉に一体どんな価値があるんだろうか。壁にブチ当たるのもその結果どうするかも本人の責任だし、それに対して始めから将来性ないみたいな言い方する諸先輩方はクチにパイルバンカーをブチ込まれた方がいいんじゃないかな。

[Solufa @m_mitsuhide]

ChatGPTやClaudeのようにモデルやプラットフォームなど現時点の一般人から見えやすい部分が弱いだけでAI基盤技術・フィジカルAI・量子コンピュータAIという観点で日本のイノベーションがあります

・フラッシュメモリ
・量子トンネル（発見自体は欧州だったはず）
・全個体電池
・量子アニーリング（西森秀稔）
・情報幾何、自然勾配法、神経回路モデル（甘利俊一）

日本は知能に無頓着どころか、知能の本質ばかり見ていて一般受けするプラットフォーム構築に弱いように思えます

[Solufa @m_mitsuhide]

QRコードは日本人が発明した近年のイノベーションじゃないのかな？
（開発したデンソーはトヨタグループの自動車部品メーカー）

[John Happy (婚活中) @manjiroukeigo]

日本人にイノベーションは不可能、規範の奴隷で規範を外れる発想と行動が出来ないから。規範による自家中毒状態です。戦後そんな事はなかったのは敗戦で戦争までやってた古い規範が一気にぶっ壊れて幸か不幸か規範を脱して自由に構築する事が可能になり、またそうせざるを得なくなった事が大きい